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