CONFIG_ISR_STACK_SIZE=128 CONFIG_MAIN_STACK_SIZE=128 CONFIG_SYS_CLOCK_TICKS_PER_SEC=0 CONFIG_PRINTK=y CONFIG_CONSOLE=y CONFIG_SERIAL=y CONFIG_XIP=y CONFIG_OBJECTS_PRINTK=y CONFIG_OBJECTS_THREAD=y CONFIG_KERNEL_BIN_NAME="prj03"