On Sun, 2006-04-23 at 17:18 +0200, Pierre THIERRY wrote:
> That depends on how the capabilities are implemented. I didn't read how
> Coyotos, L4.sec and L4ng do, but if the kernel allocates space when a
> capability is created, and only keeps references of it when it is passed
> between subjects, then the capability structure can't contain that
> information.

In Coyotos, the kernel does NOT allocate space when a capability is
copied. Capabilities are not created, in the same way that the integer
value "1" is not created.

shap



_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd

Reply via email to