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