CONFIG_ISR_STACK_SIZE=512
CONFIG_MAIN_STACK_SIZE=512
CONFIG_COMMAND_STACK_SIZE=8
CONFIG_PRINTK=y
CONFIG_IDT_NUM_VECTORS=128
CONFIG_NUM_TASK_PRIORITIES=16
CONFIG_NUM_COMMAND_PACKETS=32
CONFIG_NUM_TIMER_PACKETS=8