CONFIG_VENDOR_SCALEWAY=y | |
CONFIG_BOARD_SCALEWAY_TAGADA=y | |
CONFIG_CBFS_SIZE=0x400000 | |
CONFIG_CONSOLE_POST=y | |
# CONFIG_DRIVERS_INTEL_WIFI is not set | |
# CONFIG_IQAT_ENABLE is not set | |
CONFIG_LEGACY_UART_MODE=y | |
CONFIG_USE_DENVERTON_NS_FSP_CAR=y | |
CONFIG_SPI_FLASH_NO_FAST_READ=y | |
CONFIG_PAYLOAD_ELF=y | |
CONFIG_PAYLOAD_FILE="UEFIPAYLOAD.fd" | |
CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y | |
CONFIG_DISPLAY_FSP_HEADER=y | |
CONFIG_DEBUG_CBFS=y | |
CONFIG_DEBUG_BOOT_STATE=y |