| # Arch |
| CONFIG_ARCH_X86=y |
| CONFIG_ARCH_X86_IA32=y |
| |
| # Board |
| CONFIG_BOARD="glados" |
| |
| # Image |
| CONFIG_BOOTPLAN_CB_PAYLOAD=y |
| |
| CONFIG_FMAP_OFFSET=0xc10000 |
| CONFIG_IMAGE_SIZE_16MB=y |
| |
| # 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_BLOCKDEV_MMC=y |
| CONFIG_DRIVER_BLOCKDEV_SDHCI=y |
| CONFIG_DRIVER_BLOCKDEV_SDHCI_PCI=y |
| CONFIG_DRIVER_BLOCKDEV_USB=y |
| CONFIG_DRIVER_BUS_I2C_DESIGNWARE=y |
| CONFIG_DRIVER_BUS_I2C_DESIGNWARE_PCI=y |
| CONFIG_DRIVER_CONSOLE_UART=y |
| CONFIG_DRIVER_EC_CROS=y |
| CONFIG_DRIVER_EC_CROS_LPC=y |
| CONFIG_DRIVER_EC_CROS_PASSTHRU=y |
| CONFIG_DRIVER_GPIO_SKYLAKE=y |
| CONFIG_DRIVER_KEYBOARD_PS2=y |
| CONFIG_DRIVER_LAYOUT_COREBOOT=y |
| CONFIG_DRIVER_POWER_PCH=y |
| CONFIG_DRIVER_SOUND_GPIO_PDM=y |
| CONFIG_DRIVER_SOUND_ROUTE=y |
| CONFIG_DRIVER_SOUND_SSM4567=y |
| CONFIG_DRIVER_STORAGE_MEMORY=y |
| CONFIG_DRIVER_TIMER_RDTSC=y |
| CONFIG_DRIVER_TPM_LPC=y |
| CONFIG_DRIVER_UART_8250=y |
| CONFIG_DRIVER_USB_HID=y |
| |
| # libpayload |
| CONFIG_COREBOOT_VIDEO_CONSOLE=y |
| |
| CONFIG_USB=y |
| # CONFIG_USB_UHCI is not set |
| # CONFIG_USB_OHCI is not set |
| # CONFIG_USB_EHCI is not set |
| CONFIG_USB_XHCI=y |
