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