]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/arm/kernel_task-arm.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / kernel_task-arm.cpp
index 356c92ac4d965062240293df8bc5ffa4ca8ee01f..754f7f7544813f0a194d9948021309d535481e77 100644 (file)
@@ -6,6 +6,6 @@ IMPLEMENTATION[arm]:
 
 PRIVATE inline NEEDS["globals.h"]
 Kernel_task::Kernel_task()
-: Space(Space::Default_factory(), Ram_quota::root, Kmem_space::kdir())
+: Task(Space::Default_factory(), Ram_quota::root, Kmem_space::kdir())
 {}