|
|
|
|
|
|
by nine_k
1788 days ago
|
|
|
Yes. But within the Linux kernel, you might not need that cross-process IPC at all, so if you're into squeezing every last microsecond of latency, you likely want your entire app running as a monolith in kernel mode. But if you want security more than top speed, seL4 + a few daemons you write for other OS needs must be fine. |
|
|