2 * (C) Copyright 2012 Xilinx
3 * (C) Copyright 2014 Digilent Inc.
5 * Configuration for Zynq Development Board - ZYBO
6 * See zynq-common.h for Zynq common configs
8 * SPDX-License-Identifier: GPL-2.0+
11 #ifndef __CONFIG_ZYNQ_ZYBO_H
12 #define __CONFIG_ZYNQ_ZYBO_H
14 #define CONFIG_SYS_SDRAM_SIZE (512 * 1024 * 1024)
16 #define CONFIG_SYS_NO_FLASH
18 #define CONFIG_ZYNQ_USB
19 #define CONFIG_ZYNQ_SDHCI0
20 #define CONFIG_ZYNQ_BOOT_FREEBSD
22 /* Define ZYBO PS Clock Frequency to 50MHz */
23 #define CONFIG_ZYNQ_PS_CLK_FREQ 50000000UL
25 #include <configs/zynq-common.h>
27 #endif /* __CONFIG_ZYNQ_ZYBO_H */