Re: [seL4] Why send-only IPC doesn't and shouldn't return a success indicator

On 26 Sep 2016, at 10:06 , Tom Mitchell mailto:mitch@niftyegg.com> wrote: A consideration is buffer space and garbage collection. A reliable message needs to sit and sit until it is acknowledged. Unreliable messages can be made more unreliable with increased traffic. seL4 (by design, and in line with all L4 kernels) doesn’t buffer messages, this is a mute point. Gernot