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 |