| Tinghui Wang | 131bffe | 2014-08-28 21:16:40 +1000 | [diff] [blame] | 1 | /* |
| 2 | * (C) Copyright 2012 Xilinx |
| 3 | * (C) Copyright 2014 Digilent Inc. |
| 4 | * |
| 5 | * Configuration for Zynq Development Board - ZYBO |
| 6 | * See zynq-common.h for Zynq common configs |
| 7 | * |
| 8 | * SPDX-License-Identifier: GPL-2.0+ |
| 9 | */ |
| 10 | |
| 11 | #ifndef __CONFIG_ZYNQ_ZYBO_H |
| 12 | #define __CONFIG_ZYNQ_ZYBO_H |
| 13 | |
| 14 | #define CONFIG_SYS_SDRAM_SIZE (512 * 1024 * 1024) |
| 15 | |
| Tinghui Wang | 131bffe | 2014-08-28 21:16:40 +1000 | [diff] [blame] | 16 | #define CONFIG_SYS_NO_FLASH |
| 17 | |
| Nathan Rossi | b13bb07 | 2015-12-09 00:44:42 +1000 | [diff] [blame] | 18 | #define CONFIG_ZYNQ_USB |
| Tinghui Wang | 131bffe | 2014-08-28 21:16:40 +1000 | [diff] [blame] | 19 | #define CONFIG_ZYNQ_SDHCI0 |
| 20 | #define CONFIG_ZYNQ_BOOT_FREEBSD |
| Tinghui Wang | 131bffe | 2014-08-28 21:16:40 +1000 | [diff] [blame] | 21 | |
| 22 | /* Define ZYBO PS Clock Frequency to 50MHz */ |
| 23 | #define CONFIG_ZYNQ_PS_CLK_FREQ 50000000UL |
| 24 | |
| 25 | #include <configs/zynq-common.h> |
| 26 | |
| 27 | #endif /* __CONFIG_ZYNQ_ZYBO_H */ |