Brussels / 3 & 4 February 2018


Towards capabilities in HelenOS

The elephant in the room

Capabilities can be found in most modern microkernel-based systems. Sometimes the capability pattern is masqueraded under a different name though. In this talk I will tell the story of how HelenOS unwittingly started with a primitive capability system embedded in its IPC, how it evolved into the present state in which capabilities are used as task-local names for an increasing amount of user-visible kernel objects and where this might lead in the future.


Photo of Jakub Jermář Jakub Jermář