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