# Arch | |
CONFIG_ARCH_X86=y | |
# Board | |
CONFIG_BOARD_FOX_BASKINGRIDGE=y | |
# Image | |
CONFIG_FMAP_OFFSET=0x610000 | |
# Vboot | |
CONFIG_RO_NORMAL_SUPPORT=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_GPIO_LYNXPOINT_LP=y | |
CONFIG_DRIVER_INPUT_PS2=y | |
CONFIG_DRIVER_INPUT_USB=y | |
CONFIG_DRIVER_POWER_PCH=y | |
CONFIG_DRIVER_SOUND_HDA=y | |
CONFIG_DRIVER_TPM_LPC=y |