uboot/include/configs/stm32h743-disco.h
<<
>>
Prefs
   1/* SPDX-License-Identifier: GPL-2.0+ */
   2/*
   3 * Copyright (C) 2017, STMicroelectronics - All Rights Reserved
   4 * Author(s): Patrice Chotard, <patrice.chotard@st.com> for STMicroelectronics.
   5 */
   6
   7#ifndef __CONFIG_H
   8#define __CONFIG_H
   9
  10#include <config.h>
  11
  12#define CONFIG_SYS_FLASH_BASE           0x08000000
  13#define CONFIG_SYS_INIT_SP_ADDR         0x24040000
  14
  15/*
  16 * Configuration of the external SDRAM memory
  17 */
  18#define CONFIG_SYS_LOAD_ADDR            0xD0400000
  19#define CONFIG_LOADADDR                 0xD0400000
  20
  21#define CONFIG_ENV_SIZE                 (8 << 10)
  22
  23#define CONFIG_SYS_HZ_CLOCK             1000000
  24
  25#define CONFIG_CMDLINE_TAG
  26#define CONFIG_SETUP_MEMORY_TAGS
  27#define CONFIG_INITRD_TAG
  28#define CONFIG_REVISION_TAG
  29
  30#define CONFIG_SYS_MAXARGS              16
  31#define CONFIG_SYS_MALLOC_LEN           (1 * 1024 * 1024)
  32
  33#define BOOT_TARGET_DEVICES(func) \
  34        func(MMC, mmc, 0)
  35
  36#include <config_distro_bootcmd.h>
  37#define CONFIG_EXTRA_ENV_SETTINGS                               \
  38                        "kernel_addr_r=0xD0008000\0"            \
  39                        "fdtfile=stm32h743i-disco.dtb\0"        \
  40                        "fdt_addr_r=0xD0700000\0"               \
  41                        "scriptaddr=0xD0800000\0"               \
  42                        "pxefile_addr_r=0xD0800000\0" \
  43                        "fdt_high=0xffffffffffffffff\0"         \
  44                        "initrd_high=0xffffffffffffffff\0"      \
  45                        "ramdisk_addr_r=0xD0900000\0"           \
  46                        BOOTENV
  47
  48/*
  49 * Command line configuration.
  50 */
  51#define CONFIG_BOARD_LATE_INIT
  52
  53#endif /* __CONFIG_H */
  54