diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-10 22:16:46 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-10 22:17:39 -0700 |
| commit | 87683e74f566afe6acaf77fd79cc0bf2746bf136 (patch) | |
| tree | e1ced1ee44c10ec1662897abde09e4bed2d0dcca /pk/syscall.c | |
| parent | 50a2d6ca7fb63cfabd0f8bc086abb8fcd49f0ded (diff) | |
| download | pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.zip pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.tar.gz pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.tar.bz2 | |
Split pk functionality into pk and bbl
pk is now an AEE only (i.e. it can only execute user programs).
bbl is now an SEE only (i.e. it can only host kernels).
Diffstat (limited to 'pk/syscall.c')
| -rw-r--r-- | pk/syscall.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pk/syscall.c b/pk/syscall.c index 2e14d22..44c62cd 100644 --- a/pk/syscall.c +++ b/pk/syscall.c @@ -50,8 +50,7 @@ void sys_exit(int code) } } - frontend_syscall(SYS_exit, code, 0, 0, 0, 0, 0, 0); - while (1); + die(code); } ssize_t sys_read(int fd, char* buf, size_t n) |