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/console.c | |
parent | 50a2d6ca7fb63cfabd0f8bc086abb8fcd49f0ded (diff) | |
download | riscv-pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.zip riscv-pk-87683e74f566afe6acaf77fd79cc0bf2746bf136.tar.gz riscv-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/console.c')
-rw-r--r-- | pk/console.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pk/console.c b/pk/console.c index 69bb9e9..3920a51 100644 --- a/pk/console.c +++ b/pk/console.c @@ -1,6 +1,6 @@ #include "pk.h" #include "file.h" -#include "syscall.h" +#include "frontend.h" #include <stdint.h> #include <stdarg.h> #include <stdbool.h> @@ -138,7 +138,7 @@ void do_panic(const char* s, ...) va_start(vl, s); vprintk(s, vl); - sys_exit(-1); + die(-1); va_end(vl); } |