1/* 2 * Copyright (C) 2016 Marek Vasut <marex@denx.de> 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6#ifndef __CONFIG_TERASIC_DE1_SOC_H__ 7#define __CONFIG_TERASIC_DE1_SOC_H__ 8 9#include <asm/arch/base_addr_ac5.h> 10 11/* U-Boot Commands */ 12#define CONFIG_FAT_WRITE 13#define CONFIG_HW_WATCHDOG 14 15/* Memory configurations */ 16#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB */ 17 18/* Booting Linux */ 19#define CONFIG_LOADADDR 0x01000000 20#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR 21 22/* Ethernet on SoC (EMAC) */ 23#if defined(CONFIG_CMD_NET) 24#define CONFIG_PHY_MICREL 25#define CONFIG_PHY_MICREL_KSZ9021 26#endif 27 28#define CONFIG_ENV_IS_IN_MMC 29 30/* The rest of the configuration is shared */ 31#include <configs/socfpga_common.h> 32 33#endif /* __CONFIG_TERASIC_DE1_SOC_H__ */ 34