# CONFIG_INCLUDE_CONFIG_FILE is not set CONFIG_CBFS_SIZE=0x7E7FFF # CONFIG_POST_IO is not set # CONFIG_POST_DEVICE is not set CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y # CONFIG_CONSOLE_SERIAL is not set CONFIG_LINUX_COMMAND_LINE="debug console=ttyS0 vga=786" CONFIG_COREBOOT_ROMSIZE_KB_8192=y CONFIG_PCIEXP_ASPM=y CONFIG_PCIEXP_COMMON_CLOCK=y CONFIG_UART_PCI_ADDR=0 CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6=y CONFIG_PAYLOAD_LINUX=y CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage" CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"