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

 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