1// SPDX-License-Identifier: (GPL-2.0-only OR BSD-3-Clause) 2/* 3 * Copyright (c) 2026, STMicroelectronics - All Rights Reserved 4 */ 5 6#include "stm32mp25-fw-config.dtsi" 7