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 ESDHCI_QUIRK_BROKEN_TIMEOUT_VALUE 1
14 #define PHYS_SDRAM 0x80000000
15 #define PHYS_SDRAM_SIZE (32 * 1024 * 1024)
17 #define DMAMEM_SZ_ALL (1 * 1024 * 1024)
18 #define DMAMEM_BASE (PHYS_SDRAM + PHYS_SDRAM_SIZE - \
21 #ifdef CONFIG_DM_VIDEO
22 #define CONFIG_EXTRA_ENV_SETTINGS \
24 "stdout=serial,vidconsole\0" \
25 "stderr=serial,vidconsole\0"
29 * Configuration of the external SDRAM memory
32 #define CONFIG_SYS_UBOOT_START 0x800023FD
34 #endif /* __IMXRT1050_EVK_H */