include/configs/stm32f746-disco.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2016, STMicroelectronics - All Rights Reserved
   4  * Author(s): Vikas Manocha, <vikas.manocha@st.com> for STMicroelectronics.
   5  */
   6
   7 #ifndef __CONFIG_H
   8 #define __CONFIG_H
   9
  10 #include <linux/sizes.h>
  11
  12 /* For booting Linux, use the first 6MB of memory */
  13 #define CONFIG_SYS_BOOTMAPSZ            SZ_4M + SZ_2M
  14
  15 #define CONFIG_SYS_FLASH_BASE           0x08000000
  16
  17 /*
  18  * Configuration of the external SDRAM memory
  19  */
  20
  21 #define CONFIG_SYS_HZ_CLOCK             1000000 /* Timer is clocked at 1MHz */
  22
  23 #define BOOT_TARGET_DEVICES(func) \
  24         func(MMC, mmc, 0)
  25
  26 #include <config_distro_bootcmd.h>
  27 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  28                         "kernel_addr_r=0xC0008000\0"            \
  29                         "fdtfile="CONFIG_DEFAULT_DEVICE_TREE".dtb\0"    \
  30                         "fdt_addr_r=0xC0408000\0"               \
  31                         "scriptaddr=0xC0418000\0"               \
  32                         "pxefile_addr_r=0xC0428000\0" \
  33                         "ramdisk_addr_r=0xC0438000\0"           \
  34                         BOOTENV
  35
  36 #define CONFIG_SYS_MONITOR_LEN          (512 * 1024)
  37 #define CONFIG_SYS_UBOOT_BASE           (CONFIG_SYS_FLASH_BASE + \
  38                                          CONFIG_SPL_PAD_TO)
  39
  40 /* For splashcreen */
  41
  42 #endif /* __CONFIG_H */