|
|
|
|
|
|
by Carpetsmoker
2191 days 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. |
|
|