Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
+++ kernel/arch/mips32/src/mips32.c	(revision 36f19c0f0dc80e99e7a2255fc75ddff351c22ac4)
@@ -179,4 +179,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */