# This image was built using coreboot 4.6-608-g083504b66b-dirty
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_VENDOR_GETAC=y
# CONFIG_POST_IO is not set
# CONFIG_POST_DEVICE is not set
CONFIG_DRIVERS_PS2_KEYBOARD=y
CONFIG_COREBOOT_ROMSIZE_KB_4096=y
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
# CONFIG_DRIVERS_INTEL_WIFI is not set
# CONFIG_CONSOLE_SERIAL is not set
# CONFIG_SEABIOS_VGA_COREBOOT is not set