| Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame] | 1 | # This image was built using coreboot 4.3-1575-g70cd543-dirty |
| 2 | CONFIG_COLLECT_TIMESTAMPS=y | ||||
| 3 | # CONFIG_POST_IO is not set | ||||
| 4 | CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y | ||||
| 5 | # CONFIG_POST_DEVICE is not set | ||||
| 6 | CONFIG_CONSOLE_POST=y | ||||
| 7 | CONFIG_DRIVERS_PS2_KEYBOARD=y | ||||
| 8 | CONFIG_COREBOOT_ROMSIZE_KB_1024=y | ||||
| 9 | CONFIG_UART_PCI_ADDR=0x0 | ||||
| 10 | # CONFIG_CONSOLE_SERIAL is not set | ||||
| 11 | CONFIG_SEABIOS_MASTER=y | ||||
| 12 | CONFIG_SEABIOS_VGA_COREBOOT=y | ||||
| 13 | CONFIG_DEBUG_CBFS=y | ||||
| 14 | CONFIG_DEBUG_ACPI=y | ||||