1CONFIG_ARM=y
2CONFIG_GIC_V3_ITS=y
3CONFIG_TARGET_BCMNS3=y
4CONFIG_SYS_TEXT_BASE=0xFF000000
5CONFIG_NR_DRAM_BANKS=2
6CONFIG_ENV_SIZE=0x80000
7CONFIG_DEFAULT_DEVICE_TREE="ns3-board"
8CONFIG_FIT=y
9CONFIG_FIT_SIGNATURE=y
10CONFIG_FIT_SIGNATURE_MAX_SIZE=0x20000000
11CONFIG_FIT_VERBOSE=y
12CONFIG_LEGACY_IMAGE_FORMAT=y
13CONFIG_SUPPORT_RAW_INITRD=y
14CONFIG_OF_BOARD_SETUP=y
15CONFIG_LOGLEVEL=7
16CONFIG_SILENT_CONSOLE=y
17CONFIG_SILENT_U_BOOT_ONLY=y
18# CONFIG_SILENT_CONSOLE_UPDATE_ON_SET is not set
19# CONFIG_DISPLAY_CPUINFO is not set
20CONFIG_HUSH_PARSER=y
21CONFIG_SYS_PROMPT="u-boot> "
22# CONFIG_SYS_XTRACE is not set
23CONFIG_CMD_GPT=y
24CONFIG_CMD_GPT_RENAME=y
25CONFIG_CMD_MMC=y
26CONFIG_CMD_MMC_SWRITE=y
27# CONFIG_CMD_PINMUX is not set
28# CONFIG_CMD_SOURCE is not set
29CONFIG_CMD_EXT4=y
30CONFIG_CMD_EXT4_WRITE=y
31CONFIG_CMD_FAT=y
32# CONFIG_DOS_PARTITION is not set
33CONFIG_OF_CONTROL=y
34CONFIG_DM=y
35CONFIG_CLK=y
36CONFIG_CLK_CCF=y
37CONFIG_MMC_SDHCI=y
38CONFIG_MMC_SDHCI_SDMA=y
39CONFIG_MMC_SDHCI_IPROC=y
40CONFIG_PINCTRL=y
41CONFIG_PINCTRL_SINGLE=y
42CONFIG_DM_SERIAL=y
43CONFIG_SYS_NS16550=y
44CONFIG_TEE=y
45CONFIG_OPTEE=y
46# CONFIG_OPTEE_TA_AVB is not set
47CONFIG_WDT=y
48CONFIG_WDT_SP805=y
49CONFIG_SPL_OF_LIBFDT=y
50