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,