3 CONFIG_SYS_TEXT_BASE=0x1000
4 CONFIG_SYS_MALLOC_F_LEN=0x2000
7 CONFIG_ENV_OFFSET=0x200
9 CONFIG_DEFAULT_DEVICE_TREE="socfpga_n5x_socdk"
10 CONFIG_SPL_TEXT_BASE=0xFFE00000
11 CONFIG_TARGET_SOCFPGA_N5X_SOCDK=y
12 CONFIG_IDENT_STRING="socfpga_n5x"
14 # CONFIG_PSCI_RESET is not set
17 CONFIG_BOOTARGS="earlycon panic=-1 earlyprintk=ttyS0,115200"
18 CONFIG_USE_BOOTCOMMAND=y
19 CONFIG_BOOTCOMMAND="run fatscript; run mmcload; run linux_qspi_enable; run mmcboot"
22 CONFIG_SYS_SPI_U_BOOT_OFFS=0x3c00000
24 CONFIG_SYS_PROMPT="SOCFPGA_N5X # "
38 CONFIG_CMD_FS_GENERIC=y
39 CONFIG_ENV_IS_IN_MMC=y
40 CONFIG_NET_RANDOM_ETHADDR=y
41 CONFIG_SPL_DM_SEQ_ALIAS=y
46 CONFIG_SF_DEFAULT_MODE=0x2003
47 CONFIG_SPI_FLASH_SPANSION=y
48 CONFIG_SPI_FLASH_STMICRO=y
50 CONFIG_PHY_MICREL_KSZ90X1=y
52 CONFIG_ETH_DESIGNWARE=y
57 CONFIG_DESIGNWARE_SPI=y
61 CONFIG_DESIGNWARE_WATCHDOG=y
63 # CONFIG_SPL_USE_TINY_PRINTF is not set