| # This image was built using coreboot 4.15-548-g6fff2497b1 |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_VENDOR_STARLABS=y |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| CONFIG_PCIEXP_HOTPLUG_BUSES=42 |
| CONFIG_PCIEXP_HOTPLUG_MEM=0xc200000 |
| CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x1c000000 |
| CONFIG_UART_PCI_ADDR=0x0 |
| CONFIG_PCIEXP_HOTPLUG_IO=0x2000 |
| CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 |
| CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 |
| CONFIG_SMMSTORE_SIZE=0x40000 |
| CONFIG_POST_IO_PORT=0x80 |
| CONFIG_MAINBOARD_SERIAL_NUMBER="B500000" |
| CONFIG_PAYLOAD_TIANOCORE=y |
| CONFIG_TIANOCORE_REVISION_ID="origin/uefipayload_202107" |
| CONFIG_TIANOCORE_BOOTSPLASH_IMAGE=y |
| CONFIG_HAVE_EM100_SUPPORT=y |