New M-mode timer and SBI call to use it

1 files changed, 4 insertions, 2 deletions

diff --git a/pk/minit.c b/pk/minit.c
index a040e2b..b8a0b48 100644
--- a/pk/minit.c
+++ b/pk/minit.c
@@ -79,8 +79,10 @@ static void init_other_hart()
   write_csr(sptbr, root_page_table);
 
   // then make sure we're in bounds
-  if (HLS()->hart_id >= num_harts)
-    panic("too many harts");
+  if (HLS()->hart_id >= num_harts) {
+    while (1)
+      wfi();
+  }
 
   boot_other_hart();
 }