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