From 32dd2e582a6041d672be066306225604e4b898da Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Tue, 11 Dec 2012 21:42:30 +0100
Subject: Adjust interrupts configuration on kernel entry

---
 kern/kernel.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'kern/kernel.c')

diff --git a/kern/kernel.c b/kern/kernel.c
index 9e7f0435..70cc8c71 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 */
+}
-- 
cgit v1.2.3