dtmachine.c 289 Bytes
edit raw blame history



1

2

3

4

5

6

7

8

9

10

11

12

13

14

15


#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