1 /* 2 * Copyright (C) 2013 Samsung Electronics 3 * 4 * Configuration settings for the SAMSUNG EXYNOS5420 SoC 5 * 6 * SPDX-License-Identifier: GPL-2.0+ 7 */ 8 9 #ifndef __CONFIG_EXYNOS5420_H 10 #define __CONFIG_EXYNOS5420_H 11 12 #define CONFIG_EXYNOS5420 13 /* A variant of Exynos5420 (Exynos5 Family) */ 14 #define CONFIG_EXYNOS5800 15 16 #include <configs/exynos5-common.h> 17 18 #define CONFIG_ARCH_EARLY_INIT_R 19 20 #define MACH_TYPE_SMDK5420 8002 21 #define CONFIG_MACH_TYPE MACH_TYPE_SMDK5420 22 23 #define CONFIG_VAR_SIZE_SPL 24 25 #ifdef CONFIG_VAR_SIZE_SPL 26 #define CONFIG_SPL_TEXT_BASE 0x02024410 27 #else 28 #define CONFIG_SPL_TEXT_BASE 0x02024400 29 #endif 30 #define CONFIG_IRAM_TOP 0x02074000 31 32 #define CONFIG_SPL_MAX_FOOTPRINT (30 * 1024) 33 34 #define CONFIG_DEVICE_TREE_LIST "exynos5800-peach-pi" \ 35 "exynos5420-peach-pit exynos5420-smdk5420" 36 37 #define CONFIG_MAX_I2C_NUM 11 38 39 #define CONFIG_BOARD_REV_GPIO_COUNT 2 40 41 #endif /* __CONFIG_EXYNOS5420_H */ 42