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