1CONFIG_ARM=y
2CONFIG_SPL_LDSCRIPT="arch/arm/mach-socfpga/u-boot-spl-soc64.lds"
3CONFIG_ARCH_SOCFPGA=y
4CONFIG_SYS_TEXT_BASE=0x200000
5CONFIG_SYS_MALLOC_F_LEN=0x2000
6CONFIG_NR_DRAM_BANKS=2
7CONFIG_ENV_SIZE=0x1000
8CONFIG_ENV_OFFSET=0x200
9CONFIG_SYS_SPI_U_BOOT_OFFS=0x02000000
10CONFIG_DM_GPIO=y
11CONFIG_SPL_TEXT_BASE=0xFFE00000
12CONFIG_TARGET_SOCFPGA_STRATIX10_SOCDK=y
13CONFIG_IDENT_STRING="socfpga_stratix10"
14CONFIG_SPL_FS_FAT=y
15CONFIG_DEFAULT_DEVICE_TREE="socfpga_stratix10_socdk"
16CONFIG_FIT=y
17CONFIG_SPL_LOAD_FIT=y
18CONFIG_SPL_LOAD_FIT_ADDRESS=0x02000000
19# CONFIG_USE_SPL_FIT_GENERATOR is not set
20CONFIG_BOOTDELAY=5
21CONFIG_USE_BOOTARGS=y
22CONFIG_BOOTARGS="earlycon"
23CONFIG_USE_BOOTCOMMAND=y
24CONFIG_BOOTCOMMAND="run fatscript; run mmcfitload; run linux_qspi_enable; run mmcfitboot"
25CONFIG_SPL_SPI_LOAD=y
26CONFIG_SPL_ATF=y
27CONFIG_SPL_ATF_NO_PLATFORM_PARAM=y
28CONFIG_HUSH_PARSER=y
29CONFIG_SYS_PROMPT="SOCFPGA_STRATIX10 # "
30CONFIG_CMD_MEMTEST=y
31# CONFIG_CMD_FLASH is not set
32CONFIG_CMD_GPIO=y
33CONFIG_CMD_I2C=y
34CONFIG_CMD_MMC=y
35CONFIG_CMD_SPI=y
36CONFIG_CMD_USB=y
37CONFIG_CMD_DHCP=y
38CONFIG_CMD_MII=y
39CONFIG_CMD_PING=y
40CONFIG_CMD_CACHE=y
41CONFIG_CMD_EXT4=y
42CONFIG_CMD_FAT=y
43CONFIG_CMD_FS_GENERIC=y
44CONFIG_ENV_IS_IN_MMC=y
45CONFIG_SYS_RELOC_GD_ENV_ADDR=y
46CONFIG_NET_RANDOM_ETHADDR=y
47CONFIG_SPL_DM_SEQ_ALIAS=y
48CONFIG_SPL_ALTERA_SDRAM=y
49CONFIG_DWAPB_GPIO=y
50CONFIG_DM_I2C=y
51CONFIG_SYS_I2C_DW=y
52CONFIG_DM_MMC=y
53CONFIG_MMC_DW=y
54CONFIG_MTD=y
55CONFIG_SF_DEFAULT_MODE=0x2003
56CONFIG_SPI_FLASH_SPANSION=y
57CONFIG_SPI_FLASH_STMICRO=y
58CONFIG_PHY_MICREL=y
59CONFIG_PHY_MICREL_KSZ90X1=y
60CONFIG_DM_ETH=y
61CONFIG_ETH_DESIGNWARE=y
62CONFIG_MII=y
63CONFIG_DM_RESET=y
64CONFIG_SPI=y
65CONFIG_CADENCE_QSPI=y
66CONFIG_DESIGNWARE_SPI=y
67CONFIG_USB=y
68CONFIG_DM_USB=y
69CONFIG_USB_DWC2=y
70CONFIG_USB_STORAGE=y
71CONFIG_DESIGNWARE_WATCHDOG=y
72CONFIG_WDT=y
73# CONFIG_SPL_USE_TINY_PRINTF is not set
74CONFIG_PANIC_HANG=y
75