update

[l4.git] / kernel / fiasco / src / kern / app_cpu_thread.cpp

diff --git a/kernel/fiasco/src/kern/app_cpu_thread.cpp b/kernel/fiasco/src/kern/app_cpu_thread.cpp
index 1c7a16ba60ad2518e6c681438ce3a7ebb152350b..89c95edfcfa7e07889f36012ffd708d1eec53b80 100644 (file)
--- a/kernel/fiasco/src/kern/app_cpu_thread.cpp
+++ b/kernel/fiasco/src/kern/app_cpu_thread.cpp
@@ -42,16 +42,18 @@ App_cpu_thread::bootstrap()
 {
   extern Spin_lock _tramp_mp_spinlock;
 
-  state_change_dirty (0, Thread_ready);                // Set myself ready
+  state_change_dirty(0, Thread_ready);         // Set myself ready
 
   // Setup initial timeslice
-  set_current_sched (sched());
+  set_current_sched(sched());
 
   Fpu::init(cpu());
 
   // initialize the current_mem_space function to point to the kernel space
   Kernel_task::kernel_task()->mem_space()->make_current();
 
+  Mem_unit::tlb_flush();
+
   Cpu::cpus.cpu(current_cpu()).set_online(1);
 
   _tramp_mp_spinlock.set(1);