1/*
2 * Copyright 2012 Steffen Trumtrar, Pengutronix
3 *
4 * based on imx27-dt.c
5 *
6 * This program is free software; you can redistribute it and/or modify it under
7 * the terms of the GNU General Public License version 2 as published by the
8 * Free Software Foundation.
9 */
10
11#include <linux/irq.h>
12#include <linux/irqdomain.h>
13#include <linux/of_irq.h>
14#include <linux/of_platform.h>
15#include <linux/clk-provider.h>
16#include <linux/clocksource.h>
17#include <asm/mach/arch.h>
18#include <asm/mach/time.h>
19#include <asm/hardware/cache-l2x0.h>
20#include "common.h"
21#include "mx35.h"
22
23static void __init imx35_irq_init(void)
24{
25	imx_init_l2cache();
26	mx35_init_irq();
27}
28
29static const char * const imx35_dt_board_compat[] __initconst = {
30	"fsl,imx35",
31	NULL
32};
33
34DT_MACHINE_START(IMX35_DT, "Freescale i.MX35 (Device Tree Support)")
35	.map_io		= mx35_map_io,
36	.init_early	= imx35_init_early,
37	.init_irq	= imx35_irq_init,
38	.dt_compat	= imx35_dt_board_compat,
39MACHINE_END
40