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