| # Arch |
| CONFIG_ARCH_X86=y |
| |
| # Board |
| CONFIG_BOARD_DIR="zork" |
| |
| # Image |
| CONFIG_HEAP_SIZE=0x01000000 |
| |
| # Vboot |
| CONFIG_AUXFW_SOFTWARE_SYNC=y |
| CONFIG_EC_SOFTWARE_SYNC=y |
| CONFIG_EC_SLOW_UPDATE=y |
| CONFIG_TPM2_MODE=y |
| CONFIG_TPM_DEBUG_EXTENSIONS=y |
| CONFIG_NVDATA_CMOS=y |
| CONFIG_CROSSYSTEM_ACPI=y |
| |
| # Kernel format |
| CONFIG_KERNEL_MULTIBOOT=y |
| CONFIG_KERNEL_MULTIBOOT_BOOTDATA=y |
| CONFIG_KERNEL_ZIMAGE=y |
| |
| # Drivers |
| CONFIG_DRIVER_BUS_I2C_CROS_EC_TUNNEL=y |
| CONFIG_DRIVER_BUS_I2C_DESIGNWARE=y |
| CONFIG_DRIVER_EC_ANX3429=y |
| CONFIG_DRIVER_EC_CROS=y |
| CONFIG_DRIVER_EC_CROS_LPC=y |
| CONFIG_DRIVER_EC_PS8751=y |
| CONFIG_DRIVER_FLASH_MEMMAPPED=y |
| CONFIG_DRIVER_SOC_PICASSO=y |
| CONFIG_DRIVER_INPUT_PS2=y |
| CONFIG_DRIVER_POWER_FCH=y |
| CONFIG_DRIVER_SDHCI=y |
| CONFIG_DRIVER_SOUND_GPIO_AMP=y |
| CONFIG_DRIVER_SOUND_GPIO_I2S=y |
| CONFIG_DRIVER_SOUND_ROUTE=y |
| CONFIG_DRIVER_SOUND_RT1015=y |
| CONFIG_DRIVER_SOUND_RT5682=y |
| CONFIG_DRIVER_STORAGE_MMC=y |
| CONFIG_DRIVER_STORAGE_NVME=y |
| CONFIG_DRIVER_STORAGE_SDHCI_PCI=y |
| CONFIG_DRIVER_TPM_CR50_I2C=y |
| |
| # Picasso uses 32 MiB + ~2 MiB for coreboot so place the kernel at 64 MiB |
| CONFIG_KERNEL_START=0x4000000 |
| |
| # Timestamp |
| CONFIG_TIMESTAMP_RAW=n |
