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 |