blob: 883ffb76f3eccc5a0ecf63fbff4e6346493f3285 [file] [log] [blame]
Pavel Machek9802e872016-06-07 12:37:23 +02001/*
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
Pavel Machek9802e872016-06-07 12:37:23 +020012#define CONFIG_HW_WATCHDOG
13
14/* Memory configurations */
15#define PHYS_SDRAM_1_SIZE 0x10000000
16
17/* Booting Linux */
Pavel Machek9802e872016-06-07 12:37:23 +020018#define CONFIG_BOOTFILE "zImage"
Pavel Machek9802e872016-06-07 12:37:23 +020019#define CONFIG_LOADADDR 0x01000000
20#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
Pavel Machek9802e872016-06-07 12:37:23 +020021
22/* Ethernet on SoC (EMAC) */
23#if defined(CONFIG_CMD_NET)
24#define CONFIG_ARP_TIMEOUT 500UL
25
26/* PHY */
Pavel Machek9802e872016-06-07 12:37:23 +020027#endif
28
29/* The rest of the configuration is shared */
30#include <configs/socfpga_common.h>
31
32/*
33 * Bootcounter
34 */
Pavel Machek9802e872016-06-07 12:37:23 +020035/* last 2 lwords in OCRAM */
36#define CONFIG_SYS_BOOTCOUNT_ADDR 0xfffffff8
37#define CONFIG_SYS_BOOTCOUNT_BE
38
39#endif /* __CONFIG_SOCFPGA_IS1_H__ */