WIP towards ECALL interface for SBI

2 files changed, 1 insertions, 2 deletions

diff --git a/pk/frontend.c b/pk/frontend.c
index 716f050..e58df26 100644
--- a/pk/frontend.c
+++ b/pk/frontend.c
@@ -3,7 +3,6 @@
 #include "pk.h"
 #include "atomic.h"
 #include "frontend.h"
-#include "sbi.h"
 #include "syscall.h"
 #include "htif.h"
 #include <stdint.h>
diff --git a/pk/pk.c b/pk/pk.c
index 25cd5a5..8132f8d 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -162,7 +162,7 @@ void boot_loader()
   write_csr(sie, 0);
 
   file_init();
-  enter_supervisor_mode(rest_of_boot_loader, pk_vm_init());
+  enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0);
 }
 
 void boot_other_hart()