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 >[EMAIL PROTECTED] >http://mail.gnu.org/mailman/listinfo/help-hurd > > > _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
