[seL4] Re: seL4 vs QNX and Linux benchmarks

Fri, 19 Apr 2024 04:45:42 -0700 

I should also add that its write() is the same kind of simple wrapper
around MsgSend()
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to