Initialize mstatus[MPP] to M mode

This goes away when riscv#397 lands upstream
CHERIoT-Platform · Feb 12, 2024 · cf541be · cf541be
1 parent 23b1ac9
commit cf541be
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
@@ -505,6 +505,8 @@ function init_sys() -> unit = {
   mstatus = set_mstatus_UXL(mstatus, misa[MXL]);
   mstatus[SD]   = 0b0;
 
+  mstatus[MPP]  = 0b11;
+
   /* set to little-endian mode */
   if sizeof(xlen) == 64 then {
     mstatus = Mk_Mstatus([mstatus.bits with 37 .. 36 = 0b00])