# This image was built using coreboot 4.14-1324-ge72dc3d46a | |
CONFIG_USE_OPTION_TABLE=y | |
CONFIG_VENDOR_ACER=y | |
CONFIG_CBFS_SIZE=0x100000 | |
CONFIG_SEABIOS_PS2_TIMEOUT=500 | |
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 | |
CONFIG_PCIEXP_HOTPLUG_BUSES=32 | |
CONFIG_PCIEXP_HOTPLUG_MEM=0x800000 | |
CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x10000000 | |
CONFIG_UART_PCI_ADDR=0x0 | |
CONFIG_PCIEXP_HOTPLUG_IO=0x2000 | |
CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 | |
CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 | |
CONFIG_POST_IO_PORT=0x80 | |
CONFIG_SEABIOS_DEBUG_LEVEL=-1 |