I hadn't noticed / probably missed if Barrelfish was already mentioned.

http://www.systems.ethz.ch/sites/default/files/file/aos2014/milestones/milestone2Extended.pdf

2 About Capabilities

In this assignment you will use Barrelfish’s capability system to get
physical memory for handling page faults. The capability system is
Barrelfish’s way of tracking and authorizing access to memory (and, as
we will see, many other physical resources in the system) to a user
program.

A capability can be thought of as a special kind of handle or pointer.
Capabilities cannot be forged, but can be passed around between
applications.

For now, it suffices to know that there are different types of
capabilities for different types of memory, such as page tables or
user-accessible (mapped) memor
_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk