/* * (C) Copyright 2015 Xilinx, Inc. * * Configuration for PicoZed * See zynq-common.h for Zynq common configs * * SPDX-License-Identifier: GPL-2.0+ */ #ifndef __CONFIG_ZYNQ_PICOZED_H #define __CONFIG_ZYNQ_PICOZED_H #define CONFIG_SYS_SDRAM_SIZE (1024 * 1024 * 1024) #define CONFIG_ZYNQ_SERIAL_UART1 #define CONFIG_ZYNQ_GEM0 #define CONFIG_ZYNQ_GEM_PHY_ADDR0 0 #define CONFIG_SYS_NO_FLASH #define CONFIG_ZYNQ_SDHCI1 #define CONFIG_ZYNQ_USB #define CONFIG_ZYNQ_BOOT_FREEBSD #include #endif /* __CONFIG_ZYNQ_PICOZED_H */