CONFIG_COLLECT_TIMESTAMPS=y | |
CONFIG_FLASHMAP_OFFSET=0x0 | |
CONFIG_VENDOR_GETAC=y | |
# CONFIG_POST_DEVICE is not set | |
CONFIG_DRIVERS_PS2_KEYBOARD=y | |
CONFIG_COREBOOT_ROMSIZE_KB_4096=y | |
CONFIG_PCIEXP_COMMON_CLOCK=y | |
CONFIG_PCIEXP_ASPM=y | |
CONFIG_PCIEXP_CLK_PM=y | |
# CONFIG_CONSOLE_SERIAL is not set | |
# CONFIG_POST_IO is not set |