3 CONFIG_SYS_TEXT_BASE=0x1000
4 CONFIG_SYS_MALLOC_F_LEN=0x2000
6 CONFIG_ENV_OFFSET=0x200
7 CONFIG_SYS_SPI_U_BOOT_OFFS=0x3C00000
10 CONFIG_TARGET_SOCFPGA_STRATIX10_SOCDK=y
11 CONFIG_IDENT_STRING="socfpga_stratix10"
13 CONFIG_SPL_TEXT_BASE=0xFFE00000
16 CONFIG_BOOTARGS="earlycon"
19 CONFIG_SYS_PROMPT="SOCFPGA_STRATIX10 # "
21 CONFIG_SYS_MEMTEST_START=0x00000000
22 CONFIG_SYS_MEMTEST_END=0x3fe00000
23 # CONFIG_CMD_FLASH is not set
35 CONFIG_CMD_FS_GENERIC=y
37 CONFIG_DEFAULT_DEVICE_TREE="socfpga_stratix10_socdk"
38 CONFIG_ENV_IS_IN_MMC=y
39 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
40 CONFIG_NET_RANDOM_ETHADDR=y
41 CONFIG_SPL_DM_SEQ_ALIAS=y
42 CONFIG_SPL_ALTERA_SDRAM=y
49 CONFIG_SF_DEFAULT_MODE=0x2003
50 CONFIG_SPI_FLASH_SPANSION=y
51 CONFIG_SPI_FLASH_STMICRO=y
53 CONFIG_PHY_MICREL_KSZ90X1=y
55 CONFIG_ETH_DESIGNWARE=y
60 CONFIG_DESIGNWARE_SPI=y
65 CONFIG_DESIGNWARE_WATCHDOG=y
67 # CONFIG_SPL_USE_TINY_PRINTF is not set