update

[l4.git] / kernel / fiasco / src / abi / kip.cpp

diff --git a/kernel/fiasco/src/abi/kip.cpp b/kernel/fiasco/src/abi/kip.cpp
index 346574bc88a1b22c131ef3f7fdbe0337d39957db..0a6e4e4c59e451a748ffdfee74c206275659695d 100644 (file)
--- a/kernel/fiasco/src/abi/kip.cpp
+++ b/kernel/fiasco/src/abi/kip.cpp
@@ -147,7 +147,7 @@ void Kip::init_global_kip(Kip *kip)
   global_kip = kip;
 
   // check that the KIP has actually been set up
-  assert(kip->sigma0_ip && kip->root_ip && kip->user_ptr);
+  //assert(kip->sigma0_ip && kip->root_ip && kip->user_ptr);
 }
 
 PUBLIC static inline Kip *Kip::k() { return global_kip; }