Re: Hurd_condition_wait

[Neal H. Walfield]

> What about non-Mach backends?  I would feel better about an
> internal-interface-guarantee argument rather than an implementation
> argument.

This requirement is part of the interface; I was using Mach for
illustration purposes because I assume that Vincente is familiar with
Mach concepts.  On, for instance, L4, the sender would do a send and
block until the receiver is ready.