1 CONFIG_USE_OPTION_TABLE=y
3 # CONFIG_POST_IO is not set
4 # CONFIG_POST_DEVICE is not set
5 CONFIG_BOARD_LENOVO_THINKPAD_T430=y
6 CONFIG_BOOTBLOCK_NORMAL=y
7 CONFIG_MAINBOARD_USE_LIBGFXINIT=y
8 CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
9 CONFIG_DEBUG_RAM_SETUP=y
12 CONFIG_DEBUG_SPI_FLASH=y
13 CONFIG_DEBUG_BOOT_STATE=y
14 CONFIG_DEBUG_ADA_CODE=y