1 /* 2 * Copyright (C) 2012 Samsung Electronics 3 * 4 * Configuration settings for the SAMSUNG SMDK5250 board. 5 * 6 * SPDX-License-Identifier: GPL-2.0+ 7 */ 8 9 #ifndef __CONFIG_SMDK_H 10 #define __CONFIG_SMDK_H 11 12 #include <configs/exynos5250-dt.h> 13 14 #undef CONFIG_DEFAULT_DEVICE_TREE 15 #define CONFIG_DEFAULT_DEVICE_TREE exynos5250-smdk5250 16 17 #endif /* __CONFIG_SMDK_H */ 18