1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2013 Samsung Electronics
5 * Configuration settings for the SAMSUNG SMDK5420 board.
8 #ifndef __CONFIG_SMDK5420_H
9 #define __CONFIG_SMDK5420_H
11 #include <configs/exynos5420-common.h>
12 #include <configs/exynos5-dt-common.h>
13 #include <configs/exynos5-common.h>
15 #undef CONFIG_EXYNOS_FB
16 #undef CONFIG_EXYNOS_DP
18 #undef CONFIG_KEYBOARD
20 #define CONFIG_BOARD_COMMON
22 #define CONFIG_SMDK5420 /* which is in a SMDK5420 */
24 #define CONFIG_SYS_SDRAM_BASE 0x20000000
25 #define CONFIG_SYS_INIT_SP_ADDR (CONFIG_IRAM_TOP - 0x800)
28 #define CONFIG_USB_XHCI_EXYNOS
30 /* DRAM Memory Banks */
31 #define SDRAM_BANK_SIZE (512UL << 20UL) /* 512 MB */
33 #endif /* __CONFIG_SMDK5420_H */