| xj | b04a402 | 2021-11-25 15:01:52 +0800 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
| 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 | ||||