CONFIG_ENHANCED_SECURITY=n
CONFIG_ISR_STACK_SIZE=128
CONFIG_MAIN_STACK_SIZE=128
CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
CONFIG_PRINTK=n
CONFIG_EXTRA_SERIAL_PORT=n
CONFIG_IDT_NUM_VECTORS=48