On 26 Sep 2016, at 10:06 , Tom Mitchell <[email protected]<mailto:[email protected]>> 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 [email protected] https://sel4.systems/lists/listinfo/devel
