| // SPDX-License-Identifier: GPL-2.0 | |
| /* | |
| * Copyright (C) 2019 | |
| * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com> | |
| */ | |
| #include <linux/kernel.h> | |
| #include <asm/mach/arch.h> | |
| #include <asm/v7m.h> | |
| static const char *const imxrt_compat[] __initconst = { | |
| "fsl,imxrt1050", | |
| NULL | |
| }; | |
| DT_MACHINE_START(IMXRTDT, "IMXRT (Device Tree Support)") | |
| .dt_compat = imxrt_compat, | |
| .restart = armv7m_restart, | |
| MACHINE_END |