1// SPDX-License-Identifier: (GPL-2.0-only OR BSD-3-Clause) 2/* 3 * Copyright (c) 2024, 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 soc_fw { 29 load-address = <0x0 STM32MP_SYSRAM_BASE>; 30 max-size = <STM32MP_BL31_SIZE>; 31 id = <BL31_IMAGE_ID>; 32 }; 33 34 soc_fw-config { 35 id = <SOC_FW_CONFIG_ID>; 36 }; 37 38 tos_fw { 39 id = <BL32_IMAGE_ID>; 40 }; 41 }; 42}; 43