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

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