| CONFIG_ARM=y |
| CONFIG_GIC_V3_ITS=y |
| CONFIG_TARGET_BCMNS3=y |
| CONFIG_SYS_TEXT_BASE=0xFF000000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_ENV_SIZE=0x80000 |
| CONFIG_DEFAULT_DEVICE_TREE="ns3-board" |
| CONFIG_SYS_LOAD_ADDR=0x80080000 |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_FIT_SIGNATURE_MAX_SIZE=0x20000000 |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_LEGACY_IMAGE_FORMAT=y |
| CONFIG_SUPPORT_RAW_INITRD=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_LOGLEVEL=7 |
| CONFIG_SILENT_CONSOLE=y |
| CONFIG_SILENT_U_BOOT_ONLY=y |
| # CONFIG_SILENT_CONSOLE_UPDATE_ON_SET is not set |
| # CONFIG_DISPLAY_CPUINFO is not set |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="u-boot> " |
| # CONFIG_SYS_XTRACE is not set |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_GPT_RENAME=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_MMC_SWRITE=y |
| # CONFIG_CMD_PINMUX is not set |
| # CONFIG_CMD_SOURCE is not set |
| CONFIG_CMD_EXT4=y |
| CONFIG_CMD_EXT4_WRITE=y |
| CONFIG_CMD_FAT=y |
| # CONFIG_DOS_PARTITION is not set |
| CONFIG_OF_CONTROL=y |
| CONFIG_DM=y |
| CONFIG_CLK=y |
| CONFIG_CLK_CCF=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_SDMA=y |
| CONFIG_MMC_SDHCI_IPROC=y |
| CONFIG_PINCTRL=y |
| CONFIG_PINCTRL_SINGLE=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_TEE=y |
| CONFIG_OPTEE=y |
| # CONFIG_OPTEE_TA_AVB is not set |
| CONFIG_WDT=y |
| CONFIG_WDT_SP805=y |
| CONFIG_SPL_OF_LIBFDT=y |