2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SYS_MALLOC_LEN=0x40000
4 CONFIG_SYS_MALLOC_F_LEN=0x600
6 CONFIG_DEFAULT_DEVICE_TREE="nexys4ddr"
7 CONFIG_SYS_LOAD_ADDR=0x80500000
8 CONFIG_TARGET_XILFPGA=y
9 CONFIG_MIPS_CACHE_SETUP=y
10 CONFIG_MIPS_CACHE_DISABLE=y
11 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
12 CONFIG_MIPS_BOOT_FDT=y
13 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
14 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x87fff000
17 # CONFIG_DISPLAY_BOARDINFO is not set
19 # CONFIG_CMDLINE_EDITING is not set
20 # CONFIG_AUTO_COMPLETE is not set
21 CONFIG_SYS_PROMPT="MIPSfpga # "
22 CONFIG_SYS_PBSIZE=1052
23 # CONFIG_CMD_SAVEENV is not set
29 # CONFIG_ISO_PARTITION is not set
30 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
31 CONFIG_NET_RANDOM_ETHADDR=y
34 CONFIG_XILINX_EMACLITE=y
36 CONFIG_CMD_DHRYSTONE=y