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 ESDHCI_QUIRK_BROKEN_TIMEOUT_VALUE 1
16 #define PHYS_SDRAM 0x80000000
17 #define PHYS_SDRAM_SIZE (32 * 1024 * 1024)
19 #define DMAMEM_SZ_ALL (1 * 1024 * 1024)
20 #define DMAMEM_BASE (PHYS_SDRAM + PHYS_SDRAM_SIZE - \
23 #ifdef CONFIG_DM_VIDEO
24 #define CONFIG_EXTRA_ENV_SETTINGS \
26 "stdout=serial,vidconsole\0" \
27 "stderr=serial,vidconsole\0"
31 * Configuration of the external SDRAM memory
35 #ifdef CONFIG_SUPPORT_SPL
36 #define CONFIG_SPL_STACK CONFIG_SYS_INIT_SP_ADDR
37 #define CONFIG_SYS_SPL_LEN 0x00008000
38 #define CONFIG_SYS_UBOOT_START 0x800023FD
42 #endif /* __IMXRT1050_EVK_H */