1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2013 Samsung Electronics
5 * Configuration settings for the SAMSUNG Arndale board.
8 #ifndef __CONFIG_ARNDALE_H
9 #define __CONFIG_ARNDALE_H
11 #define EXYNOS_FDTFILE_SETTING \
12 "fdtfile=exynos5250-arndale.dtb\0"
14 #include "exynos5250-common.h"
15 #include <configs/exynos5-common.h>
18 #define CONFIG_EXYNOS_SPL
20 /* Miscellaneous configurable options */
21 #define CONFIG_IRAM_STACK 0x02050000
23 #define CONFIG_SYS_INIT_SP_ADDR CONFIG_IRAM_STACK
25 #define CONFIG_S5P_PA_SYSRAM 0x02020000
26 #define CONFIG_SMP_PEN_ADDR CONFIG_S5P_PA_SYSRAM
28 /* The PERIPHBASE in the CBAR register is wrong on the Arndale, so override it */
29 #define CONFIG_ARM_GIC_BASE_ADDRESS 0x10480000
31 #endif /* __CONFIG_H */