]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
6d85e2b0 UKK |
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 |