2 CONFIG_SYS_MALLOC_F_LEN=0x600
3 CONFIG_TARGET_XILFPGA=y
4 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
6 CONFIG_DEFAULT_DEVICE_TREE="nexys4ddr"
8 # CONFIG_DISPLAY_BOARDINFO is not set
10 CONFIG_SYS_PROMPT="MIPSfpga # "
11 # CONFIG_CMD_SAVEENV is not set
13 # CONFIG_CMD_FLASH is not set
14 # CONFIG_CMD_FPGA is not set
19 # CONFIG_ISO_PARTITION is not set
21 CONFIG_NET_RANDOM_ETHADDR=y
24 CONFIG_XILINX_EMACLITE=y
26 CONFIG_CMD_DHRYSTONE=y