Index: kernel/arch/ppc64/src/ppc64.c
===================================================================
--- kernel/arch/ppc64/src/ppc64.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/arch/ppc64/src/ppc64.c	(revision 2e915f280805434d5b53bdbfd93227d66d85917c)
@@ -129,4 +129,5 @@
 {
 }
+
 /** Return console to userspace
  *
@@ -136,4 +137,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */