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
11static const char *const imxrt_compat[] __initconst = {
12	"fsl,imxrt1050",
13	NULL
14};
15
16DT_MACHINE_START(IMXRTDT, "IMXRT (Device Tree Support)")
17	.dt_compat = imxrt_compat,
18	.restart = armv7m_restart,
19MACHINE_END

 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
11static const char *const imxrt_compat[] __initconst = {
12	"fsl,imxrt1050",
13	NULL
14};
15
16DT_MACHINE_START(IMXRTDT, "IMXRT (Device Tree Support)")
17	.dt_compat = imxrt_compat,
18	.restart = armv7m_restart,
19MACHINE_END