/*

   * Copyright (C) 2012 Samsung Electronics

   *

   * Configuration settings for the SAMSUNG EXYNOS5250 board.

   *

   * SPDX-License-Identifier:	GPL-2.0+

   */

  #ifndef __CONFIG_5250_H
  #define __CONFIG_5250_H

  #define CONFIG_EXYNOS5250

  #define CONFIG_SYS_SDRAM_BASE		0x40000000
  #define CONFIG_SYS_TEXT_BASE		0x43E00000

  #define CONFIG_MACH_TYPE		MACH_TYPE_SMDK5250

  #define CONFIG_SPL_MAX_FOOTPRINT	(14 * 1024)

  #define CONFIG_SPL_TEXT_BASE	0x02023400

  #define CONFIG_IRAM_STACK	0x02050000

  #define CONFIG_SYS_INIT_SP_ADDR	CONFIG_IRAM_STACK

  /* USB */
  #define CONFIG_USB_EHCI
  #define CONFIG_USB_EHCI_EXYNOS

  #define CONFIG_USB_XHCI_EXYNOS

  #define CONFIG_USB_HOST_ETHER
  #define CONFIG_USB_ETHER_ASIX
  #define CONFIG_USB_ETHER_ASIX88179

  
  /* DRAM Memory Banks */
  #define CONFIG_NR_DRAM_BANKS	8
  #define SDRAM_BANK_SIZE		(256UL << 20UL)	/* 256 MB */

  #endif  /* __CONFIG_5250_H */