2021-07-26 14:02:42 -04:00
|
|
|
# CONFIG_USE_BLOBS is not set
|
2020-05-15 18:52:11 +01:00
|
|
|
CONFIG_VENDOR_LENOVO=y
|
2020-10-19 12:50:24 -04:00
|
|
|
CONFIG_NO_POST=y
|
2021-07-26 14:02:42 -04:00
|
|
|
CONFIG_CBFS_SIZE=0x700000
|
2021-10-14 13:12:33 -04:00
|
|
|
CONFIG_BOARD_LENOVO_THINKPAD_T430=y
|
2020-05-15 18:52:11 +01:00
|
|
|
CONFIG_UART_PCI_ADDR=0
|
2021-11-29 14:46:22 -05:00
|
|
|
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
|
2021-07-26 14:02:42 -04:00
|
|
|
CONFIG_DRIVERS_PS2_KEYBOARD=y
|
|
|
|
CONFIG_TPM_MEASURED_BOOT=y
|
2020-05-15 18:52:11 +01:00
|
|
|
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x80000
|
|
|
|
CONFIG_PAYLOAD_LINUX=y
|
2022-08-16 19:39:33 +03:00
|
|
|
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
|
2020-05-15 18:52:11 +01:00
|
|
|
CONFIG_LINUX_COMMAND_LINE="intel_iommu=igfx_off quiet"
|
2022-08-16 19:39:33 +03:00
|
|
|
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"
|
2020-05-15 18:52:11 +01:00
|
|
|
CONFIG_USE_OPTION_TABLE=y
|
|
|
|
CONFIG_STATIC_OPTION_TABLE=y
|