18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (c) 2018 Pengutronix, Oleksij Rempel <o.rempel@pengutronix.de> 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci#include <linux/kernel.h> 78c2ecf20Sopenharmony_ci#include <asm/v7m.h> 88c2ecf20Sopenharmony_ci#include <asm/mach/arch.h> 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_cistatic const char * const imx7d_cm4_dt_compat[] __initconst = { 118c2ecf20Sopenharmony_ci "fsl,imx7d-cm4", 128c2ecf20Sopenharmony_ci NULL, 138c2ecf20Sopenharmony_ci}; 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ciDT_MACHINE_START(IMX7D, "Freescale i.MX7 Dual Cortex-M4 (Device Tree)") 168c2ecf20Sopenharmony_ci .dt_compat = imx7d_cm4_dt_compat, 178c2ecf20Sopenharmony_ci .restart = armv7m_restart, 188c2ecf20Sopenharmony_ciMACHINE_END 19