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).

1 files changed, 2 insertions, 1 deletions

diff --git a/pk/pk.h b/pk/pk.h
index 5b9f3dd..ee449aa 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -59,7 +59,8 @@ void handle_misaligned_load(trapframe_t*);
 void handle_misaligned_store(trapframe_t*);
 void handle_fault_load(trapframe_t*);
 void handle_fault_store(trapframe_t*);
-uintptr_t boot_loader(struct mainvars*);
+void boot_loader(struct mainvars*);
+void run_loaded_program(struct mainvars*);
 
 typedef struct {
   int elf64;