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 #define CONFIG_SYS_INIT_SP_ADDR         0x20050000
  17
  18 /*
  19  * Configuration of the external SDRAM memory
  20  */
  21
  22 #define CONFIG_SYS_MAX_FLASH_SECT       8
  23 #define CONFIG_SYS_MAX_FLASH_BANKS      1
  24
  25 #define CONFIG_DW_GMAC_DEFAULT_DMA_PBL  (8)
  26 #define CONFIG_DW_ALTDESCRIPTOR
  27
  28 #define CONFIG_SYS_HZ_CLOCK             1000000 /* Timer is clocked at 1MHz */
  29
  30 #define CONFIG_SYS_CBSIZE               1024
  31
  32 #define BOOT_TARGET_DEVICES(func) \
  33         func(MMC, mmc, 0)
  34
  35 #include <config_distro_bootcmd.h>
  36 #define CONFIG_EXTRA_ENV_SETTINGS                               \
  37                         "kernel_addr_r=0xC0008000\0"            \
  38                         "fdtfile=stm32f746-disco.dtb\0" \
  39                         "fdt_addr_r=0xC0408000\0"               \
  40                         "scriptaddr=0xC0418000\0"               \
  41                         "pxefile_addr_r=0xC0428000\0" \
  42                         "ramdisk_addr_r=0xC0438000\0"           \
  43                         BOOTENV
  44
  45 #define CONFIG_DISPLAY_BOARDINFO
  46
  47 /* For SPL */
  48 #ifdef CONFIG_SUPPORT_SPL
  49 #define CONFIG_SPL_STACK                CONFIG_SYS_INIT_SP_ADDR
  50 #define CONFIG_SYS_MONITOR_LEN          (512 * 1024)
  51 #define CONFIG_SYS_SPL_LEN              0x00008000
  52 #define CONFIG_SYS_UBOOT_START          0x080083FD
  53 #define CONFIG_SYS_UBOOT_BASE           (CONFIG_SYS_FLASH_BASE + \
  54                                          CONFIG_SYS_SPL_LEN)
  55
  56 /* DT blob (fdt) address */
  57 #define CONFIG_SYS_FDT_BASE             (CONFIG_SYS_FLASH_BASE + \
  58                                         0x1C0000)
  59 #endif
  60 /* For SPL ends */
  61
  62 /* For splashcreen */
  63
  64 #endif /* __CONFIG_H */