| CONFIG_ISR_STACK_SIZE=128 | |
| CONFIG_MAIN_STACK_SIZE=256 | |
| CONFIG_COMMAND_STACK_SIZE=2 | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=0 | |
| CONFIG_PRINTK=n | |
| CONFIG_HPET_TIMER_IRQ_PRIORITY=2 | |
| CONFIG_IDT_NUM_VECTORS=33 | |
| CONFIG_CONSOLE=n | |
| CONFIG_SERIAL=n | |
| CONFIG_IPM=n | |
| CONFIG_GPIO=n | |
| CONFIG_USB=n | |
| CONFIG_ERRNO=n | |
| CONFIG_X86_KERNEL_OOPS=n | |
| CONFIG_X86_MMU=n |