| CONFIG_X86=y | |
| CONFIG_SOC_QUARK_SE=y | |
| CONFIG_BOARD_QUARK_SE_DEVBOARD=y | |
| CONFIG_CPU_MINUTEIA=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_QMSI=y | |
| CONFIG_UART_QMSI_0_BAUDRATE=1000000 | |
| CONFIG_UART_QMSI_0_HW_FC=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_SERIAL=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 |