/*
   * Copyright (C) 2013 Samsung Electronics
   *
   * SPDX-License-Identifier:	GPL-2.0+
   *
   * Configuration settings for the SAMSUNG Arndale board.
   */
  
  #ifndef __CONFIG_ARNDALE_H
  #define __CONFIG_ARNDALE_H

  #define EXYNOS_FDTFILE_SETTING \
  	"fdtfile=exynos5250-arndale.dtb\0"

  #include "exynos5250-common.h"

  #include <configs/exynos5-common.h>

  
  /* SD/MMC configuration */

  #define CONFIG_SUPPORT_EMMC_BOOT

  
  /* allow to overwrite serial and ethaddr */
  #define CONFIG_ENV_OVERWRITE

  /* MMC SPL */

  #define CONFIG_EXYNOS_SPL

  
  /* Miscellaneous configurable options */

  #define CONFIG_DEFAULT_CONSOLE		"console=ttySAC2,115200n8\0"

  #define CONFIG_ENV_OFFSET	(CONFIG_BL2_OFFSET + CONFIG_BL2_SIZE)

  #define CONFIG_IRAM_STACK	0x02050000
  
  #define CONFIG_SYS_INIT_SP_ADDR	CONFIG_IRAM_STACK

  /* PMIC */

  #define CONFIG_POWER

  #define CONFIG_POWER_I2C

  #define CONFIG_PREBOOT

  #define CONFIG_S5P_PA_SYSRAM	0x02020000
  #define CONFIG_SMP_PEN_ADDR	CONFIG_S5P_PA_SYSRAM
  
  /* The PERIPHBASE in the CBAR register is wrong on the Arndale, so override it */
  #define CONFIG_ARM_GIC_BASE_ADDRESS	0x10480000

  /* Power */
  #define CONFIG_POWER
  #define CONFIG_POWER_I2C

  #endif	/* __CONFIG_H */