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