2 * Copyright (C) 2013 Samsung Electronics
4 * Configuration settings for the SAMSUNG SMDK5420 board.
6 * SPDX-License-Identifier: GPL-2.0+
9 #ifndef __CONFIG_SMDK5420_H
10 #define __CONFIG_SMDK5420_H
12 #include <configs/exynos5-dt.h>
14 #include <configs/exynos5420.h>
16 #define CONFIG_SMDK5420 /* which is in a SMDK5420 */
18 #undef CONFIG_DEFAULT_DEVICE_TREE
19 #define CONFIG_DEFAULT_DEVICE_TREE exynos5420-smdk5420
21 /* select serial console configuration */
22 #define CONFIG_SERIAL3 /* use SERIAL 3 */
24 #define CONFIG_SYS_PROMPT "SMDK5420 # "
25 #define CONFIG_IDENT_STRING " for SMDK5420"
27 #endif /* __CONFIG_SMDK5420_H */