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