update

[l4.git] / kernel / fiasco / src / kern / arm / main.cpp

diff --git a/kernel/fiasco/src/kern/arm/main.cpp b/kernel/fiasco/src/kern/arm/main.cpp
index d6292789e77cd36ec0439b6fa2d56e251a773b64..d7372d8336070c516e0be7385210b515fd51768f 100644 (file)
--- a/kernel/fiasco/src/kern/arm/main.cpp
+++ b/kernel/fiasco/src/kern/arm/main.cpp
@@ -84,6 +84,8 @@ kernel_main()
   Space *const ktask = Kernel_task::kernel_task();
   check(kernel->bind(ktask, 0));
 
+  Mem_unit::tlb_flush();
+
   // switch to stack of kernel thread and bootstrap the kernel
   asm volatile
     (" str sp,%0               \n"     // save stack pointer in safe register