1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0 2*4882a593Smuzhiyun #include <linux/kernel.h> 3*4882a593Smuzhiyun 4*4882a593Smuzhiyun #include <asm/v7m.h> 5*4882a593Smuzhiyun 6*4882a593Smuzhiyun #include <asm/mach/arch.h> 7*4882a593Smuzhiyun 8*4882a593Smuzhiyun static const char *const efm32gg_compat[] __initconst = { 9*4882a593Smuzhiyun "efm32,dk3750", 10*4882a593Smuzhiyun NULL 11*4882a593Smuzhiyun }; 12*4882a593Smuzhiyun 13*4882a593Smuzhiyun DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)") 14*4882a593Smuzhiyun .dt_compat = efm32gg_compat, 15*4882a593Smuzhiyun .restart = armv7m_restart, 16*4882a593Smuzhiyun MACHINE_END 17