// SPDX-License-Identifier: (GPL-2.0-only OR BSD-3-Clause)
/*
 * Copyright (c) 2024, STMicroelectronics - All Rights Reserved
 */

#include "stm32mp25-fw-config.dtsi"
#include "stm32mp257f-ev1-ca35tdcid-fw-config.dtsi"