[cap-talk] membrane implementations?

[Jonathan S. Shapiro]

On Fri, 2007-01-26 at 11:18 +0100, Pierre THIERRY wrote:
> Scribit Jonathan S. Shapiro dies 25/01/2007 hora 05:06:
> >    2. Have a valid bit in the capability and turn that off, but leave
> >    the rest of the capability unchanged.
> 
> Isn't it how Coyotos will handle it? (that is, something at the
> receiving end is changed to make the capability invalid, but the
> capability itself isn't really altered)

Coyotos uses a mix of implementation strategies (as EROS does), but as
far as the world outside the kernel is concerned the capability becomes
void.

This is true even to the extend that keybits reports the capability as a
void capability.

shap