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

This is the first I've heard of it. A bit of googling reveals
http://www.barrelfish.org/
Interesting.

On Mon, May 11, 2015 at 3:16 PM, Raoul Duke <[email protected]> wrote:

>
> 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
>



-- 
    Cheers,
    --MarkM

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk