| # This image was built using coreboot 4.15-1659-g4ded64c1be | |
| CONFIG_ANY_TOOLCHAIN=y | |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y | |
| CONFIG_NO_POST=y | |
| CONFIG_CBFS_SIZE=0x00400000 | |
| # CONFIG_CONSOLE_SERIAL is not set | |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 | |
| CONFIG_UART_PCI_ADDR=0x0 | |
| CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 | |
| CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 | |
| # CONFIG_CONSOLE_QEMU_DEBUGCON is not set | |
| CONFIG_SEABIOS_MASTER=y | |
| CONFIG_SEABIOS_DEBUG_LEVEL=-1 |