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 #define CONFIG_SYS_FSL_ERRATUM_ESDHC135 1
15 #define ESDHCI_QUIRK_BROKEN_TIMEOUT_VALUE 1
17 #define PHYS_SDRAM 0x80000000
18 #define PHYS_SDRAM_SIZE (32 * 1024 * 1024)
20 #define DMAMEM_SZ_ALL (1 * 1024 * 1024)
21 #define DMAMEM_BASE (PHYS_SDRAM + PHYS_SDRAM_SIZE - \
24 #ifdef CONFIG_DM_VIDEO
25 #define CONFIG_VIDEO_MXS
26 #define CONFIG_VIDEO_LOGO
27 #define CONFIG_VIDEO_BMP_LOGO
29 #define CONFIG_EXTRA_ENV_SETTINGS \
31 "stdout=serial,vidconsole\0" \
32 "stderr=serial,vidconsole\0"
36 * Configuration of the external SDRAM memory
40 #ifdef CONFIG_SUPPORT_SPL
41 #define CONFIG_SPL_STACK CONFIG_SYS_INIT_SP_ADDR
42 #define CONFIG_SYS_SPL_LEN 0x00008000
43 #define CONFIG_SYS_UBOOT_START 0x800023FD
47 #endif /* __IMXRT1050_EVK_H */