1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2013 Samsung Electronics 4 * 5 * Configuration settings for the SAMSUNG SMDK5420 board. 6 */ 7 8#ifndef __CONFIG_SMDK5420_H 9#define __CONFIG_SMDK5420_H 10 11#include <configs/exynos5420-common.h> 12#include <configs/exynos5-dt-common.h> 13#include <configs/exynos5-common.h> 14 15#define CFG_SYS_SDRAM_BASE 0x20000000 16 17/* DRAM Memory Banks */ 18#define SDRAM_BANK_SIZE (512UL << 20UL) /* 512 MB */ 19 20#endif /* __CONFIG_SMDK5420_H */ 21