2 CONFIG_COUNTER_FREQUENCY=400000000
4 CONFIG_TEXT_BASE=0x1000
5 CONFIG_SYS_MALLOC_LEN=0x500000
7 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
8 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x101000
9 CONFIG_SF_DEFAULT_MODE=0x2003
10 CONFIG_ENV_SIZE=0x1000
11 CONFIG_ENV_OFFSET=0x200
13 CONFIG_DEFAULT_DEVICE_TREE="socfpga_n5x_socdk"
15 CONFIG_SPL_STACK=0xffe3f000
16 CONFIG_SPL_TEXT_BASE=0xFFE00000
17 CONFIG_SPL_HAS_BSS_LINKER_SECTION=y
18 CONFIG_SPL_BSS_START_ADDR=0x3ff00000
19 CONFIG_SPL_BSS_MAX_SIZE=0x100000
20 CONFIG_SYS_BOOTM_LEN=0x2000000
21 CONFIG_TARGET_SOCFPGA_N5X_SOCDK=y
22 CONFIG_IDENT_STRING="socfpga_n5x"
24 # CONFIG_PSCI_RESET is not set
28 CONFIG_BOOTARGS="earlycon panic=-1 earlyprintk=ttyS0,115200"
29 CONFIG_USE_BOOTCOMMAND=y
30 CONFIG_BOOTCOMMAND="run fatscript; run mmcload; run linux_qspi_enable; run mmcboot"
31 CONFIG_SYS_PBSIZE=2079
32 CONFIG_SPL_MAX_SIZE=0x40000
33 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
34 CONFIG_SPL_SYS_MALLOC=y
35 CONFIG_SPL_HAS_CUSTOM_MALLOC_START=y
36 CONFIG_SPL_CUSTOM_SYS_MALLOC_ADDR=0x3fa00000
37 CONFIG_SPL_SYS_MALLOC_SIZE=0x500000
40 CONFIG_SYS_SPI_U_BOOT_OFFS=0x3c00000
41 CONFIG_SPL_TARGET="spl/u-boot-spl-dtb.hex"
43 CONFIG_SYS_PROMPT="SOCFPGA_N5X # "
57 CONFIG_CMD_FS_GENERIC=y
58 # CONFIG_CMD_MTDPARTS is not set
59 CONFIG_ENV_IS_IN_MMC=y
61 CONFIG_BOOTFILE="Image"
62 CONFIG_NET_RANDOM_ETHADDR=y
63 CONFIG_SPL_DM_SEQ_ALIAS=y
67 CONFIG_SYS_MMC_MAX_BLK_COUNT=256
69 CONFIG_SPI_FLASH_SPANSION=y
70 CONFIG_SPI_FLASH_STMICRO=y
72 CONFIG_PHY_MICREL_KSZ90X1=y
73 CONFIG_ETH_DESIGNWARE=y
75 CONFIG_SYS_NS16550_MEM32=y
78 CONFIG_DESIGNWARE_SPI=y
82 CONFIG_DESIGNWARE_WATCHDOG=y
84 # CONFIG_SPL_USE_TINY_PRINTF is not set