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/frontend.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/frontend.c')
| -rw-r--r-- | pk/frontend.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pk/frontend.c b/pk/frontend.c index 0929d54..52e26fa 100644 --- a/pk/frontend.c +++ b/pk/frontend.c @@ -5,6 +5,7 @@ #include "frontend.h" #include "sbi.h" #include "mcall.h" +#include "syscall.h" #include <stdint.h> uint64_t tohost_sync(unsigned dev, unsigned cmd, uint64_t payload) @@ -44,3 +45,9 @@ long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long spinlock_unlock(&lock); return ret; } + +void die(int code) +{ + frontend_syscall(SYS_exit, code, 0, 0, 0, 0, 0, 0); + while (1); +} |