Enable FPU in PK, regardless of FPU presence

Otherwise, the emulation code will refuse to emulate FP instructions.

1 files changed, 1 insertions, 1 deletions

diff --git a/pk/pk.c b/pk/pk.c
index e7cfc3a..f0969a1 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -161,7 +161,7 @@ void boot_loader(uintptr_t dtb)
   write_csr(stvec, &trap_entry);
   write_csr(sscratch, 0);
   write_csr(sie, 0);
-  set_csr(sstatus, SSTATUS_SUM);
+  set_csr(sstatus, SSTATUS_SUM | SSTATUS_FS);
 
   file_init();
   enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0);