| # Arch |
| CONFIG_ARCH_X86=y |
| |
| # Board |
| CONFIG_BOARD="cyan" |
| |
| # Image |
| CONFIG_FMAP_OFFSET=0x610000 |
| |
| # 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_EC_CROS=y |
| CONFIG_DRIVER_EC_CROS_LPC=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_STORAGE_SDHCI_PCI=y |
| CONFIG_DRIVER_STORAGE_MMC=y |
| CONFIG_DRIVER_TPM_LPC=y |
| CONFIG_DRIVER_BUS_I2S_BRASWELL=y |
| CONFIG_DRIVER_BUS_I2S_BRASWELL_MAX98090=y |
| CONFIG_DRIVER_SOUND_MAX98090=y |
| CONFIG_DRIVER_BUS_I2C_DESIGNWARE=y |
| CONFIG_DRIVER_SOUND_I2S=y |
| CONFIG_DRIVER_SOUND_ROUTE=y |
| CONFIG_DRIVER_GPIO_BRASWELL=y |
