3 ms·
So what is the latency on seL4 then for a similar program? And how well is the performance under real-world desktop conditions compared to Linux, macOS, Windows
by Carpetsmoker 6y ago
So what is the latency on seL4 then for a similar program? And how well is the performance under real-world desktop conditions compared to Linux, macOS, Windows, etc? I read through that PDF and it doesn't really contain concrete answers to that.