| CONFIG_X86=y |
| CONFIG_SOC_QUARK_X1000=y |
| CONFIG_SOC_SERIES_QUARK_X1000=y |
| CONFIG_BOARD_GALILEO=y |
| CONFIG_CPU_MINUTEIA=y |
| CONFIG_PCI_LEGACY_BRIDGE=y |
| CONFIG_CONSOLE=y |
| CONFIG_SERIAL=y |
| CONFIG_UART_NS16550=y |
| CONFIG_UART_CONSOLE=y |
| CONFIG_HPET_TIMER_LEVEL_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_0=y |
| CONFIG_I2C_0_IRQ_SHARED=y |
| CONFIG_GPIO_PCAL9535A=y |
| CONFIG_GPIO_SCH=y |
| CONFIG_GPIO_SCH_0=y |
| CONFIG_GPIO_SCH_1=y |
| CONFIG_SHARED_IRQ=y |
| CONFIG_SHARED_IRQ_0_LEVEL_LOW=y |
