2 CONFIG_SYS_MALLOC_F_LEN=0x600
4 CONFIG_DEFAULT_DEVICE_TREE="nexys4ddr"
5 CONFIG_TARGET_XILFPGA=y
6 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
8 CONFIG_SYS_LOAD_ADDR=0x80500000
10 # CONFIG_DISPLAY_BOARDINFO is not set
12 # CONFIG_CMDLINE_EDITING is not set
13 # CONFIG_AUTO_COMPLETE is not set
14 CONFIG_SYS_PROMPT="MIPSfpga # "
15 # CONFIG_CMD_SAVEENV is not set
21 # CONFIG_ISO_PARTITION is not set
22 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
23 CONFIG_NET_RANDOM_ETHADDR=y
26 CONFIG_XILINX_EMACLITE=y
28 CONFIG_CMD_DHRYSTONE=y