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_OBJECTS_PRINTK=y
CONFIG_OBJECTS_THREAD=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_TOOLCHAIN_VARIANT="iamcu"
CONFIG_KERNEL_BIN_NAME="prj10"