|
1 | 1 | CONFIG_USE_OPTION_TABLE=y |
2 | | -# CONFIG_COLLECT_TIMESTAMPS is not set |
| 2 | +CONFIG_CBMEM_STAGE_CACHE=y |
3 | 3 | CONFIG_VENDOR_ASUS=y |
4 | | -CONFIG_UART_FOR_CONSOLE=1 |
| 4 | +CONFIG_CBFS_SIZE=0x01000000 |
5 | 5 | CONFIG_BOARD_ASUS_KGPE_D16=y |
6 | | -CONFIG_DRIVERS_PS2_KEYBOARD=y |
| 6 | +CONFIG_CONSOLE_POST=y |
| 7 | +# CONFIG_DRIVERS_INTEL_WIFI is not set |
| 8 | +CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| 9 | +CONFIG_PCIEXP_HOTPLUG_BUSES=32 |
| 10 | +CONFIG_PCIEXP_HOTPLUG_MEM=0x800000 |
| 11 | +CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x10000000 |
| 12 | +CONFIG_LINUX_COMMAND_LINE="nohz=on console=tty0 earlyprintk=tty0" |
7 | 13 | CONFIG_COREBOOT_ROMSIZE_KB_16384=y |
| 14 | +CONFIG_UART_PCI_ADDR=0x0 |
8 | 15 | CONFIG_SOUTHBRIDGE_AMD_SB700_33MHZ_SPI=y |
9 | | -# CONFIG_DRIVERS_INTEL_WIFI is not set |
10 | | -CONFIG_MEASURED_BOOT=y |
11 | | -CONFIG_USER_TPM1=y |
| 16 | +CONFIG_PCIEXP_HOTPLUG_IO=0x1000 |
| 17 | +CONFIG_NO_GFX_INIT=y |
| 18 | +CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 |
| 19 | +CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 |
| 20 | +CONFIG_DRIVERS_PS2_KEYBOARD=y |
| 21 | +CONFIG_USE_PC_CMOS_ALTCENTURY=y |
| 22 | +CONFIG_TPM1=y |
12 | 23 | CONFIG_TPM_RDRESP_NEED_DELAY=y |
| 24 | +CONFIG_TPM_MEASURED_BOOT=y |
13 | 25 | CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y |
| 26 | +CONFIG_POST_DEVICE_LPC=y |
| 27 | +CONFIG_POST_IO_PORT=0x80 |
14 | 28 | CONFIG_PAYLOAD_LINUX=y |
15 | 29 | CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage" |
16 | | -CONFIG_LINUX_COMMAND_LINE="nohz=on console=tty0 earlyprintk=tty0" |
17 | 30 | CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz" |
18 | | -CONFIG_CPU_MICROCODE_CBFS_NONE=y |
|
0 commit comments