1 // SPDX-License-Identifier: GPL-2.0-or-later 2 /* 3 * Copyright 2012 Sascha Hauer, Pengutronix 4 */ 5 6 #include <asm/mach/arch.h> 7 #include "common.h" 8 9 static const char * const imx31_dt_board_compat[] __initconst = { 10 "fsl,imx31", 11 NULL 12 }; 13 14 DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)") 15 .map_io = mx31_map_io, 16 .init_early = imx31_init_early, 17 .init_irq = mx31_init_irq, 18 .dt_compat = imx31_dt_board_compat, 19 MACHINE_END 20