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