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