1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 3 /* 4 * Copyright (C) 2012 Samsung Electronics 5 * 6 * Configuration settings for the SAMSUNG EXYNOS5250 board. 7 */ 8 9 #ifndef __CONFIG_5250_H 10 #define __CONFIG_5250_H 11 12 #define CONFIG_EXYNOS5250 13 14 #define CONFIG_SYS_SDRAM_BASE 0x40000000 15 16 #define CONFIG_MACH_TYPE MACH_TYPE_SMDK5250 17 18 #define CONFIG_SPL_MAX_FOOTPRINT (14 * 1024) 19 20 #define CONFIG_IRAM_STACK 0x02050000 21 22 #define CONFIG_SYS_INIT_SP_ADDR CONFIG_IRAM_STACK 23 24 /* USB */ 25 #define CONFIG_USB_EHCI_EXYNOS 26 27 #define CONFIG_USB_XHCI_EXYNOS 28 29 /* DRAM Memory Banks */ 30 #define SDRAM_BANK_SIZE (256UL << 20UL) /* 256 MB */ 31 32 #endif /* __CONFIG_5250_H */ 33