#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())
{}