On 15 May 2014 15:03, Jonathan S. Shapiro <[email protected]> wrote:
> On Wed, May 14, 2014 at 9:55 PM, William ML Leslie
> <[email protected]> wrote:
>>
>> \You sort of did it in coyotos to good effect
>
>
> How so?
>
>

By including the header that defines capability types in different
contexts, you can define public and private interfaces for example.

Yep, found it: sys/obstore/captype.def

-- 
William Leslie

Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law.  You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in.  Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to