4a9ee68e12
This adds the option to disable kernel memory pool when multithreading is also not enabled. This saves some code space. Signed-off-by: Daniel Leung <daniel.leung@intel.com>
5 lines
100 B
Plaintext
5 lines
100 B
Plaintext
# Single-threaded, no timer support in the kernel
|
|
|
|
CONFIG_MULTITHREADING=n
|
|
CONFIG_KERNEL_MEM_POOL=n
|