kern/libc/stdlib/exit.c

#include <stdlib.h>
#include <syscall.h>

// Exits without cleaning up
void _Exit(int status) {
    syscall(SYS_EXIT, status, 0, 0);
}

void exit(int status) {
    // TODO: Close open files
    // TODO: Free malloced buffers

    _Exit(status);
}