Enable FPU in PK, regardless of FPU presence

Otherwise, the emulation code will refuse to emulate FP instructions.
8 years ago · f2aaee46b9
1 changed files with 1 additions and 1 deletions
--- 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);