1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2014 Marek Vasut <marex@denx.de>
4 * Copyright (C) 2016 Pavel Machek <pavel@denx.de>
5 */
6#ifndef __CONFIG_SOCFPGA_IS1_H__
7#define __CONFIG_SOCFPGA_IS1_H__
8
9#include <asm/arch/base_addr_ac5.h>
10
11/* Memory configurations */
12#define PHYS_SDRAM_1_SIZE		0x10000000
13
14/* Ethernet on SoC (EMAC) */
15
16/* The rest of the configuration is shared */
17#include <configs/socfpga_common.h>
18
19#endif	/* __CONFIG_SOCFPGA_IS1_H__ */
20