• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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