|
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"
|