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 4a57c14acb084bf69a9a9e03acc664cb241c1711..4156ab046941104c7bb6ed52b0a631fc0da1069e 100644 (file)
--- a/kernel/fiasco/src/kern/kernel_thread.cpp
+++ b/kernel/fiasco/src/kern/kernel_thread.cpp
@@ -47,8 +47,6 @@ IMPLEMENTATION:
 #include "thread.h"
 #include "thread_state.h"
 #include "timer.h"
-#include "vmem_alloc.h"
-
 
 
 PUBLIC
@@ -58,9 +56,7 @@ Kernel_thread::Kernel_thread() : Thread_object(Thread::Kernel)
 PUBLIC inline
 Mword *
 Kernel_thread::init_stack()
-{
-  return _kernel_sp;
-}
+{ return _kernel_sp; }
 
 // the kernel bootstrap routine
 IMPLEMENT FIASCO_INIT