#include <linux/kernel.h>
  
  #include <asm/v7m.h>
  
  #include <asm/mach/arch.h>
  
  static const char *const efm32gg_compat[] __initconst = {
  	"efm32,dk3750",
  	NULL
  };
  
  DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
  	.dt_compat = efm32gg_compat,
  	.restart = armv7m_restart,
  MACHINE_END