include/configs/arndale.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2013 Samsung Electronics
   4  *
   5  * Configuration settings for the SAMSUNG Arndale board.
   6  */
   7
   8 #ifndef __CONFIG_ARNDALE_H
   9 #define __CONFIG_ARNDALE_H
  10
  11 #define EXYNOS_FDTFILE_SETTING \
  12         "fdtfile=exynos5250-arndale.dtb\0"
  13
  14 #include "exynos5250-common.h"
  15 #include <configs/exynos5-common.h>
  16
  17 /* Miscellaneous configurable options */
  18
  19 #define CONFIG_SMP_PEN_ADDR     0x02020000
  20
  21 /* The PERIPHBASE in the CBAR register is wrong on the Arndale, so override it */
  22 #define CONFIG_ARM_GIC_BASE_ADDRESS     0x10480000
  23
  24 #endif  /* __CONFIG_H */