| CONFIG_X86=y | |
| CONFIG_SOC_QUARK_SE=y | |
| CONFIG_BOARD_QUARK_SE_DEVBOARD=y | |
| CONFIG_CPU_MINUTEIA=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_UART_NS16550=y | |
| CONFIG_PRINTK=y | |
| CONFIG_IPM=y | |
| CONFIG_IPM_QUARK_SE=y | |
| CONFIG_IPM_QUARK_SE_MASTER=y | |
| CONFIG_IPM_CONSOLE_RECEIVER=y | |
| CONFIG_ARC_INIT=y | |
| CONFIG_PINMUX=y | |
| CONFIG_SPI_DW_LEVEL_HIGH=y |