On 26 Sep 2016, at 10:06 , Tom Mitchell <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

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel