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@foss.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
  18 #define CONFIG_SYS_HZ_CLOCK             1000000
  19
  20 #define BOOT_TARGET_DEVICES(func) \
  21         func(MMC, mmc, 0)
  22
  23 #include <config_distro_bootcmd.h>
  24 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  25                         "kernel_addr_r=0xD0008000\0"            \
  26                         "fdtfile=stm32h743i-disco.dtb\0"        \
  27                         "fdt_addr_r=0xD0408000\0"               \
  28                         "scriptaddr=0xD0418000\0"               \
  29                         "pxefile_addr_r=0xD0428000\0" \
  30                         "ramdisk_addr_r=0xD0438000\0"           \
  31                         BOOTENV
  32
  33 #endif /* __CONFIG_H */