riscv-pk.patch

diff --git a/machine/minit.c b/machine/minit.c
index 0fb5f21..9b57789 100644
--- a/machine/minit.c
+++ b/machine/minit.c
@@ -17,7 +17,7 @@ size_t plic_ndevs;
 static void mstatus_init()
 {
   // Enable FPU
-  write_csr(mstatus, MSTATUS_FS);
+  write_csr(mstatus, MSTATUS_FS | MSTATUS_XS);
 
   // Enable user/supervisor use of perf counters
   write_csr(scounteren, -1);