blob: 9919d292dc7d3319957e9d1ced0b41a3ff71463d [file] [log] [blame]
Tom Rini83d290c2018-05-06 17:58:06 -04001/* SPDX-License-Identifier: GPL-2.0+ */
Anatolij Gustschine9c847c2016-11-14 16:07:10 +01002/*
3 * Copyright (C) 2016 Marek Vasut <marex@denx.de>
Anatolij Gustschine9c847c2016-11-14 16:07:10 +01004 */
5#ifndef __CONFIG_TERASIC_DE1_SOC_H__
6#define __CONFIG_TERASIC_DE1_SOC_H__
7
8#include <asm/arch/base_addr_ac5.h>
9
Anatolij Gustschine9c847c2016-11-14 16:07:10 +010010/* Memory configurations */
11#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB */
12
13/* Booting Linux */
Anatolij Gustschine9c847c2016-11-14 16:07:10 +010014#define CONFIG_LOADADDR 0x01000000
15#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
16
Anatolij Gustschine9c847c2016-11-14 16:07:10 +010017/* The rest of the configuration is shared */
18#include <configs/socfpga_common.h>
19
Anatolij Gustschine9c847c2016-11-14 16:07:10 +010020#endif /* __CONFIG_TERASIC_DE1_SOC_H__ */