# SPDX-License-Identifier: Apache-2.0

CONFIG_X86=y
CONFIG_SOC_QUARK_SE_C1000=y
CONFIG_BOARD_QUARK_SE_C1000_DEVBOARD=y
CONFIG_SOC_SERIES_QUARK_SE=y
CONFIG_SOC_FAMILY_QUARK=y
CONFIG_CPU_MINUTEIA=y
CONFIG_SET_GDT=n
CONFIG_CONSOLE=y
CONFIG_UART_QMSI=y
CONFIG_UART_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_PRINTK=y
CONFIG_PINMUX=y