| # This image was built using coreboot TIMELESS |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_CBFS_SIZE=0x200000 |
| # CONFIG_DRIVERS_UART_8250IO is not set |
| CONFIG_BOARD_GOOGLE_PEPPY=y |
| CONFIG_HAVE_MRC=y |
| CONFIG_MRC_FILE="site-local/mrc/haswell/mrc.bin" |
| CONFIG_CPU_MICROCODE_HEADER_FILES="site-local/mainboard/$(MAINBOARDDIR)/microcode.dat" |
| CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_HEADER=y |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_PAYLOAD_ELF=y |
| CONFIG_PAYLOAD_FILE="site-local/mainboard/$(MAINBOARDDIR)/payloads/grub/grub.elf" |