Added external user binary support (usrbin/)
[akaros.git] / kern / src / init.c
index 8ceff5c..2cd78d0 100644 (file)
@@ -103,6 +103,9 @@ void _panic(const char *file, int line, const char *fmt,...)
        cprintf("\n");
        va_end(ap);
 
+       #ifndef __i386__
+               reboot();
+       #endif
 dead:
        /* break into the kernel monitor, if we're core 0 */
        if (core_id()) {