# Arch
CONFIG_ARCH_X86=y
CONFIG_ARCH_X86_IA32=y

# Board
CONFIG_BOARD="glados"

# Image
CONFIG_BOOTPLAN_CB_PAYLOAD=y

CONFIG_FMAP_OFFSET=0xc10000
CONFIG_IMAGE_SIZE_16MB=y

# Vboot
CONFIG_EC_SOFTWARE_SYNC=y
CONFIG_VIRTUAL_DEV_SWITCH=y

CONFIG_CROSSYSTEM_ACPI=y
CONFIG_NV_STORAGE_CMOS=y

# Kernel format
CONFIG_KERNEL_ZIMAGE=y

# Drivers
CONFIG_DRIVER_BLOCKDEV_MMC=y
CONFIG_DRIVER_BLOCKDEV_SDHCI=y
CONFIG_DRIVER_BLOCKDEV_SDHCI_PCI=y
CONFIG_DRIVER_BLOCKDEV_USB=y
CONFIG_DRIVER_BUS_I2C_DESIGNWARE=y
CONFIG_DRIVER_BUS_I2C_DESIGNWARE_PCI=y
CONFIG_DRIVER_CONSOLE_CBMEM=y
CONFIG_DRIVER_CONSOLE_DISPLAY=y
CONFIG_DRIVER_CONSOLE_UART=y
CONFIG_DRIVER_DISPLAY_FRAMEBUFFER=y
CONFIG_DRIVER_EC_CROS=y
CONFIG_DRIVER_EC_CROS_LPC=y
CONFIG_DRIVER_EC_CROS_PASSTHRU=y
CONFIG_DRIVER_FRAMEBUFFER_FWDB=y
CONFIG_DRIVER_GPIO_SKYLAKE=y
CONFIG_DRIVER_KEYBOARD_PS2=y
CONFIG_DRIVER_LAYOUT_COREBOOT=y
CONFIG_DRIVER_POWER_PCH=y
CONFIG_DRIVER_SOUND_GPIO_PDM=y
CONFIG_DRIVER_SOUND_ROUTE=y
CONFIG_DRIVER_SOUND_SSM4567=y
CONFIG_DRIVER_STORAGE_MEMORY=y
CONFIG_DRIVER_TIMER_RDTSC=y
CONFIG_DRIVER_TPM_LPC=y
CONFIG_DRIVER_UART_8250=y
CONFIG_DRIVER_USB_HID=y

# libpayload
CONFIG_USB=y
CONFIG_USB_XHCI=y