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