2 # CONFIG_ARM64_SUPPORT_AARCH32 is not set
4 CONFIG_SYS_TEXT_BASE=0x10000000
5 CONFIG_SYS_MALLOC_F_LEN=0x8000
9 CONFIG_DEFAULT_DEVICE_TREE="bcm963158"
10 CONFIG_TARGET_BCM963158=y
11 CONFIG_ENV_VARS_UBOOT_CONFIG=y
12 CONFIG_SYS_LOAD_ADDR=0x10000000
14 CONFIG_FIT_SIGNATURE=y
15 CONFIG_FIT_RSASSA_PSS=y
17 CONFIG_LEGACY_IMAGE_FORMAT=y
18 CONFIG_SUPPORT_RAW_INITRD=y
19 CONFIG_DISPLAY_BOARDINFO_LATE=y
21 # CONFIG_CMD_LZMADEC is not set
22 # CONFIG_CMD_UNZIP is not set
23 # CONFIG_CMD_FLASH is not set
28 CONFIG_DOS_PARTITION=y
29 CONFIG_ISO_PARTITION=y
30 CONFIG_EFI_PARTITION=y
31 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
32 # CONFIG_NET is not set
39 # CONFIG_MMC is not set
43 CONFIG_NAND_BRCMNAND=y
44 CONFIG_NAND_BRCMNAND_63158=y
46 CONFIG_SPI_FLASH_MACRONIX=y
47 CONFIG_SPECIFY_CONSOLE_INDEX=y
50 CONFIG_SERIAL_SEARCH_ALL=y
54 CONFIG_BCM63XX_HSSPI=y
56 CONFIG_SYSRESET_WATCHDOG=y
58 # CONFIG_GENERATE_SMBIOS_TABLE is not set