CONFIG_ISR_STACK_SIZE=128 CONFIG_MAIN_STACK_SIZE=128 CONFIG_PRINTK=y CONFIG_IDT_NUM_VECTORS=48 CONFIG_CONSOLE=y CONFIG_SERIAL=y CONFIG_XIP=y CONFIG_NANO_TIMERS=y CONFIG_OBJECTS_PRINTK=y CONFIG_OBJECTS_FIBER=y CONFIG_OBJECTS_TIMER=y CONFIG_OBJECTS_SEMAPHORE=y CONFIG_OBJECTS_LIFO=y CONFIG_OBJECTS_FIFO=y CONFIG_OBJECTS_STACK=y CONFIG_STATIC_ISR=n CONFIG_NANO_TIMEOUTS=y CONFIG_KERNEL_BIN_NAME="prj11"