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
17