include/configs/imxrt1050-evk.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2019
   4  * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
   5  */
   6
   7 #ifndef __IMXRT1050_EVK_H
   8 #define __IMXRT1050_EVK_H
   9
  10 #include <asm/arch/imx-regs.h>
  11
  12 #define CONFIG_SYS_INIT_SP_ADDR         0x20280000
  13
  14 #ifdef CONFIG_SUPPORT_SPL
  15 #define CONFIG_SYS_LOAD_ADDR            0x20209000
  16 #else
  17 #define CONFIG_SYS_LOAD_ADDR            0x80000000
  18 #define CONFIG_LOADADDR                 0x80000000
  19 #endif
  20
  21 #define CONFIG_SYS_FSL_ERRATUM_ESDHC135         1
  22 #define ESDHCI_QUIRK_BROKEN_TIMEOUT_VALUE       1
  23
  24 #define PHYS_SDRAM                      0x80000000
  25 #define PHYS_SDRAM_SIZE                 (32 * 1024 * 1024)
  26
  27 #define DMAMEM_SZ_ALL                   (1 * 1024 * 1024)
  28 #define DMAMEM_BASE                     (PHYS_SDRAM + PHYS_SDRAM_SIZE - \
  29                                          DMAMEM_SZ_ALL)
  30
  31 #ifdef CONFIG_DM_VIDEO
  32 #define CONFIG_VIDEO_MXS
  33 #define CONFIG_VIDEO_LOGO
  34 #define CONFIG_VIDEO_BMP_LOGO
  35
  36 #define CONFIG_EXTRA_ENV_SETTINGS \
  37                 "stdin=serial\0" \
  38                 "stdout=serial,vidconsole\0" \
  39                 "stderr=serial,vidconsole\0"
  40 #endif
  41
  42 /*
  43  * Configuration of the external SDRAM memory
  44  */
  45 #define CONFIG_SYS_MALLOC_LEN           (1 * 1024 * 1024)
  46
  47 /* For SPL */
  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
  52 #endif
  53 /* For SPL ends */
  54
  55 #endif /* __IMXRT1050_EVK_H */