1 files changed, 1 insertions, 2 deletions
diff --git a/pk/syscall.c b/pk/syscall.c
index 2e14d22..44c62cd 100644
--- a/pk/syscall.c
+++ b/pk/syscall.c
@@ -50,8 +50,7 @@ void sys_exit(int code)
     }
   }
 
-  frontend_syscall(SYS_exit, code, 0, 0, 0, 0, 0, 0);
-  while (1);
+  die(code);
 }
 
 ssize_t sys_read(int fd, char* buf, size_t n)