1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2016, STMicroelectronics - All Rights Reserved 4 * Author(s): Vikas Manocha, <vikas.manocha@st.com> for STMicroelectronics. 5 */ 6 7#ifndef __CONFIG_H 8#define __CONFIG_H 9 10#include <linux/sizes.h> 11 12/* For booting Linux, use the first 6MB of memory */ 13#define CFG_SYS_BOOTMAPSZ SZ_4M + SZ_2M 14 15#define CFG_SYS_FLASH_BASE 0x08000000 16 17/* 18 * Configuration of the external SDRAM memory 19 */ 20 21#define CFG_SYS_HZ_CLOCK 1000000 /* Timer is clocked at 1MHz */ 22 23#define BOOT_TARGET_DEVICES(func) \ 24 func(MMC, mmc, 0) 25 26#define STM32F746_BOARD_EXTRA_ENV \ 27 "splashimage=0xC0448000\0" \ 28 "splashpos=m,m\0" 29 30#include <config_distro_bootcmd.h> 31#define CFG_EXTRA_ENV_SETTINGS \ 32 "kernel_addr_r=0xC0008000\0" \ 33 "fdtfile="CONFIG_DEFAULT_DEVICE_TREE".dtb\0" \ 34 "fdt_addr_r=0xC0408000\0" \ 35 "scriptaddr=0xC0418000\0" \ 36 "pxefile_addr_r=0xC0428000\0" \ 37 "ramdisk_addr_r=0xC0438000\0" \ 38 BOOTENV \ 39 STM32F746_BOARD_EXTRA_ENV 40 41#define CFG_SYS_UBOOT_BASE (CFG_SYS_FLASH_BASE + \ 42 CONFIG_SPL_PAD_TO) 43 44#endif /* __CONFIG_H */ 45