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 16 #define CONFIG_SYS_NO_FLASH 17 18 #define CONFIG_ZYNQ_USB 19 #define CONFIG_ZYNQ_SDHCI0 20 #define CONFIG_ZYNQ_BOOT_FREEBSD 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 */ 28