repo: https://github.com/T-head-Semi/linux commit: b1313fe517ca3703119dcc99ef3bbf75ab42bcfb Change-Id: I6cbb35294024ea3a66140e311f4bb705fd7fd626
17 lines
325 B
C
17 lines
325 B
C
// 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
|