Make boot loader/SBI changes to support SMP Linux

1 files changed, 7 insertions, 0 deletions

diff --git a/pk/pk.c b/pk/pk.c
index cc2a761..8adf88e 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -97,3 +97,10 @@ void run_loaded_program(struct mainvars* args)
   write_csr(sscratch, kernel_stack_top);
   start_user(&tf);
 }
+
+void boot_other_hart()
+{
+  // stall all harts besides hart 0
+  while (1)
+    wfi();
+}