2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 # CONFIG_ARM64_SUPPORT_AARCH32 is not set
5 CONFIG_SYS_TEXT_BASE=0x10000000
6 CONFIG_SYS_MALLOC_LEN=0x100000
7 CONFIG_SYS_MALLOC_F_LEN=0x8000
11 CONFIG_DEFAULT_DEVICE_TREE="bcm963158"
12 CONFIG_SYS_LOAD_ADDR=0x10000000
13 CONFIG_TARGET_BCM963158=y
14 CONFIG_ENV_VARS_UBOOT_CONFIG=y
15 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
16 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x11000000
18 CONFIG_FIT_SIGNATURE=y
19 CONFIG_FIT_RSASSA_PSS=y
21 CONFIG_LEGACY_IMAGE_FORMAT=y
22 CONFIG_SUPPORT_RAW_INITRD=y
23 CONFIG_DISPLAY_BOARDINFO_LATE=y
28 # CONFIG_CMD_LZMADEC is not set
29 # CONFIG_CMD_UNZIP is not set
30 # CONFIG_CMD_FLASH is not set
35 CONFIG_DOS_PARTITION=y
36 CONFIG_ISO_PARTITION=y
37 CONFIG_EFI_PARTITION=y
38 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
39 # CONFIG_NET is not set
46 # CONFIG_MMC is not set
50 CONFIG_NAND_BRCMNAND=y
51 CONFIG_NAND_BRCMNAND_63158=y
52 CONFIG_SYS_NAND_ONFI_DETECTION=y
54 CONFIG_SPI_FLASH_MACRONIX=y
55 CONFIG_SPECIFY_CONSOLE_INDEX=y
58 CONFIG_SERIAL_SEARCH_ALL=y
62 CONFIG_BCM63XX_HSSPI=y
64 CONFIG_SYSRESET_WATCHDOG=y
66 # CONFIG_GENERATE_SMBIOS_TABLE is not set