blob: c75acc0749def305b52d1dc5753495a0809e7bff [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#define CONFIG_HW_WATCHDOG
12
Marek Vasutb415bad2015-06-21 17:28:53 +020013/* Memory configurations */
14#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB on SoCDK */
15
16/* Booting Linux */
Marek Vasutb415bad2015-06-21 17:28:53 +020017#define CONFIG_LOADADDR 0x01000000
18#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
19
20/* Ethernet on SoC (EMAC) */
21#if defined(CONFIG_CMD_NET)
Marek Vasutb415bad2015-06-21 17:28:53 +020022#define CONFIG_PHY_MICREL
23#define CONFIG_PHY_MICREL_KSZ9021
Marek Vasutb415bad2015-06-21 17:28:53 +020024#endif
25
Dinh Nguyen813e7e62015-09-23 15:38:01 -050026#define CONFIG_ENV_IS_IN_MMC
Dinh Nguyen813e7e62015-09-23 15:38:01 -050027
Marek Vasutb415bad2015-06-21 17:28:53 +020028/* The rest of the configuration is shared */
29#include <configs/socfpga_common.h>
30
31#endif /* __CONFIG_TERASIC_SOCKIT_H__ */