18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci#include <linux/kernel.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ci#include <asm/v7m.h> 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci#include <asm/mach/arch.h> 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_cistatic const char *const efm32gg_compat[] __initconst = { 98c2ecf20Sopenharmony_ci "efm32,dk3750", 108c2ecf20Sopenharmony_ci NULL 118c2ecf20Sopenharmony_ci}; 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciDT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)") 148c2ecf20Sopenharmony_ci .dt_compat = efm32gg_compat, 158c2ecf20Sopenharmony_ci .restart = armv7m_restart, 168c2ecf20Sopenharmony_ciMACHINE_END 17