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/* U-Boot Commands */ 13#define CONFIG_SYS_NO_FLASH 14#define CONFIG_DOS_PARTITION 15#define CONFIG_FAT_WRITE 16#define CONFIG_HW_WATCHDOG 17 18/* Memory configurations */ 19#define PHYS_SDRAM_1_SIZE 0x10000000 20 21/* Booting Linux */ 22#define CONFIG_BOOTFILE "zImage" 23#define CONFIG_BOOTARGS "console=ttyS0," __stringify(CONFIG_BAUDRATE) 24#define CONFIG_LOADADDR 0x01000000 25#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR 26#define CONFIG_ENV_IS_IN_SPI_FLASH 27 28/* Ethernet on SoC (EMAC) */ 29#if defined(CONFIG_CMD_NET) 30#define CONFIG_ARP_TIMEOUT 500UL 31 32/* PHY */ 33#define CONFIG_PHY_MICREL 34#define CONFIG_PHY_MICREL_KSZ9021 35#endif 36 37/* The rest of the configuration is shared */ 38#include <configs/socfpga_common.h> 39 40/* 41 * Bootcounter 42 */ 43#define CONFIG_BOOTCOUNT_LIMIT 44/* last 2 lwords in OCRAM */ 45#define CONFIG_SYS_BOOTCOUNT_ADDR 0xfffffff8 46#define CONFIG_SYS_BOOTCOUNT_BE 47 48#endif /* __CONFIG_SOCFPGA_IS1_H__ */ 49