# SPDX-License-Identifier: MIT
CONFIG_M586TSC=y
CONFIG_X86_TSC=y
CONFIG_X86_MCE=y
CONFIG_PM=y

# Must explicitly disable 64BIT
CONFIG_64BIT=n

CONFIG_X86_INTEL_QUARK=y
CONFIG_MFD_INTEL_QUARK_I2C_GPIO=y
CONFIG_INTEL_QUARK_DTS_THERMAL=y