# Arch
CONFIG_ARCH_X86=y

# Board
CONFIG_BOARD="bayleybay"

# Image
CONFIG_FMAP_OFFSET=0x610000

# Vboot
CONFIG_OPROM_MATTERS=y
CONFIG_VIRTUAL_DEV_SWITCH=y
# TODO(shawnn): Remove mock TPM once we bring up the real TPM
CONFIG_MOCK_TPM=y

CONFIG_CROSSYSTEM_ACPI=y
CONFIG_NV_STORAGE_CMOS=y

# Kernel format
CONFIG_KERNEL_ZIMAGE=y

# Drivers
CONFIG_DRIVER_AHCI=y
CONFIG_DRIVER_FLASH_MEMMAPPED=y
CONFIG_DRIVER_INPUT_PS2=y
CONFIG_DRIVER_INPUT_USB=y
CONFIG_DRIVER_POWER_PCH=y
CONFIG_DRIVER_SDHCI=y
CONFIG_DRIVER_SOUND_HDA=y
CONFIG_DRIVER_STORAGE_MMC=y
CONFIG_DRIVER_STORAGE_SDHCI_PCI=y
CONFIG_DRIVER_TPM_LPC=y