include/configs/stm32h750-art-pi.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2021, STMicroelectronics - All Rights Reserved
   4  * Author(s): Dillon Min <dillon.minfei@gmail.com>
   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 + SZ_8M)
  15
  16 #define CONFIG_SYS_FLASH_BASE           0x90000000
  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=0xC0008000\0"            \
  26                         "fdtfile=stm32h750i-art-pi.dtb\0"       \
  27                         "fdt_addr_r=0xC0408000\0"               \
  28                         "scriptaddr=0xC0418000\0"               \
  29                         "pxefile_addr_r=0xC0428000\0" \
  30                         "ramdisk_addr_r=0xC0438000\0"           \
  31                         BOOTENV
  32
  33 #endif /* __CONFIG_H */