1 CONFIG_VENDOR_SCALEWAY=y
2 CONFIG_BOARD_SCALEWAY_TAGADA=y
3 CONFIG_CBFS_SIZE=0x400000
5 # CONFIG_DRIVERS_INTEL_WIFI is not set
6 # CONFIG_IQAT_ENABLE is not set
7 CONFIG_LEGACY_UART_MODE=y
8 CONFIG_USE_DENVERTON_NS_FSP_CAR=y
9 CONFIG_SPI_FLASH_NO_FAST_READ=y
11 CONFIG_PAYLOAD_FILE="UEFIPAYLOAD.fd"
12 CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y
13 CONFIG_DISPLAY_FSP_HEADER=y
15 CONFIG_DEBUG_BOOT_STATE=y