| # This image was built using coreboot 4.8.1-7-g30300027ce |
| CONFIG_LOCALVERSION="4.8.1-Purism-3" |
| CONFIG_USE_BLOBS=y |
| CONFIG_BOOTSPLASH_IMAGE=y |
| CONFIG_VENDOR_PURISM=y |
| CONFIG_CBFS_SIZE=0xe00000 |
| CONFIG_VGA_BIOS=y |
| CONFIG_MAINBOARD_SERIAL_NUMBER="Unknown Serial Number" |
| CONFIG_VGA_BIOS_FILE="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/vgabios.bin" |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_HAVE_ME_BIN=y |
| # CONFIG_POST_IO is not set |
| # CONFIG_POST_DEVICE is not set |
| # CONFIG_DRIVERS_UART_8250IO is not set |
| CONFIG_ADD_FSP_BINARIES=y |
| CONFIG_FSP_M_FILE="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fspm.bin" |
| CONFIG_FSP_S_FILE="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fsps.bin" |
| CONFIG_BOARD_PURISM_LIBREM13_V2=y |
| # CONFIG_NO_POST is not set |
| CONFIG_CPU_UCODE_BINARIES="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/cpu_microcode_blob.bin" |
| CONFIG_INTEL_GMA_ADD_VBT_DATA_FILE=y |
| CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y |
| CONFIG_FSP_M_XIP=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_LPC_TPM=y |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y |
| CONFIG_SEABIOS_BOOTORDER_FILE="bootorder.txt" |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |