nit

diff --git a/main.c b/main.c
index 308541bd149e9593c919ab25fe09f4d81547afd2..a7570bc1044f8e0f8b5588db3ebdf6a75256ae00 100644 (file)
--- a/main.c
+++ b/main.c
@@ -74,7 +74,7 @@ mpmain(void)
   scheduler();
 }
 
-static void
+void
 bootothers(void)
 {
   extern uchar _binary_bootother_start[], _binary_bootother_size[];