| /* | |
| * (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_SYS_NO_FLASH | |
| #define CONFIG_ZYNQ_SDHCI1 | |
| #define CONFIG_ZYNQ_USB | |
| #define CONFIG_ZYNQ_BOOT_FREEBSD | |
| #include <configs/zynq-common.h> | |
| #endif /* __CONFIG_ZYNQ_PICOZED_H */ |