1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Copyright (C) 2019
4  * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
5  */
6 
7 #include <linux/kernel.h>
8 #include <asm/mach/arch.h>
9 #include <asm/v7m.h>
10 
11 static const char *const imxrt_compat[] __initconst = {
12 	"fsl,imxrt1050",
13 	NULL
14 };
15 
16 DT_MACHINE_START(IMXRTDT, "IMXRT (Device Tree Support)")
17 	.dt_compat = imxrt_compat,
18 	.restart = armv7m_restart,
19 MACHINE_END
20