update

[l4.git] / 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 dee8b99081c79f266c91111358bdd6d52784b7f2..a0d8a060e9833d6cb62229ce22a257838e9da612 100644 (file)
--- 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();