# This image was built using coreboot 4.3-2517-gb87a734-dirty | |
CONFIG_COLLECT_TIMESTAMPS=y | |
# CONFIG_POST_IO is not set | |
CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y | |
# CONFIG_POST_DEVICE is not set | |
CONFIG_DRIVERS_PS2_KEYBOARD=y | |
CONFIG_CONSOLE_POST=y | |
CONFIG_COREBOOT_ROMSIZE_KB_1024=y | |
CONFIG_UART_PCI_ADDR=0x0 | |
# CONFIG_CONSOLE_SERIAL is not set | |
CONFIG_SEABIOS_MASTER=y | |
CONFIG_SEABIOS_VGA_COREBOOT=y | |
CONFIG_DEBUG_CBFS=y | |
CONFIG_DEBUG_ACPI=y |