X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
index 6ce01c356..efff9e8c3 100644
--- a/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
@@ -2,9 +2,9 @@ IMPLEMENTATION[ppc32]:
 
 #include "config.h"
 #include "globals.h"
-#include "kmem.h"
+#include "space.h"
 
 PRIVATE inline NEEDS["globals.h"]
 Kernel_task::Kernel_task()
-: Space(Space::Default_factory(), Ram_quota::root, Kmem::kdir())
+: Task(Space::Default_factory(), Ram_quota::root, Kmem::kdir())
 {}