[cap-talk] Modelling capability manipulation

[Mark Miller]

On Thu, Nov 20, 2008 at 2:57 PM, Neal H. Walfield <neal at walfield.org> wrote:

>
> What is the right way to expose and think about interfaces such as
> cap_copy?
>

What you expose them and how you explain that can be different. Using your
examples, why not expose

    cap_copy (target_slot, source_capability)

for the normal use case, but also expose

    cap_copy (object, source_capability, index)

and explain the first as being equivalent to a walk + the second, but
faster?



-- 
Text by me above is hereby placed in the public domain

   Cheers,
   --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/cap-talk/attachments/20081120/16a98dfa/attachment.html