CONFIG_TEST=y
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_KERNEL_BIN_NAME="prj02"
CONFIG_FORCE_NO_ASSERT=y