1// SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause) 2/* 3 * Copyright (c) 2021, STMicroelectronics - All Rights Reserved 4 */ 5 6#include <common/tbbr/tbbr_img_def.h> 7 8#include <platform_def.h> 9 10/dts-v1/; 11 12/ { 13 dtb-registry { 14 compatible = "fconf,dyn_cfg-dtb_registry"; 15 16 hw-config { 17 load-address = <0x0 STM32MP_HW_CONFIG_BASE>; 18 max-size = <STM32MP_HW_CONFIG_MAX_SIZE>; 19 id = <HW_CONFIG_ID>; 20 }; 21 22 nt_fw { 23 load-address = <0x0 STM32MP_BL33_BASE>; 24 max-size = <STM32MP_BL33_MAX_SIZE>; 25 id = <BL33_IMAGE_ID>; 26 }; 27 28#ifdef AARCH32_SP_OPTEE 29 tos_fw { 30 load-address = <0x0 STM32MP_OPTEE_BASE>; 31 max-size = <STM32MP_OPTEE_SIZE>; 32 id = <BL32_IMAGE_ID>; 33 }; 34#else 35 tos_fw { 36 load-address = <0x0 STM32MP_BL32_BASE>; 37 max-size = <STM32MP_BL32_SIZE>; 38 id = <BL32_IMAGE_ID>; 39 }; 40 41 tos_fw-config { 42 load-address = <0x0 STM32MP_BL32_DTB_BASE>; 43 max-size = <STM32MP_BL32_DTB_SIZE>; 44 id = <TOS_FW_CONFIG_ID>; 45 }; 46#endif 47 }; 48}; 49