1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2012 Samsung Electronics
5 * Configuration settings for the SAMSUNG SMDK5250 board.
8 #ifndef __CONFIG_SMDK_H
9 #define __CONFIG_SMDK_H
11 #include <configs/exynos5250-common.h>
12 #include <configs/exynos5-dt-common.h>
13 #include <configs/exynos5-common.h>
15 #endif /* __CONFIG_SMDK_H */