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