diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-05 14:34:18 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-05 14:34:18 -0800 |
commit | 80447e5711461fa58cf61d17a6a1b79f7dcd5294 (patch) | |
tree | 56a5ace30a808a606346c63b9d533cbcb787619e /pk/bbl.c | |
parent | bbc9a65fed7c85ee058d7188a62f0b904c38b77b (diff) | |
download | riscv-pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.zip riscv-pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.tar.gz riscv-pk-80447e5711461fa58cf61d17a6a1b79f7dcd5294.tar.bz2 |
Disentangle PK and BBL a bit
Diffstat (limited to 'pk/bbl.c')
-rw-r--r-- | pk/bbl.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,4 +1,5 @@ -#include "pk.h" +#include "boot.h" +#include "mtrap.h" #include "vm.h" #include "config.h" @@ -15,7 +16,7 @@ static void enter_entry_point() void run_loaded_program(struct mainvars* args) { if (!current.is_supervisor) - panic("bbl can't run user binaries; try using pk instead"); + die("bbl can't run user binaries; try using pk instead"); supervisor_vm_init(); #ifdef PK_ENABLE_LOGO |