Re: RFC: Lightweight synchronization mechanism for gnumach

[Samuel Thibault]

Justus Winter, on Sun 28 Feb 2016 18:01:03 +0100, wrote:
> you implemented it using messages sent to the kernel using mach_msg,
> and not as traps.

This is surprising indeed.  I don't think we will ever need this as an
RPC.

Samuel