1 /*
2  * Copyright 2012 Sascha Hauer, Pengutronix
3  *
4  * The code contained herein is licensed under the GNU General Public
5  * License. You may obtain a copy of the GNU General Public License
6  * Version 2 or later at the following locations:
7  *
8  * http://www.opensource.org/licenses/gpl-license.html
9  * http://www.gnu.org/copyleft/gpl.html
10  */
11 
12 #include <asm/mach/arch.h>
13 #include "common.h"
14 
15 static const char * const imx31_dt_board_compat[] __initconst = {
16 	"fsl,imx31",
17 	NULL
18 };
19 
20 DT_MACHINE_START(IMX31_DT, "Freescale i.MX31 (Device Tree Support)")
21 	.map_io		= mx31_map_io,
22 	.init_early	= imx31_init_early,
23 	.init_irq	= mx31_init_irq,
24 	.dt_compat	= imx31_dt_board_compat,
25 MACHINE_END
26