[seL4] Re: seL4 for general purpose/desktop operating systems?

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