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/pk.h | |
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/pk.h')
-rw-r--r-- | pk/pk.h | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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; |