blob: 355e1217ef9b7bd060f6bf6beb29cc17c0b72884 [file] [log] [blame]
# Arch
CONFIG_ARCH_X86=y
# Board
CONFIG_BOARD_DIR="puff"
# Image
CONFIG_HEAP_SIZE=0x00600000
# Vboot
CONFIG_TPM2_MODE=y
CONFIG_EC_SOFTWARE_SYNC=y
CONFIG_AUXFW_SOFTWARE_SYNC=y
CONFIG_EC_EFS=y
CONFIG_CROSSYSTEM_ACPI=y
CONFIG_NVDATA_CMOS=y
CONFIG_TPM_DEBUG_EXTENSIONS=y
# Kernel format
CONFIG_KERNEL_MULTIBOOT=y
CONFIG_KERNEL_MULTIBOOT_BOOTDATA=y
CONFIG_KERNEL_ZIMAGE=y
# Drivers
CONFIG_DRIVER_AHCI=y
CONFIG_DRIVER_BUS_I2C_CROS_EC_TUNNEL=y
CONFIG_DRIVER_BUS_SPI_INTEL_GSPI_VERSION_2=y
CONFIG_DRIVER_EC_CROS=y
CONFIG_DRIVER_EC_CROS_LPC=y
CONFIG_DRIVER_EC_PS8751=y
CONFIG_DRIVER_FLASH_MEMMAPPED=y
CONFIG_DRIVER_INPUT_MKBP=y
CONFIG_DRIVER_INPUT_MKBP_KEYMATRIX_STANDARD=y
CONFIG_DRIVER_POWER_PCH=y
CONFIG_DRIVER_SDHCI=y
CONFIG_DRIVER_SOC_CANNONLAKE=y
CONFIG_DRIVER_SOUND_GPIO_EDGE_BUZZER=y
CONFIG_DRIVER_STORAGE_MMC=y
CONFIG_DRIVER_STORAGE_NVME=y
CONFIG_DRIVER_STORAGE_SDHCI_PCI=y
CONFIG_DRIVER_TPM_CR50_SWITCHES=y
CONFIG_DRIVER_TPM_SPI=y
CONFIG_DRIVER_GPIO_CANNONLAKE=y
# Aux FW
CONFIG_CROS_EC_PROBE_AUX_FW_INFO=y