| CONFIG_TEST=y | |
| CONFIG_ISR_STACK_SIZE=128 | |
| CONFIG_MAIN_STACK_SIZE=128 | |
| CONFIG_PRINTK=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_XIP=y | |
| CONFIG_OBJECTS_PRINTK=y | |
| CONFIG_OBJECTS_THREAD=y | |
| CONFIG_OBJECTS_TIMER=y | |
| CONFIG_KERNEL_BIN_NAME="prj04" | |
| CONFIG_FORCE_NO_ASSERT=y |