2 CONFIG_COUNTER_FREQUENCY=400000000
4 CONFIG_SYS_TEXT_BASE=0x1000
5 CONFIG_SYS_MALLOC_LEN=0x500000
8 CONFIG_ENV_OFFSET=0x200
10 CONFIG_DEFAULT_DEVICE_TREE="socfpga_agilex_socdk"
11 CONFIG_SPL_TEXT_BASE=0xFFE00000
12 CONFIG_TARGET_SOCFPGA_AGILEX_SOCDK=y
13 CONFIG_IDENT_STRING="socfpga_agilex"
15 # CONFIG_PSCI_RESET is not set
16 CONFIG_SYS_LOAD_ADDR=0x02000000
17 CONFIG_SYS_MEMTEST_START=0x00000000
18 CONFIG_SYS_MEMTEST_END=0x3fe00000
19 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
20 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x101000
24 CONFIG_BOOTARGS="earlycon"
25 CONFIG_USE_BOOTCOMMAND=y
26 CONFIG_BOOTCOMMAND="run fatscript; run mmcload; run linux_qspi_enable; run mmcboot"
27 CONFIG_SPL_MAX_SIZE=0x40000
28 CONFIG_SPL_BSS_MAX_SIZE=0x100000
29 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
30 CONFIG_SPL_STACK=0xffe3f000
33 CONFIG_SYS_SPI_U_BOOT_OFFS=0x3c00000
35 CONFIG_SYS_PROMPT="SOCFPGA_AGILEX # "
37 CONFIG_SYS_PBSIZE=2082
50 CONFIG_CMD_FS_GENERIC=y
51 CONFIG_ENV_IS_IN_MMC=y
53 CONFIG_BOOTFILE="Image"
54 CONFIG_NET_RANDOM_ETHADDR=y
55 CONFIG_SPL_DM_SEQ_ALIAS=y
56 CONFIG_SPL_ALTERA_SDRAM=y
61 CONFIG_SF_DEFAULT_MODE=0x2003
62 CONFIG_SPI_FLASH_SPANSION=y
63 CONFIG_SPI_FLASH_STMICRO=y
65 CONFIG_PHY_MICREL_KSZ90X1=y
67 CONFIG_ETH_DESIGNWARE=y
72 CONFIG_DESIGNWARE_SPI=y
76 CONFIG_DESIGNWARE_WATCHDOG=y
78 # CONFIG_SPL_USE_TINY_PRINTF is not set