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