2012-12-11 09:52:49 +09:00
|
|
|
/*
|
|
|
|
|
* Copyright (C) 2012 Samsung Electronics
|
|
|
|
|
*
|
|
|
|
|
* Configuration settings for the SAMSUNG SMDK5250 board.
|
|
|
|
|
*
|
2013-07-08 16:37:19 +09:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2012-12-11 09:52:49 +09: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
|
|
|
|
|
|
2014-05-06 23:37:04 +09:00
|
|
|
/* Enable FIT support and comparison */
|
|
|
|
|
#define CONFIG_FIT
|
|
|
|
|
#define CONFIG_FIT_BEST_MATCH
|
|
|
|
|
|
2012-12-11 09:52:49 +09:00
|
|
|
#endif /* __CONFIG_SMDK_H */
|
