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#endif	/* __CONFIG_H */
22