1 // SPDX-License-Identifier: GPL-2.0
4 * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
7 #include <linux/kernel.h>
8 #include <asm/mach/arch.h>
11 static const char *const imxrt_compat
[] __initconst
= {
16 DT_MACHINE_START(IMXRTDT
, "IMXRT (Device Tree Support)")
17 .dt_compat
= imxrt_compat
,
18 .restart
= armv7m_restart
,