kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp

   1 IMPLEMENTATION[ppc32]:
   2
   3 #include "config.h"
   4 #include "globals.h"
   5 #include "kmem.h"
   6
   7 PRIVATE inline NEEDS["globals.h"]
   8 Kernel_task::Kernel_task()
   9 : Space(Space::Default_factory(), Ram_quota::root, Kmem::kdir())
  10 {}