| Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame] | 1 | CONFIG_LOCALVERSION="jakllsch" |
| 2 | CONFIG_USE_OPTION_TABLE=y | ||||
| 3 | CONFIG_COLLECT_TIMESTAMPS=y | ||||
| 4 | CONFIG_USE_BLOBS=y | ||||
| 5 | CONFIG_VENDOR_MSI=y | ||||
| 6 | CONFIG_MAINBOARD_SERIAL_NUMBER="0000000000" | ||||
| 7 | CONFIG_CK804_PCIE_PME_WAKE=y | ||||
| 8 | CONFIG_BOARD_MSI_MS7135=y | ||||
| 9 | CONFIG_MAINBOARD_VERSION="0.0" | ||||
| 10 | # CONFIG_VGA_ROM_RUN is not set | ||||
| 11 | # CONFIG_ON_DEVICE_ROM_RUN is not set | ||||
| 12 | CONFIG_POST_DEVICE_LPC=y | ||||
| 13 | CONFIG_PAYLOAD_ELF=y | ||||
| 14 | CONFIG_PAYLOAD_FILE="bios.bin.elf" | ||||
| 15 | CONFIG_DEBUG_PIRQ=y | ||||