diff --git a/nanos-lite/src/syscall.c b/nanos-lite/src/syscall.c
index dc8f5cc..d54a156 100644
--- a/nanos-lite/src/syscall.c
+++ b/nanos-lite/src/syscall.c
@@ -44,7 +44,7 @@ void do_syscall(Context *c) {
     CASE(gettimeofday, c->GPRx = _gettimeofday((struct timeval*)a[1], (struct timezone*)a[2]))
     CASE(execve, c->GPRx = _execve((const char*)a[1], (char* const*)a[2], (char* const*)a[3]))
     CASE(brk, c->GPRx = _brk((void*)a[1]))
-    CASE(exit, halt(0))
+    CASE(exit, _exit((int) a[1]))
     default: panic("Unhandled syscall ID = %d", a[0]);
   }
 }