Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
+++ kernel/arch/mips32/src/mips32.c	(revision 9a7a97029a2915fe7e7b5cf13d8ed2bd225ff1e7)
@@ -181,5 +181,5 @@
 void arch_reboot(void)
 {
-	// TODO
+	___halt();
 	while (1);
 }