Uwe Kleine-König | 6d85e2b | 2011-11-17 14:36:23 +0100 | [diff] [blame] | 1 | #include <linux/kernel.h> |
2 | |||||
3 | #include <asm/v7m.h> | ||||
4 | |||||
5 | #include <asm/mach/arch.h> | ||||
6 | |||||
7 | static const char *const efm32gg_compat[] __initconst = { | ||||
8 | "efm32,dk3750", | ||||
9 | NULL | ||||
10 | }; | ||||
11 | |||||
12 | DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)") | ||||
13 | .dt_compat = efm32gg_compat, | ||||
14 | .restart = armv7m_restart, | ||||
15 | MACHINE_END |