+#include <configs/exynos5250-common.h>
+
+/* PMIC */
+#define CONFIG_POWER_MAX77686
+
+#define CONFIG_BOARD_COMMON
+
+#define CONFIG_USB_XHCI
+#define CONFIG_USB_XHCI_EXYNOS
+
+#define CONFIG_SYS_PROMPT "SMDK5250 # "
+#define CONFIG_IDENT_STRING " for SMDK5250"
+
+/* Miscellaneous configurable options */
+#define CONFIG_DEFAULT_CONSOLE "console=ttySAC1,115200n8\0"