blob: 46f5f135dd5d9a0df7fcc25f9b4bf38fce61a942 [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 */
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__ */