| # Arch | |
| CONFIG_ARCH_X86=y | |
| # Board | |
| CONFIG_BOARD_DIR="cnlrvp" | |
| # Image | |
| CONFIG_HEAP_SIZE=0x00600000 | |
| # Vboot | |
| CONFIG_CROSSYSTEM_ACPI=y | |
| CONFIG_NVDATA_CMOS=y | |
| CONFIG_MOCK_TPM=y | |
| # Kernel format | |
| CONFIG_KERNEL_MULTIBOOT=y | |
| CONFIG_KERNEL_MULTIBOOT_ZBI=y | |
| CONFIG_KERNEL_ZIMAGE=y | |
| # Drivers | |
| CONFIG_DRIVER_AHCI=y | |
| CONFIG_DRIVER_FLASH_MEMMAPPED=y | |
| CONFIG_DRIVER_INPUT_PS2=y | |
| CONFIG_DRIVER_POWER_PCH=y | |
| CONFIG_DRIVER_SOC_CANNONLAKE=y | |
| CONFIG_DRIVER_SDHCI=y | |
| CONFIG_DRIVER_STORAGE_MMC=y | |
| CONFIG_DRIVER_STORAGE_NVME=y | |
| CONFIG_DRIVER_STORAGE_SDHCI_PCI=y |