1 files changed, 3 insertions, 0 deletions
diff --git a/i386/i386/mp_desc.c b/i386/i386/mp_desc.c
index 61a7607b..5fff2a68 100644
--- a/i386/i386/mp_desc.c
+++ b/i386/i386/mp_desc.c
@@ -24,6 +24,7 @@
  * the rights to redistribute these changes.
  */
 
+#include <kern/assert.h>
 #include <kern/cpu_number.h>
 #include <kern/debug.h>
 #include <kern/printf.h>
@@ -280,6 +281,8 @@ cpu_ap_main()
 {
     int cpu = cpu_number();
 
+    assert(cpu > 0);
+
     do {
 	cpu_pause();
     } while (bspdone != cpu);