# CONFIG_INCLUDE_CONFIG_FILE is not set # CONFIG_COLLECT_TIMESTAMPS is not set CONFIG_USE_BLOBS=y CONFIG_MEASURED_BOOT=y CONFIG_VENDOR_LENOVO=y CONFIG_CBFS_SIZE=0x750000 CONFIG_ONBOARD_VGA_IS_PRIMARY=y CONFIG_HAVE_IFD_BIN=y CONFIG_HAVE_ME_BIN=y CONFIG_HAVE_GBE_BIN=y CONFIG_IFD_BIN_PATH="../../blobs/xx20/ifd.bin" CONFIG_ME_BIN_PATH="../../blobs/xx20/me.bin" CONFIG_BOARD_LENOVO_T420=y CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_NO_POST=y CONFIG_GBE_BIN_PATH="../../blobs/xx20/gbe.bin" CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x80000 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5=y CONFIG_PAYLOAD_LINUX=y CONFIG_PAYLOAD_FILE="../../build/t420-maximized/bzImage" CONFIG_LINUX_COMMAND_LINE="intel_iommu=igfx_off quiet loglevel=3" CONFIG_LINUX_INITRD="../../build/t420-maximized/initrd.cpio.xz" CONFIG_DEBUG_SMM_RELOCATION=y