Index: sys/riscv/riscv/mp_machdep.c
===================================================================
--- sys/riscv/riscv/mp_machdep.c
+++ sys/riscv/riscv/mp_machdep.c
@@ -215,7 +215,7 @@
 		DELAY(1000);
 	}
 
-	printf("APs not started\n");
+	panic("Timeout while waiting for APs to start");
 }
 SYSINIT(start_aps, SI_SUB_SMP, SI_ORDER_FIRST, release_aps, NULL);