1 files changed, 13 insertions, 0 deletions
diff --git a/kern/kernel.c b/kern/kernel.c
index 9e7f043..70cc8c7 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -37,6 +37,8 @@ kernel_main(void)
     struct thread *thread;
     int error;
 
+    assert(!cpu_intr_enabled());
+
     task_setup();
     thread_setup();
     cpu_mp_setup();
@@ -50,3 +52,14 @@ kernel_main(void)
 
     /* Never reached */
 }
+
+void __init
+kernel_ap_main(void)
+{
+    assert(cpu_intr_enabled());
+
+    for (;;)
+        cpu_idle();
+
+    /* Never reached */
+}