4 CONFIG_ENV_SIZE=0x10000
5 CONFIG_ENV_OFFSET=0x4400
6 CONFIG_DEFAULT_DEVICE_TREE="socfpga_arria10_chameleonv3_480_2"
7 CONFIG_SPL_TEXT_BASE=0xFFE00000
8 CONFIG_SPL_DRIVERS_MISC=y
9 CONFIG_TARGET_SOCFPGA_CHAMELEONV3=y
11 CONFIG_DISTRO_DEFAULTS=y
14 # CONFIG_USE_SPL_FIT_GENERATOR is not set
16 CONFIG_SPL_NO_BSS_LIMIT=y
17 CONFIG_SYS_SPL_MALLOC=y
18 CONFIG_HAS_CUSTOM_SPL_MALLOC_START=y
19 CONFIG_CUSTOM_SYS_SPL_MALLOC_ADDR=0xffe2b000
20 CONFIG_SYS_SPL_MALLOC_SIZE=0x15000
21 CONFIG_SPL_ENV_SUPPORT=y
23 CONFIG_SYS_BOOTM_LEN=0x2000000
24 CONFIG_ENV_IS_IN_MMC=y
29 CONFIG_SPL_FS_LOADER=y
31 CONFIG_ETH_DESIGNWARE=y
32 CONFIG_SYS_NS16550_MEM32=y
35 CONFIG_DESIGNWARE_APB_TIMER=y