I should also add that its write() is the same kind of simple wrapper around MsgSend() _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
- [seL4] seL4 vs QNX and Linux benchmarks Andrew Warkentin
- [seL4] Re: seL4 vs QNX and Linux benchmarks Gernot Heiser via Devel
- [seL4] Re: seL4 vs QNX and Linux benchmar... Andrew Warkentin
- [seL4] Re: seL4 vs QNX and Linux benc... Gernot Heiser via Devel
- [seL4] Re: seL4 vs QNX and Linux ... Demi Marie Obenour
- [seL4] Re: seL4 vs QNX and Linux ... Andrew Warkentin
- [seL4] Re: seL4 vs QNX and L... Indan Zupancic
- [seL4] Re: seL4 vs QNX a... Andrew Warkentin
- [seL4] Re: seL4 vs Q... Andrew Warkentin
- [seL4] Re: seL4 vs Q... Indan Zupancic
- [seL4] Re: seL4 vs QNX and Linux benc... Indan Zupancic
- [seL4] Re: seL4 vs QNX and Linux ... Demi Marie Obenour
- [seL4] Re: seL4 vs QNX and Linux benchmar... Bob Trower