# Arch
CONFIG_ARCH_X86=y

# Board
CONFIG_BOARD_DIR="panther"

# Image

# Vboot

CONFIG_CROSSYSTEM_ACPI=y
CONFIG_NVDATA_CMOS=y

# Kernel format
CONFIG_KERNEL_ZIMAGE=y

# Drivers
CONFIG_DRIVER_AHCI=y
CONFIG_DRIVER_FLASH_MEMMAPPED=y
CONFIG_DRIVER_GPIO_LYNXPOINT_LP=y
CONFIG_DRIVER_INPUT_PS2=y
CONFIG_DRIVER_POWER_PCH=y
CONFIG_DRIVER_SOUND_PCAT_BEEP=y
CONFIG_DRIVER_TPM_LPC=y