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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.