1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2017, Intel Corporation
4 */
5#ifndef __CONFIG_TERASIC_DE10_H__
6#define __CONFIG_TERASIC_DE10_H__
7
8#include <asm/arch/base_addr_ac5.h>
9
10/* Memory configurations */
11#define PHYS_SDRAM_1_SIZE		0x40000000	/* 1GiB */
12
13/* The rest of the configuration is shared */
14#include <configs/socfpga_common.h>
15
16#endif	/* __CONFIG_TERASIC_DE10_H__ */
17