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
16