CONFIG_ANY_TOOLCHAIN=y # 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=0x400000 # CONFIG_POST_DEVICE is not set CONFIG_DRIVERS_UART_8250IO=y CONFIG_BOARD_LENOVO_THINKPAD_T430=y CONFIG_DRIVERS_PS2_KEYBOARD=y CONFIG_UART_PCI_ADDR=0 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x80000 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y CONFIG_PAYLOAD_LINUX=y CONFIG_PAYLOAD_FILE="../../build/t430-flash/bzImage" CONFIG_LINUX_INITRD="../../build/t430-flash/initrd.cpio.xz"