CONFIG_CCACHE=y # CONFIG_INCLUDE_CONFIG_FILE is not set CONFIG_BOOTSPLASH_IMAGE=y CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg" CONFIG_BOOTSPLASH_CONVERT=y CONFIG_BOOTSPLASH_CONVERT_QUALITY=70 CONFIG_CBFS_SIZE=0x980000 # CONFIG_CONSOLE_SERIAL is not set CONFIG_ONBOARD_VGA_IS_PRIMARY=y # CONFIG_POST_DEVICE is not set # CONFIG_POST_IO is not set CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y CONFIG_PCIEXP_HOTPLUG_BUSES=32 CONFIG_PCIEXP_ASPM=y CONFIG_TPM_MEASURED_BOOT=y CONFIG_LINUX_COMMAND_LINE="debug console=ttyS0,115200 console=tty" CONFIG_COREBOOT_ROMSIZE_KB_10240=y CONFIG_PCIEXP_COMMON_CLOCK=y CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y CONFIG_BOOTSPLASH=y CONFIG_PCIEXP_HOTPLUG_IO=0x2000 # CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_XRES=1024 CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_YRES=768 CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_TPM1=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"