include/configs/stm32h743-disco.h

   1 /*
   2  * Copyright (C) 2017, STMicroelectronics - All Rights Reserved
   3  * Author(s): Patrice Chotard, <patrice.chotard@st.com> for STMicroelectronics.
   4  *
   5  * SPDX-License-Identifier:     GPL-2.0+
   6  */
   7
   8 #ifndef __CONFIG_H
   9 #define __CONFIG_H
  10
  11 #include <config.h>
  12
  13 #define CONFIG_SYS_FLASH_BASE           0x08000000
  14 #define CONFIG_SYS_INIT_SP_ADDR         0x24040000
  15
  16 /*
  17  * Configuration of the external SDRAM memory
  18  */
  19 #define CONFIG_NR_DRAM_BANKS            1
  20 #define CONFIG_SYS_RAM_BASE             0xD0000000
  21 #define CONFIG_SYS_SDRAM_BASE           CONFIG_SYS_RAM_BASE
  22 #define CONFIG_SYS_LOAD_ADDR            0xD0400000
  23 #define CONFIG_LOADADDR                 0xD0400000
  24
  25 #define CONFIG_ENV_SIZE                 (8 << 10)
  26
  27 #define CONFIG_SYS_ARCH_TIMER
  28 #define CONFIG_SYS_HZ_CLOCK             250000000
  29
  30 #define CONFIG_CMDLINE_TAG
  31 #define CONFIG_SETUP_MEMORY_TAGS
  32 #define CONFIG_INITRD_TAG
  33 #define CONFIG_REVISION_TAG
  34
  35 #define CONFIG_SYS_MAXARGS              16
  36 #define CONFIG_SYS_MALLOC_LEN           (1 * 1024 * 1024)
  37
  38 #define CONFIG_BOOTARGS                                                 \
  39         "console=ttyS0,115200 earlyprintk consoleblank=0 ignore_loglevel"
  40
  41 /*
  42  * Command line configuration.
  43  */
  44 #define CONFIG_CMD_CACHE
  45 #define CONFIG_BOARD_LATE_INIT
  46
  47 #endif /* __CONFIG_H */