|  | /* | 
|  | * Copyright 2012 Sascha Hauer, Pengutronix | 
|  | * | 
|  | * The code contained herein is licensed under the GNU General Public | 
|  | * License. You may obtain a copy of the GNU General Public License | 
|  | * Version 2 or later at the following locations: | 
|  | * | 
|  | * http://www.opensource.org/licenses/gpl-license.html | 
|  | * http://www.gnu.org/copyleft/gpl.html | 
|  | */ | 
|  |  | 
|  | #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 |