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
10static const char * const imx7d_cm4_dt_compat[] __initconst = {
11	"fsl,imx7d-cm4",
12	NULL,
13};
14
15DT_MACHINE_START(IMX7D, "Freescale i.MX7 Dual Cortex-M4 (Device Tree)")
16	.dt_compat = imx7d_cm4_dt_compat,
17	.restart = armv7m_restart,
18MACHINE_END

 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
10static const char * const imx7d_cm4_dt_compat[] __initconst = {
11	"fsl,imx7d-cm4",
12	NULL,
13};
14
15DT_MACHINE_START(IMX7D, "Freescale i.MX7 Dual Cortex-M4 (Device Tree)")
16	.dt_compat = imx7d_cm4_dt_compat,
17	.restart = armv7m_restart,
18MACHINE_END