1 /* SPDX-License-Identifier: GPL-2.0+ */
4 * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
7 #ifndef __IMXRT1050_EVK_H
8 #define __IMXRT1050_EVK_H
10 #include <asm/arch/imx-regs.h>
12 #define CONFIG_SYS_INIT_SP_ADDR 0x20280000
14 #ifdef CONFIG_SUPPORT_SPL
15 #define CONFIG_SYS_LOAD_ADDR 0x20209000
17 #define CONFIG_SYS_LOAD_ADDR 0x80000000
18 #define CONFIG_LOADADDR 0x80000000
21 #define CONFIG_SYS_FSL_ERRATUM_ESDHC135 1
22 #define ESDHCI_QUIRK_BROKEN_TIMEOUT_VALUE 1
24 #define PHYS_SDRAM 0x80000000
25 #define PHYS_SDRAM_SIZE (32 * 1024 * 1024)
27 #define DMAMEM_SZ_ALL (1 * 1024 * 1024)
28 #define DMAMEM_BASE (PHYS_SDRAM + PHYS_SDRAM_SIZE - \
31 #ifdef CONFIG_DM_VIDEO
32 #define CONFIG_VIDEO_MXS
33 #define CONFIG_VIDEO_LOGO
34 #define CONFIG_VIDEO_BMP_LOGO
36 #define CONFIG_EXTRA_ENV_SETTINGS \
38 "stdout=serial,vidconsole\0" \
39 "stderr=serial,vidconsole\0"
43 * Configuration of the external SDRAM memory
45 #define CONFIG_SYS_MALLOC_LEN (1 * 1024 * 1024)
48 #ifdef CONFIG_SUPPORT_SPL
49 #define CONFIG_SPL_STACK CONFIG_SYS_INIT_SP_ADDR
50 #define CONFIG_SYS_SPL_LEN 0x00008000
51 #define CONFIG_SYS_UBOOT_START 0x800023FD
55 #endif /* __IMXRT1050_EVK_H */