Allow PK access to user memory

1 files changed, 1 insertions, 0 deletions

diff --git a/pk/pk.c b/pk/pk.c
index 8132f8d..c0b6407 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -160,6 +160,7 @@ void boot_loader()
   write_csr(stvec, &trap_entry);
   write_csr(sscratch, 0);
   write_csr(sie, 0);
+  set_csr(sstatus, SSTATUS_SUM);
 
   file_init();
   enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0);