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