1 /* SPDX-License-Identifier: GPL-2.0+ */
4 * Copyright (C) 2012 Samsung Electronics
6 * Configuration settings for the SAMSUNG EXYNOS5250 board.
9 #ifndef __CONFIG_5250_H
10 #define __CONFIG_5250_H
12 #define CONFIG_EXYNOS5250
14 #define CONFIG_SYS_SDRAM_BASE 0x40000000
16 #define CONFIG_MACH_TYPE MACH_TYPE_SMDK5250
18 #define CONFIG_SPL_MAX_FOOTPRINT (14 * 1024)
20 #define CONFIG_SPL_TEXT_BASE 0x02023400
22 #define CONFIG_IRAM_STACK 0x02050000
24 #define CONFIG_SYS_INIT_SP_ADDR CONFIG_IRAM_STACK
27 #define CONFIG_USB_EHCI_EXYNOS
29 #define CONFIG_USB_XHCI_EXYNOS
31 /* DRAM Memory Banks */
32 #define SDRAM_BANK_SIZE (256UL << 20UL) /* 256 MB */
34 #endif /* __CONFIG_5250_H */