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
9static const char * const imx31_dt_board_compat[] __initconst = {
10	"fsl,imx31",
11	NULL
12};
13
14DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)")
15	.map_io		= mx31_map_io,
16	.init_early	= imx31_init_early,
17	.dt_compat	= imx31_dt_board_compat,
18MACHINE_END
19