blob: 0bbc7e010541d1347d454d9037939b98df37d6a0 [file] [log] [blame]
Marek Vasutb415bad2015-06-21 17:28:53 +02001/*
2 * Copyright (C) 2015 Marek Vasut <marex@denx.de>
3 *
4 * SPDX-License-Identifier: GPL-2.0+
5 */
6#ifndef __CONFIG_TERASIC_SOCKIT_H__
7#define __CONFIG_TERASIC_SOCKIT_H__
8
Dinh Nguyeneca8b5c2015-11-23 17:27:17 -06009#include <asm/arch/base_addr_ac5.h>
Marek Vasutb415bad2015-06-21 17:28:53 +020010
Marek Vasutb415bad2015-06-21 17:28:53 +020011/* Memory configurations */
12#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB on SoCDK */
13
14/* Booting Linux */
Marek Vasutb415bad2015-06-21 17:28:53 +020015#define CONFIG_LOADADDR 0x01000000
16#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
17
18/* Ethernet on SoC (EMAC) */
Marek Vasutb415bad2015-06-21 17:28:53 +020019
Marek Vasutb415bad2015-06-21 17:28:53 +020020/* The rest of the configuration is shared */
21#include <configs/socfpga_common.h>
22
23#endif /* __CONFIG_TERASIC_SOCKIT_H__ */