// SPDX-License-Identifier: GPL-2.0-or-later /* * Copyright 2012 Sascha Hauer, Pengutronix */ #include <asm/mach/arch.h> #include "common.h" static const char * const imx31_dt_board_compat[] __initconst = { "fsl,imx31", NULL }; DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)") .map_io = mx31_map_io, .init_early = imx31_init_early, .init_irq = mx31_init_irq, .dt_compat = imx31_dt_board_compat, MACHINE_END