| CONFIG_CCACHE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_FLASHMAP_OFFSET=0x0 | |
| CONFIG_VENDOR_GETAC=y | |
| # CONFIG_POST_IO is not set | |
| # CONFIG_POST_DEVICE is not set | |
| CONFIG_COREBOOT_ROMSIZE_KB_4096=y | |
| # CONFIG_CONSOLE_SERIAL is not set | |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x30000 | |
| CONFIG_SEABIOS_MASTER=y |