1# enable to use thread names
2CONFIG_THREAD_NAME=y
3CONFIG_MP_MAX_NUM_CPUS=1
4
5# Debugging
6CONFIG_DEBUG_OPTIMIZATIONS=n
7CONFIG_DEBUG_THREAD_INFO=y
8