blob: 3a7f354914a6ed508ce8ffa112a5bfb8f2ad540f [file] [log] [blame]
Tom Rini10e47792018-05-06 17:58:06 -04001/* SPDX-License-Identifier: GPL-2.0+ */
Marek Vasutb415bad2015-06-21 17:28:53 +02002/*
3 * Copyright (C) 2015 Marek Vasut <marex@denx.de>
Marek Vasutb415bad2015-06-21 17:28:53 +02004 */
5#ifndef __CONFIG_TERASIC_SOCKIT_H__
6#define __CONFIG_TERASIC_SOCKIT_H__
7
Dinh Nguyeneca8b5c2015-11-23 17:27:17 -06008#include <asm/arch/base_addr_ac5.h>
Marek Vasutb415bad2015-06-21 17:28:53 +02009
Marek Vasutb415bad2015-06-21 17:28:53 +020010/* Memory configurations */
11#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB on SoCDK */
12
13/* Booting Linux */
Marek Vasutb415bad2015-06-21 17:28:53 +020014#define CONFIG_LOADADDR 0x01000000
15#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
16
17/* Ethernet on SoC (EMAC) */
Marek Vasutb415bad2015-06-21 17:28:53 +020018
Marek Vasutb415bad2015-06-21 17:28:53 +020019/* The rest of the configuration is shared */
20#include <configs/socfpga_common.h>
21
22#endif /* __CONFIG_TERASIC_SOCKIT_H__ */