| CONFIG_NANO_TIMERS=y |
| CONFIG_NANO_TIMEOUTS=y |
| CONFIG_X86_32=y |
| CONFIG_PLATFORM_GALILEO=y |
| CONFIG_CPU_MINUTEIA=y |
| CONFIG_PCI_LEGACY_BRIDGE=y |
| CONFIG_CONSOLE=y |
| CONFIG_SERIAL=y |
| CONFIG_NS16550=y |
| CONFIG_NS16550_PCI=y |
| CONFIG_UART_CONSOLE=y |
| CONFIG_HPET_TIMER_LEVEL_LOW=y |
| CONFIG_SERIAL_INTERRUPT_LOW=y |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000 |
| CONFIG_GPIO=y |
| CONFIG_GPIO_DW_0_IRQ_SHARED=y |
| CONFIG_I2C=y |
| CONFIG_I2C_DW=y |
| CONFIG_I2C_DW_0=y |
| CONFIG_I2C_DW_0_IRQ_SHARED=y |
| CONFIG_GPIO_PCAL9535A=y |
| CONFIG_GPIO_MMIO=y |
| CONFIG_GPIO_MMIO_0=y |
| CONFIG_GPIO_MMIO_0_ACCESS_IO=y |
| CONFIG_GPIO_MMIO_1=y |
| CONFIG_GPIO_MMIO_1_ACCESS_IO=y |
| CONFIG_I2C_DW_IRQ_LEVEL_LOW=y |
| CONFIG_SHARED_IRQ=y |
| CONFIG_SHARED_IRQ_0_LEVEL_LOW=y |
| CONFIG_SPI_INTEL_LEVEL_LOW=y |
