| /* |
| * Setup code for AT91RM9200 Evaluation Kits with Device Tree support |
| * |
| * Copyright (C) 2011 Atmel, |
| * 2011 Nicolas Ferre <nicolas.ferre@atmel.com> |
| * 2012 Joachim Eastwood <manabian@gmail.com> |
| * |
| * Licensed under GPLv2 or later. |
| */ |
| |
| #include <linux/types.h> |
| #include <linux/init.h> |
| #include <linux/module.h> |
| #include <linux/gpio.h> |
| #include <linux/of.h> |
| #include <linux/of_irq.h> |
| #include <linux/clk-provider.h> |
| |
| #include <asm/setup.h> |
| #include <asm/irq.h> |
| #include <asm/mach/arch.h> |
| #include <asm/mach/map.h> |
| #include <asm/mach/irq.h> |
| |
| #include "generic.h" |
| |
| static void __init at91rm9200_dt_timer_init(void) |
| { |
| of_clk_init(NULL); |
| at91rm9200_timer_init(); |
| } |
| |
| static const char *at91rm9200_dt_board_compat[] __initdata = { |
| "atmel,at91rm9200", |
| NULL |
| }; |
| |
| DT_MACHINE_START(at91rm9200_dt, "Atmel AT91RM9200 (Device Tree)") |
| .init_time = at91rm9200_dt_timer_init, |
| .map_io = at91_map_io, |
| .init_early = at91rm9200_dt_initialize, |
| .dt_compat = at91rm9200_dt_board_compat, |
| MACHINE_END |