diff options
| author | dzwdz | 2022-04-21 19:00:58 +0200 |
|---|---|---|
| committer | dzwdz | 2022-04-21 19:00:58 +0200 |
| commit | d1af67ca27b1cf044244e61071fe2e538e452815 (patch) | |
| tree | 5df565e888dec76444b03ccc3af19df7de278936 /src/init/main.c | |
| parent | 76221c214ec6907ecd52cf57232fa063e2f937d3 (diff) | |
kernel: recursive kill()
Diffstat (limited to 'src/init/main.c')
| -rw-r--r-- | src/init/main.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/init/main.c b/src/init/main.c index 3460417..ef67958 100644 --- a/src/init/main.c +++ b/src/init/main.c @@ -57,7 +57,6 @@ int main(void) { if (__stdout < 0) __stdout = _syscall_open(argify("/vga_tty")); _syscall_await(); - printf("init: something quit\n"); - + printf("init: quitting\n"); _syscall_exit(0); } |