On 9 Mar 2025, at 09:56, Gernot Heiser via Devel <devel@sel4.systems> wrote:
Having said that, the argument that syscalls/IPC overhead limits performance doesn’t become more true by repeating it (it’s seeing a renaissance in the scientific literature too). I’m yet to see a realistic use case where seL4 IPC cost is performance limiting, except with poor user-level design. Note: this IPC-cost argument is most obviously irrelevant in the present context: a bulk-data copying service. The copying cost will completely dominate the IPC cost. Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
