1 files changed, 1 insertions, 0 deletions
diff --git a/pk/minit.c b/pk/minit.c
index b8a0b48..3d4410b 100644
--- a/pk/minit.c
+++ b/pk/minit.c
@@ -24,6 +24,7 @@ static void mstatus_init()
   if (EXTRACT_FIELD(ms, MSTATUS_VM) != VM_CHOICE)
     have_vm = 0;
 
+  write_csr(mtimecmp, 0);
   clear_csr(mip, MIP_MSIP);
   set_csr(mie, MIP_MSIP);
 }