| CONFIG_X86=y | |
| CONFIG_SOC_QUARK_SE=y | |
| CONFIG_BOARD_ARDUINO_101=y | |
| CONFIG_CPU_MINUTEIA=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_UART_IRQ_RISING_EDGE=y | |
| CONFIG_UART_NS16550=y | |
| CONFIG_UART_NS16550_PORT_0_BAUD_RATE=1000000 | |
| CONFIG_UART_NS16550_PORT_0_OPTIONS=1 | |
| 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 |