blob: 0d20be64c502afc8cc76bf7f92b7c3bf685ccda2 [file] [log] [blame]
# Single-threaded, no timer support in the kernel
CONFIG_MULTITHREADING=n
CONFIG_KERNEL_MEM_POOL=n