PRIVATE inline NEEDS["globals.h"]
Kernel_task::Kernel_task()
: Space(Space::Default_factory(), Ram_quota::root, Kmem::kdir())
PRIVATE inline NEEDS["globals.h"]
Kernel_task::Kernel_task()
: Space(Space::Default_factory(), Ram_quota::root, Kmem::kdir())