3 files changed, 19 insertions, 0 deletions
diff --git a/kernel/arch/arm/mach-efm32/Makefile b/kernel/arch/arm/mach-efm32/Makefile
new file mode 100644
index 000000000..3a74af741
--- /dev/null
+++ b/kernel/arch/arm/mach-efm32/Makefile
@@ -0,0 +1 @@
+obj-y += dtmachine.o
diff --git a/kernel/arch/arm/mach-efm32/Makefile.boot b/kernel/arch/arm/mach-efm32/Makefile.boot
new file mode 100644
index 000000000..eacfc3f5c
--- /dev/null
+++ b/kernel/arch/arm/mach-efm32/Makefile.boot
@@ -0,0 +1,3 @@
+# Empty file waiting for deletion once Makefile.boot isn't needed any more.
+# Patch waits for application at
+# http://www.arm.linux.org.uk/developer/patches/viewpatch.php?id=7889/1 .
diff --git a/kernel/arch/arm/mach-efm32/dtmachine.c b/kernel/arch/arm/mach-efm32/dtmachine.c
new file mode 100644
index 000000000..236749519
--- /dev/null
+++ b/kernel/arch/arm/mach-efm32/dtmachine.c
@@ -0,0 +1,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