1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2015 Marek Vasut <marex@denx.de>
4 */
5#ifndef __CONFIG_TERASIC_SOCKIT_H__
6#define __CONFIG_TERASIC_SOCKIT_H__
7
8#include <asm/arch/base_addr_ac5.h>
9
10/* Memory configurations */
11#define PHYS_SDRAM_1_SIZE		0x40000000	/* 1GiB on SoCDK */
12
13/* The rest of the configuration is shared */
14#include <configs/socfpga_common.h>
15
16#endif	/* __CONFIG_TERASIC_SOCKIT_H__ */
17