update

[polintos/scott/priv.git] / kernel / core / init.cc

diff --git a/kernel/core/init.cc b/kernel/core/init.cc
index 5f309c4035a8f260485f226c3fd3fdd7aa953e0c..7690f4ea75a2bae5511c28c8764ba0d32719d323 100644 (file)
--- a/kernel/core/init.cc
+++ b/kernel/core/init.cc
@@ -18,6 +18,7 @@
 #include <kern/arch.h>
 #include <kern/time.h>
 #include <kern/thread.h>
+#include <kern/orb.h>
 
 extern void *eh_frame_begin;
 extern "C" void __register_frame(const void *begin);
@@ -39,6 +40,7 @@ extern "C" void start_kernel()
        Time::init();
        Threads::sched.init();
        ll_ints_on();
+       ORB::init();
        
        run_test();