blob: f2c3f405549ad5b3cb8532f0572a9d33c7bf6012 [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/* Memory configurations */
13#define PHYS_SDRAM_1_SIZE 0x10000000
14
15/* Booting Linux */
Pavel Machek9802e872016-06-07 12:37:23 +020016#define CONFIG_BOOTFILE "zImage"
Pavel Machek9802e872016-06-07 12:37:23 +020017#define CONFIG_LOADADDR 0x01000000
18#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
Pavel Machek9802e872016-06-07 12:37:23 +020019
20/* Ethernet on SoC (EMAC) */
21#if defined(CONFIG_CMD_NET)
22#define CONFIG_ARP_TIMEOUT 500UL
23
24/* PHY */
Pavel Machek9802e872016-06-07 12:37:23 +020025#endif
26
27/* The rest of the configuration is shared */
28#include <configs/socfpga_common.h>
29
30/*
31 * Bootcounter
32 */
Pavel Machek9802e872016-06-07 12:37:23 +020033/* last 2 lwords in OCRAM */
34#define CONFIG_SYS_BOOTCOUNT_ADDR 0xfffffff8
35#define CONFIG_SYS_BOOTCOUNT_BE
36
37#endif /* __CONFIG_SOCFPGA_IS1_H__ */