| Patrick Georgi | ce0dca3 | 2015-10-30 10:39:31 +0100 | [diff] [blame] | 1 | CONFIG_COLLECT_TIMESTAMPS=y |
| 2 | CONFIG_FLASHMAP_OFFSET=0x0 | ||||
| 3 | CONFIG_VENDOR_GETAC=y | ||||
| 4 | # CONFIG_POST_DEVICE is not set | ||||
| 5 | CONFIG_DRIVERS_PS2_KEYBOARD=y | ||||
| 6 | CONFIG_COREBOOT_ROMSIZE_KB_4096=y | ||||
| 7 | CONFIG_PCIEXP_COMMON_CLOCK=y | ||||
| 8 | CONFIG_PCIEXP_ASPM=y | ||||
| 9 | CONFIG_PCIEXP_CLK_PM=y | ||||
| 10 | # CONFIG_CONSOLE_SERIAL is not set | ||||
| 11 | # CONFIG_POST_IO is not set | ||||