2013-12-26 04:14:26 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2013 Samsung Electronics
|
|
|
|
*
|
2014-06-18 12:23:58 +00:00
|
|
|
* Configuration settings for the SAMSUNG SMDK5420 board.
|
2013-12-26 04:14:26 +00:00
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
|
|
|
*/
|
|
|
|
|
2014-06-18 12:23:58 +00:00
|
|
|
#ifndef __CONFIG_SMDK5420_H
|
|
|
|
#define __CONFIG_SMDK5420_H
|
2013-12-26 04:14:26 +00:00
|
|
|
|
|
|
|
#include <configs/exynos5-dt.h>
|
|
|
|
|
2014-06-18 12:23:58 +00:00
|
|
|
#include <configs/exynos5420.h>
|
|
|
|
|
2013-12-26 04:14:26 +00:00
|
|
|
#define CONFIG_SMDK5420 /* which is in a SMDK5420 */
|
|
|
|
|
|
|
|
#undef CONFIG_DEFAULT_DEVICE_TREE
|
|
|
|
#define CONFIG_DEFAULT_DEVICE_TREE exynos5420-smdk5420
|
|
|
|
|
|
|
|
/* select serial console configuration */
|
2014-06-18 12:23:58 +00:00
|
|
|
#define CONFIG_SERIAL3 /* use SERIAL 3 */
|
2013-12-26 04:14:26 +00:00
|
|
|
|
2014-06-18 12:23:58 +00:00
|
|
|
#define CONFIG_SYS_PROMPT "SMDK5420 # "
|
|
|
|
#define CONFIG_IDENT_STRING " for SMDK5420"
|
2014-05-06 14:37:04 +00:00
|
|
|
|
2014-06-18 12:23:58 +00:00
|
|
|
#endif /* __CONFIG_SMDK5420_H */
|