diff options
author | dzwdz | 2023-01-19 23:36:11 +0100 |
---|---|---|
committer | dzwdz | 2023-01-19 23:36:11 +0100 |
commit | a2f9ae9d4ab678fa66a2ec5d1072ea22a36a18a1 (patch) | |
tree | c048e9165b27d27075d2c17ab943ac52b46a6a40 /src/user/app/init/driver/initctl.c | |
parent | da546a0822b1995efe1832c9cc57aab62ccdcf65 (diff) |
kernel: user interrupts
Diffstat (limited to 'src/user/app/init/driver/initctl.c')
-rw-r--r-- | src/user/app/init/driver/initctl.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/user/app/init/driver/initctl.c b/src/user/app/init/driver/initctl.c index 76d1b1b..67c8ade 100644 --- a/src/user/app/init/driver/initctl.c +++ b/src/user/app/init/driver/initctl.c @@ -29,7 +29,9 @@ void initctl_drv(handle_t killswitch) { } if (!strcmp(buf, "halt")) { _syscall_write(killswitch, "halt", 4, 0, 0); - exit(1); + } + if (!strcmp(buf, "intr")) { + _syscall_write(killswitch, "intr", 4, 0, 0); } c0_fs_respond(NULL, res.len, 0); break; |