3 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es
4 * This work has been supported by: QTechnology http://qtec.com/
5 * SPDX-License-Identifier: GPL-2.0+
13 #define CONFIG_XILINX_ML507 1
14 #include "../board/avnet/v5fx30teval/xparameters.h"
17 #define CONFIG_SYS_SDRAM_SIZE_MB 64
20 #define CONFIG_ENV_IS_IN_FLASH 1
21 #define CONFIG_ENV_SIZE 0x20000
22 #define CONFIG_ENV_SECT_SIZE 0x20000
23 #define CONFIG_ENV_OFFSET 0x1A0000
24 #define CONFIG_ENV_ADDR (XPAR_FLASH_MEM0_BASEADDR+CONFIG_ENV_OFFSET)
27 #define CONFIG_SYS_PROMPT "v5fx30t:/# " /* Monitor Command Prompt */
28 #define CONFIG_PREBOOT "echo U-Boot is up and runnining;"
31 #define CONFIG_SYS_FLASH_SIZE (16*1024*1024)
32 #define CONFIG_SYS_MAX_FLASH_SECT 131
33 #define MTDIDS_DEFAULT "nor0=v5fx30t-flash"
34 #define MTDPARTS_DEFAULT "mtdparts=v5fx30t-flash:-(user)"
37 #include <configs/xilinx-ppc440.h>
39 #endif /* __CONFIG_H */