| CONFIG_LOCALVERSION="jakllsch" | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_USE_BLOBS=y | |
| CONFIG_VENDOR_MSI=y | |
| CONFIG_MAINBOARD_SERIAL_NUMBER="0000000000" | |
| CONFIG_CK804_PCIE_PME_WAKE=y | |
| CONFIG_BOARD_MSI_MS7135=y | |
| CONFIG_MAINBOARD_VERSION="0.0" | |
| CONFIG_DRIVERS_PS2_KEYBOARD=y | |
| # CONFIG_VGA_ROM_RUN is not set | |
| # CONFIG_ON_DEVICE_ROM_RUN is not set | |
| CONFIG_POST_DEVICE_LPC=y | |
| CONFIG_PAYLOAD_ELF=y | |
| CONFIG_PAYLOAD_FILE="bios.bin.elf" | |
| CONFIG_DEBUG_PIRQ=y |