1# Single-threaded, no timer support in the kernel 2 3CONFIG_MULTITHREADING=n 4CONFIG_KERNEL_MEM_POOL=n 5
