Reset kernel code + userspace program

user/reset.c

@@ -0,0 +1,10 @@
+#include "user.h"
+
+/** Reset the machine */
+int
+main(int argc, char *argv[])
+{
+  printf("System resetting...\n");
+  reset();
+  return 0;
+}

user/user.h

@@ -80,6 +80,9 @@ int trace(int);
 /** halt */
 void halt(void);
 
+/** halt */
+void reset(void);
+
 /**
  * Library functions (ulib.c)
  */

user/usys.py

@@ -40,6 +40,7 @@ syscalls = [
     "uptime",
     "trace",
     "halt",
+    "reset",
 ]
 
 assembly = "\n\n".join(map(genstub, syscalls))