1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (c) 2018 Pengutronix, Oleksij Rempel <o.rempel@pengutronix.de>
6 #include <linux/kernel.h>
8 #include <asm/mach/arch.h>
10 static const char * const imx7d_cm4_dt_compat
[] __initconst
= {
15 DT_MACHINE_START(IMX7D
, "Freescale i.MX7 Dual Cortex-M4 (Device Tree)")
16 .dt_compat
= imx7d_cm4_dt_compat
,
17 .restart
= armv7m_restart
,