set(CONFIG_VLIBC 0)
set(CONFIG_BFLOG 0)
set(CONFIG_TINYMAIX 1)