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