1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright 2012 Sascha Hauer, Pengutronix
6 #include <asm/mach/arch.h>
9 static const char * const imx31_dt_board_compat
[] __initconst
= {
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
,