1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2021, STMicroelectronics - All Rights Reserved
4 * Author(s): Dillon Min <dillon.minfei@gmail.com>
5 */
6
7#ifndef __CONFIG_H
8#define __CONFIG_H
9
10#include <config.h>
11#include <linux/sizes.h>
12
13/* For booting Linux, use the first 16MB of memory */
14#define CFG_SYS_BOOTMAPSZ		(SZ_16M + SZ_8M)
15
16#define CFG_SYS_FLASH_BASE		0x90000000
17
18#define CFG_SYS_HZ_CLOCK		1000000
19
20#define BOOT_TARGET_DEVICES(func) \
21	func(MMC, mmc, 0)
22
23#include <config_distro_bootcmd.h>
24#define CFG_EXTRA_ENV_SETTINGS				\
25			"kernel_addr_r=0xC0008000\0"		\
26			"fdtfile=stm32h750i-art-pi.dtb\0"	\
27			"fdt_addr_r=0xC0408000\0"		\
28			"scriptaddr=0xC0418000\0"		\
29			"pxefile_addr_r=0xC0428000\0" \
30			"ramdisk_addr_r=0xC0438000\0"		\
31			BOOTENV
32
33#endif /* __CONFIG_H */
34