| CONFIG_ISR_STACK_SIZE=128 | |
| CONFIG_MAIN_STACK_SIZE=256 | |
| CONFIG_COMMAND_STACK_SIZE=2 | |
| CONFIG_TIMESLICING=n | |
| CONFIG_PRINTK=n | |
| CONFIG_NUM_TASK_PRIORITIES=2 | |
| CONFIG_NUM_COMMAND_PACKETS=8 | |
| CONFIG_NUM_TIMER_PACKETS=4 | |
| CONFIG_MICROKERNEL_SERVER_STACK_SIZE=128 | |
| CONFIG_CONSOLE=n | |
| CONFIG_SERIAL=n | |
| CONFIG_ERRNO=n |