include/configs/stm32h743-disco.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2017, STMicroelectronics - All Rights Reserved
   4  * Author(s): Patrice Chotard, <patrice.chotard@st.com> for STMicroelectronics.
   5  */
   6
   7 #ifndef __CONFIG_H
   8 #define __CONFIG_H
   9
  10 #include <config.h>
  11 #include <linux/sizes.h>
  12
  13 /* For booting Linux, use the first 16MB of memory */
  14 #define CONFIG_SYS_BOOTMAPSZ            SZ_16M
  15
  16 #define CONFIG_SYS_FLASH_BASE           0x08000000
  17 #define CONFIG_SYS_INIT_SP_ADDR         0x24040000
  18
  19 /*
  20  * Configuration of the external SDRAM memory
  21  */
  22 #define CONFIG_SYS_LOAD_ADDR            0xD0400000
  23 #define CONFIG_LOADADDR                 0xD0400000
  24
  25 #define CONFIG_SYS_HZ_CLOCK             1000000
  26
  27 #define CONFIG_CMDLINE_TAG
  28 #define CONFIG_SETUP_MEMORY_TAGS
  29 #define CONFIG_INITRD_TAG
  30 #define CONFIG_REVISION_TAG
  31
  32 #define CONFIG_SYS_MAXARGS              16
  33 #define CONFIG_SYS_MALLOC_LEN           (1 * 1024 * 1024)
  34
  35 #define BOOT_TARGET_DEVICES(func) \
  36         func(MMC, mmc, 0)
  37
  38 #include <config_distro_bootcmd.h>
  39 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  40                         "kernel_addr_r=0xD0008000\0"            \
  41                         "fdtfile=stm32h743i-disco.dtb\0"        \
  42                         "fdt_addr_r=0xD0408000\0"               \
  43                         "scriptaddr=0xD0418000\0"               \
  44                         "pxefile_addr_r=0xD0428000\0" \
  45                         "ramdisk_addr_r=0xD0438000\0"           \
  46                         BOOTENV
  47
  48 /*
  49  * Command line configuration.
  50  */
  51 #define CONFIG_BOARD_LATE_INIT
  52
  53 #endif /* __CONFIG_H */