# Single-threaded, no timer support in the kernel

CONFIG_MULTITHREADING=n
CONFIG_KERNEL_MEM_POOL=n