1/* 2 * Copyright (C) 2014 Marek Vasut <marex@denx.de> 3 * Copyright (C) 2016 Pavel Machek <pavel@denx.de> 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7#ifndef __CONFIG_SOCFPGA_IS1_H__ 8#define __CONFIG_SOCFPGA_IS1_H__ 9 10#include <asm/arch/base_addr_ac5.h> 11 12#define CONFIG_HW_WATCHDOG 13 14/* Memory configurations */ 15#define PHYS_SDRAM_1_SIZE 0x10000000 16 17/* Booting Linux */ 18#define CONFIG_BOOTFILE "zImage" 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_ARP_TIMEOUT 500UL 25 26/* PHY */ 27#endif 28 29/* The rest of the configuration is shared */ 30#include <configs/socfpga_common.h> 31 32/* 33 * Bootcounter 34 */ 35#define CONFIG_BOOTCOUNT_LIMIT 36/* last 2 lwords in OCRAM */ 37#define CONFIG_SYS_BOOTCOUNT_ADDR 0xfffffff8 38#define CONFIG_SYS_BOOTCOUNT_BE 39 40#endif /* __CONFIG_SOCFPGA_IS1_H__ */ 41