| 1 | // SPDX-License-Identifier: GPL-2.0 |
|---|---|
| 2 | /* |
| 3 | * Copyright (C) 2019 |
| 4 | * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com> |
| 5 | */ |
| 6 | |
| 7 | #include <linux/kernel.h> |
| 8 | #include <asm/mach/arch.h> |
| 9 | #include <asm/v7m.h> |
| 10 | |
| 11 | static const char *const imxrt_compat[] __initconst = { |
| 12 | "fsl,imxrt1050", |
| 13 | NULL |
| 14 | }; |
| 15 | |
| 16 | DT_MACHINE_START(IMXRTDT, "IMXRT (Device Tree Support)") |
| 17 | .dt_compat = imxrt_compat, |
| 18 | .restart = armv7m_restart, |
| 19 | MACHINE_END |
| 20 |