blob: 973f06ef6ea9a245c6f61832ffd63172d1c95c64 [file] [log] [blame]
# This image was built using coreboot 4.3-2141-g7931c6a-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