diff --git a/user/init.c b/user/init.c
index d41844d..0d5102c 100644
--- a/user/init.c
+++ b/user/init.c
@@ -54,7 +54,9 @@ main(void)
       // or if a parentless process exits.
       wpid = wait((int *)0);
       if(wpid == pid) {
-        // the shell exited; restart it.
+        // FIXME: Obviously not how things should be done
+        printf("\nShell exited... Halting\n");
+        halt();
         break;
       } else if(wpid < 0) {
         printf("init: wait returned an error\n");