| BSI coreboot lab | e043d85 | 2016-02-12 21:41:06 +0000 | [diff] [blame] | 1 | # This image was built using coreboot 4.3-214-ga50478f-dirty |
| 2 | CONFIG_LOCALVERSION="RAPTOR-NORMAL" |
| 3 | CONFIG_COLLECT_TIMESTAMPS=y |
| 4 | CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Qemu" |
| 5 | # CONFIG_POST_IO is not set |
| 6 | CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y |
| 7 | # CONFIG_POST_DEVICE is not set |
| 8 | CONFIG_DRIVERS_PS2_KEYBOARD=y |
| 9 | CONFIG_COREBOOT_ROMSIZE_KB_1024=y |
| 10 | # CONFIG_CONSOLE_QEMU_DEBUGCON is not set |
| 11 | CONFIG_CONSOLE_POST=y |
| 12 | CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="q35" |
| 13 | CONFIG_SEABIOS_MASTER=y |
| 14 | CONFIG_SEABIOS_VGA_COREBOOT=y |
| 15 | CONFIG_DEBUG_CBFS=y |
| 16 | CONFIG_DEBUG_ACPI=y |