| # This image was built using coreboot 4.3-175-ga02bb65-dirty |
| CONFIG_LOCALVERSION="RAPTOR-NORMAL" |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Qemu" |
| # 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_COREBOOT_ROMSIZE_KB_1024=y |
| # CONFIG_CONSOLE_QEMU_DEBUGCON is not set |
| CONFIG_CONSOLE_POST=y |
| CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="q35" |
| CONFIG_SEABIOS_MASTER=y |
| CONFIG_SEABIOS_VGA_COREBOOT=y |
| CONFIG_DEBUG_CBFS=y |
| CONFIG_DEBUG_ACPI=y |