Index: kernel/arch/sparc64/src/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sparc64.c	(revision 879585a3fd47daccb6ab751ad240297f65de5bae)
+++ kernel/arch/sparc64/src/sparc64.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -156,4 +156,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */
