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