2012-12-11 00:52:49 +00:00
|
|
|
/*
|
|
|
|
|
* Copyright (C) 2012 Samsung Electronics
|
|
|
|
|
*
|
|
|
|
|
* Configuration settings for the SAMSUNG SMDK5250 board.
|
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2012-12-11 00:52:49 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef __CONFIG_SMDK_H
|
|
|
|
|
#define __CONFIG_SMDK_H
|
|
|
|
|
|
|
|
|
|
#include <configs/exynos5250-dt.h>
|
|
|
|
|
|
|
|
|
|
#undef CONFIG_DEFAULT_DEVICE_TREE
|
|
|
|
|
#define CONFIG_DEFAULT_DEVICE_TREE exynos5250-smdk5250
|
|
|
|
|
|
|
|
|
|
#endif /* __CONFIG_SMDK_H */
|
