1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Copyright (C) 2012 Samsung Electronics 4 * 5 * Configuration settings for the SAMSUNG SMDK5250 board. 6 */ 7 8 #ifndef __CONFIG_SMDK_H 9 #define __CONFIG_SMDK_H 10 11 #include <configs/exynos5250-common.h> 12 #include <configs/exynos5-dt-common.h> 13 #include <configs/exynos5-common.h> 14 15 #undef CONFIG_EXYNOS_FB 16 #undef CONFIG_EXYNOS_DP 17 #undef CONFIG_KEYBOARD 18 19 #define CONFIG_BOARD_COMMON 20 21 #define CONFIG_DEFAULT_CONSOLE "console=ttySAC1,115200n8\0" 22 23 #endif /* __CONFIG_SMDK_H */ 24