CONFIG_ISR_STACK_SIZE=128 CONFIG_MAIN_STACK_SIZE=128 CONFIG_SYS_CLOCK_TICKS_PER_SEC=0 CONFIG_PRINTK=n CONFIG_IDT_NUM_VECTORS=48 CONFIG_CONSOLE=n CONFIG_SERIAL=n CONFIG_XIP=y CONFIG_OBJECTS_PRINTK=n CONFIG_OBJECTS_WHILELOOP=n CONFIG_KERNEL_BIN_NAME="prj00"