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
  12 #define CONFIG_SYS_FLASH_BASE           0x08000000
  13 #define CONFIG_SYS_INIT_SP_ADDR         0x24040000
  14
  15 /*
  16  * Configuration of the external SDRAM memory
  17  */
  18 #define CONFIG_SYS_LOAD_ADDR            0xD0400000
  19 #define CONFIG_LOADADDR                 0xD0400000
  20
  21 #define CONFIG_ENV_SIZE                 (8 << 10)
  22
  23 #define CONFIG_SYS_HZ_CLOCK             1000000
  24
  25 #define CONFIG_CMDLINE_TAG
  26 #define CONFIG_SETUP_MEMORY_TAGS
  27 #define CONFIG_INITRD_TAG
  28 #define CONFIG_REVISION_TAG
  29
  30 #define CONFIG_SYS_MAXARGS              16
  31 #define CONFIG_SYS_MALLOC_LEN           (1 * 1024 * 1024)
  32
  33 #define BOOT_TARGET_DEVICES(func) \
  34         func(MMC, mmc, 0)
  35
  36 #include <config_distro_bootcmd.h>
  37 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  38                         "kernel_addr_r=0xD0008000\0"            \
  39                         "fdtfile=stm32h743i-disco.dtb\0"        \
  40                         "fdt_addr_r=0xD0700000\0"               \
  41                         "scriptaddr=0xD0800000\0"               \
  42                         "pxefile_addr_r=0xD0800000\0" \
  43                         "fdt_high=0xffffffffffffffff\0"         \
  44                         "initrd_high=0xffffffffffffffff\0"      \
  45                         "ramdisk_addr_r=0xD0900000\0"           \
  46                         BOOTENV
  47
  48 /*
  49  * Command line configuration.
  50  */
  51 #define CONFIG_BOARD_LATE_INIT
  52
  53 #endif /* __CONFIG_H */