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=36
CONFIG_CONSOLE=n
CONFIG_SERIAL=n
CONFIG_PINMUX=n
CONFIG_I2C=n
CONFIG_GPIO=n
CONFIG_PWM=n
CONFIG_SPI=n
CONFIG_ADC=n
CONFIG_SHARED_IRQ=n
CONFIG_PCI_LEGACY_BRIDGE=n
CONFIG_ERRNO=n