X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c032583979b0ee30f07928c4e65e3888da0af307..615241fa4695499799cebfd8a6dc8d90f3a93f13:/kernel/fiasco/src/kern/kernel_thread.cpp

diff --git a/kernel/fiasco/src/kern/kernel_thread.cpp b/kernel/fiasco/src/kern/kernel_thread.cpp
index dee8b9908..a0d8a060e 100644
--- a/kernel/fiasco/src/kern/kernel_thread.cpp
+++ b/kernel/fiasco/src/kern/kernel_thread.cpp
@@ -76,8 +76,10 @@ Kernel_thread::bootstrap()
   Timer::init_system_clock();
   Sched_context::rq(cpu()).set_idle(this->sched());
 
+  Kernel_task::kernel_task()->mem_space()->make_current();
+
   // Setup initial timeslice
-  set_current_sched (sched());
+  set_current_sched(sched());
 
   Timer::enable();