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 "stm32mp25-fw-config.dtsi"
7#include "stm32mp257f-ev1-ca35tdcid-fw-config.dtsi"
8