| CONFIG_ISR_STACK_SIZE=128 | |
| CONFIG_MAIN_STACK_SIZE=128 | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=0 | |
| CONFIG_PRINTK=n | |
| CONFIG_IDT_NUM_VECTORS=48 | |
| CONFIG_CONSOLE=n | |
| CONFIG_SERIAL=n | |
| CONFIG_XIP=y | |
| CONFIG_OBJECTS_PRINTK=n | |
| CONFIG_OBJECTS_WHILELOOP=n | |
| CONFIG_KERNEL_BIN_NAME="prj00" |