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