]> Git Repo - J-u-boot.git/blame - include/configs/socfpga_is1.h
udoo: Adjust the SD card device numbering
[J-u-boot.git] / include / configs / socfpga_is1.h
CommitLineData
83d290c5 1/* SPDX-License-Identifier: GPL-2.0+ */
35546f6f
PM
2/*
3 * Copyright (C) 2014 Marek Vasut <[email protected]>
4 * Copyright (C) 2016 Pavel Machek <[email protected]>
35546f6f
PM
5 */
6#ifndef __CONFIG_SOCFPGA_IS1_H__
7#define __CONFIG_SOCFPGA_IS1_H__
8
9#include <asm/arch/base_addr_ac5.h>
10
35546f6f
PM
11/* Memory configurations */
12#define PHYS_SDRAM_1_SIZE 0x10000000
13
14/* Booting Linux */
35546f6f 15#define CONFIG_BOOTFILE "zImage"
35546f6f
PM
16
17/* Ethernet on SoC (EMAC) */
18#if defined(CONFIG_CMD_NET)
19#define CONFIG_ARP_TIMEOUT 500UL
35546f6f
PM
20#endif
21
22/* The rest of the configuration is shared */
23#include <configs/socfpga_common.h>
24
25/*
26 * Bootcounter
27 */
35546f6f
PM
28#define CONFIG_SYS_BOOTCOUNT_BE
29
30#endif /* __CONFIG_SOCFPGA_IS1_H__ */
This page took 0.467805 seconds and 4 git commands to generate.