diff --git a/cpu/arm_common/arm_cpu.c b/cpu/arm_common/arm_cpu.c
index 0bf51b02ca..b358a2cae5 100644
--- a/cpu/arm_common/arm_cpu.c
+++ b/cpu/arm_common/arm_cpu.c
@@ -19,6 +19,7 @@
 #include <stdio.h>
 #include "arm_cpu.h"
 #include "sched.h"
+#include "kernel.h"
 #include "kernel_internal.h"
 
 #define STACK_MARKER    (0x77777777)
@@ -84,3 +85,9 @@ void thread_print_stack(void)
 
     printf("STACK (%u)= %X \n", i, *s);
 }
+
+NORETURN void reboot(void)
+{
+  arm_reset();
+}
+