| Patrick Georgi | 1f907e0 | 2017-06-30 14:12:11 +0200 | [diff] [blame] | 1 | # This image was built using coreboot 4.6-608-g083504b66b-dirty |
| 2 | CONFIG_COLLECT_TIMESTAMPS=y | ||||
| 3 | CONFIG_VENDOR_GETAC=y | ||||
| 4 | # CONFIG_POST_IO is not set | ||||
| 5 | # CONFIG_POST_DEVICE is not set | ||||
| 6 | CONFIG_DRIVERS_PS2_KEYBOARD=y | ||||
| 7 | CONFIG_COREBOOT_ROMSIZE_KB_4096=y | ||||
| 8 | CONFIG_PCIEXP_ASPM=y | ||||
| 9 | CONFIG_PCIEXP_COMMON_CLOCK=y | ||||
| 10 | CONFIG_PCIEXP_CLK_PM=y | ||||
| 11 | # CONFIG_DRIVERS_INTEL_WIFI is not set | ||||
| 12 | # CONFIG_CONSOLE_SERIAL is not set | ||||
| 13 | # CONFIG_SEABIOS_VGA_COREBOOT is not set | ||||