1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2013 Samsung Electronics
4  *
5  * Configuration settings for the SAMSUNG Arndale board.
6  */
7 
8 #ifndef __CONFIG_ARNDALE_H
9 #define __CONFIG_ARNDALE_H
10 
11 #define EXYNOS_FDTFILE_SETTING \
12 	"fdtfile=exynos5250-arndale.dtb\0"
13 
14 #include "exynos5250-common.h"
15 #include <configs/exynos5-common.h>
16 
17 /* Miscellaneous configurable options */
18 
19 #define CFG_SMP_PEN_ADDR	0x02020000
20 
21 /* The PERIPHBASE in the CBAR register is wrong on the Arndale, so override it */
22 #define CFG_ARM_GIC_BASE_ADDRESS	0x10480000
23 
24 #endif	/* __CONFIG_H */
25