Naive question about grant/map

Jonathan S. Shapiro shap at
Thu Dec 4 21:41:00 CET 2003

On Thu, 2003-12-04 at 15:06, Jean Wolter wrote:
> "Jonathan S. Shapiro" <shap at> writes:

> > Is there some variant of the 'map' operation in which B does NOT retain
> > the ability to revoke C's mapping? 
> I am not sure whether I understood the question correctly but there is
> the grant operation. 
> After A maps to B and B maps to C it would look like 
>         A -> B -> C
> in contrast to A maps to B and B grants to C which would look like
>         A -> C

Thanks for replying, Jean. Let's see if I can clarify the question:

I am looking for a sequence in which A maps to B and B ??? to C and the
result would look like:

   A -> B
   A -> C

Is there such an operation?

Also, I forgot to ask: is there some reason why such an operation would
be inadvisable?

Jonathan S. Shapiro <shap at>

More information about the l4-hackers mailing list