2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SYS_MALLOC_LEN=0x40000
4 CONFIG_SYS_MALLOC_F_LEN=0x600
5 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
6 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x87fff000
8 CONFIG_DEFAULT_DEVICE_TREE="nexys4ddr"
9 CONFIG_SYS_PROMPT="MIPSfpga # "
10 CONFIG_SYS_LOAD_ADDR=0x80500000
11 CONFIG_TARGET_XILFPGA=y
12 CONFIG_SYS_MIPS_TIMER_FREQ=50000000
13 CONFIG_MIPS_CACHE_SETUP=y
14 CONFIG_MIPS_CACHE_DISABLE=y
15 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
16 CONFIG_MIPS_BOOT_FDT=y
19 # CONFIG_DISPLAY_BOARDINFO is not set
21 # CONFIG_CMDLINE_EDITING is not set
22 # CONFIG_AUTO_COMPLETE is not set
23 CONFIG_SYS_PBSIZE=1052
24 # CONFIG_CMD_SAVEENV is not set
30 # CONFIG_ISO_PARTITION is not set
31 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
32 CONFIG_NET_RANDOM_ETHADDR=y
35 CONFIG_XILINX_EMACLITE=y
37 CONFIG_CMD_DHRYSTONE=y