blob: b4f31c42c5083fe20af894095e044d6d13e2cc5e [file] [log] [blame]
Marek Vasut952caa22015-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 Nguyen871c24b2015-11-23 17:27:17 -06009#include <asm/arch/base_addr_ac5.h>
Marek Vasut952caa22015-06-21 17:28:53 +020010
Marek Vasut952caa22015-06-21 17:28:53 +020011#define CONFIG_HW_WATCHDOG
12
Marek Vasut952caa22015-06-21 17:28:53 +020013/* Memory configurations */
14#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB on SoCDK */
15
16/* Booting Linux */
Marek Vasut952caa22015-06-21 17:28:53 +020017#define CONFIG_LOADADDR 0x01000000
18#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
19
20/* Ethernet on SoC (EMAC) */
Marek Vasut952caa22015-06-21 17:28:53 +020021
Marek Vasut952caa22015-06-21 17:28:53 +020022/* The rest of the configuration is shared */
23#include <configs/socfpga_common.h>
24
25#endif /* __CONFIG_TERASIC_SOCKIT_H__ */