1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Copyright (c) 2018 Pengutronix, Oleksij Rempel <o.rempel@pengutronix.de>
4  */
5 
6 #include <linux/kernel.h>
7 #include <asm/v7m.h>
8 #include <asm/mach/arch.h>
9 
10 static const char * const imx7d_cm4_dt_compat[] __initconst = {
11 	"fsl,imx7d-cm4",
12 	NULL,
13 };
14 
15 DT_MACHINE_START(IMX7D, "Freescale i.MX7 Dual Cortex-M4 (Device Tree)")
16 	.dt_compat = imx7d_cm4_dt_compat,
17 	.restart = armv7m_restart,
18 MACHINE_END
19