3 * Copyright (C) 2012 Samsung Electronics
5 * Configuration settings for the SAMSUNG EXYNOS5250 board.
7 * SPDX-License-Identifier: GPL-2.0+
10 #ifndef __CONFIG_5250_H
11 #define __CONFIG_5250_H
13 #define CONFIG_EXYNOS5250
15 #define CONFIG_SYS_SDRAM_BASE 0x40000000
17 #define CONFIG_MACH_TYPE MACH_TYPE_SMDK5250
19 #define CONFIG_SPL_MAX_FOOTPRINT (14 * 1024)
21 #define CONFIG_SPL_TEXT_BASE 0x02023400
23 #define CONFIG_IRAM_STACK 0x02050000
25 #define CONFIG_SYS_INIT_SP_ADDR CONFIG_IRAM_STACK
28 #define CONFIG_USB_EHCI_EXYNOS
30 #define CONFIG_USB_XHCI_EXYNOS
32 /* DRAM Memory Banks */
33 #define CONFIG_NR_DRAM_BANKS 8
34 #define SDRAM_BANK_SIZE (256UL << 20UL) /* 256 MB */
36 #endif /* __CONFIG_5250_H */