Re: Trying to.... It's amazing and it works!

[Manu Valderrama]

Thomas Bushnell, BSG wrote:

> > This means that a port name can contain both receive and send right;
> > when a send once right
> > is needed, every send one right must have its own port name ( send
> > once right is different ).
> > Is this the idea ? I hope yes!
> >    
>
> Yes, this is correct.
>
> Note that send-once rights are different: they are always unique
> names (which provides for a few important optimizations).
>  

Then my next challenge would be some IPC toy examples with send once rights;
thanks for your advice!

Bye!

>  
>
>
> _______________________________________________
> Help-hurd mailing list
> Help-hurd@gnu.org
> http://mail.gnu.org/mailman/listinfo/help-hurd
>
>