include/configs/smdk5420.h

   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 */