diff options
Diffstat (limited to 'src/user/app')
| -rw-r--r-- | src/user/app/init/init.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/user/app/init/init.c b/src/user/app/init/init.c index b97b483..04380a6 100644 --- a/src/user/app/init/init.c +++ b/src/user/app/init/init.c @@ -83,9 +83,11 @@ int main(void) { } close(killswitch_pipe[1]); - if (fork()) { + long cid = fork(); + if (cid > 0) { /* used to trigger a kernel bug * 7c96f9c03502e0c60f23f4c550d12a629f3b3daf */ + printf("main at cid %u\n", cid); _syscall_await(); exit(1); } |