3 CONFIG_SYS_TEXT_BASE=0x1000
4 CONFIG_SYS_MALLOC_F_LEN=0x2000
5 CONFIG_TARGET_SOCFPGA_STRATIX10_SOCDK=y
7 CONFIG_IDENT_STRING="socfpga_stratix10"
8 CONFIG_SPL_FAT_SUPPORT=y
9 CONFIG_DEFAULT_DEVICE_TREE="socfpga_stratix10_socdk"
10 CONFIG_NR_DRAM_BANKS=1
14 CONFIG_SYS_PROMPT="SOCFPGA_STRATIX10 # "
16 # CONFIG_CMD_FLASH is not set
29 CONFIG_CMD_FS_GENERIC=y
30 CONFIG_ENV_IS_IN_MMC=y
31 CONFIG_NET_RANDOM_ETHADDR=y
33 CONFIG_SPL_DM_SEQ_ALIAS=y
41 CONFIG_SPI_FLASH_BAR=y
42 CONFIG_SPI_FLASH_SPANSION=y
43 CONFIG_SPI_FLASH_STMICRO=y
44 # CONFIG_SPI_FLASH_USE_4K_SECTORS is not set
46 CONFIG_PHY_MICREL_KSZ90X1=y
48 CONFIG_ETH_DESIGNWARE=y
52 CONFIG_DESIGNWARE_SPI=y
57 CONFIG_USE_TINY_PRINTF=y