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_MAX_FLASH_SECT       8
  22
  23 #define CONFIG_DW_GMAC_DEFAULT_DMA_PBL  (8)
  24 #define CONFIG_DW_ALTDESCRIPTOR
  25
  26 #define CONFIG_SYS_HZ_CLOCK             1000000 /* Timer is clocked at 1MHz */
  27
  28 #define BOOT_TARGET_DEVICES(func) \
  29         func(MMC, mmc, 0)
  30
  31 #include <config_distro_bootcmd.h>
  32 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  33                         "kernel_addr_r=0xC0008000\0"            \
  34                         "fdtfile="CONFIG_DEFAULT_DEVICE_TREE".dtb\0"    \
  35                         "fdt_addr_r=0xC0408000\0"               \
  36                         "scriptaddr=0xC0418000\0"               \
  37                         "pxefile_addr_r=0xC0428000\0" \
  38                         "ramdisk_addr_r=0xC0438000\0"           \
  39                         BOOTENV
  40
  41 #define CONFIG_SYS_MONITOR_LEN          (512 * 1024)
  42 #define CONFIG_SYS_UBOOT_START          0x080083FD
  43 #define CONFIG_SYS_UBOOT_BASE           (CONFIG_SYS_FLASH_BASE + \
  44                                          CONFIG_SPL_PAD_TO)
  45
  46 /* For splashcreen */
  47
  48 #endif /* __CONFIG_H */