Re:Linux kernel heap buffer overflow in fs_context.c since v...
by dundarious on Thursday January 20, 2022 @06:51PM
(#30017159)
You can't really draw conclusions about systems built on Linux vs seL4 from that though. You can have far more IPC in order to do anything useful in microkernels. I'm not dismissing either OS or architecture, but just saying that extrapolating from micro-metrics is very hard when their use in the different architectures varies significantly.
And if the kernel is Linux, I'm not so sure about fast.
Relative to Linux, seL4 has:
- Order of magnitude faster context switch.
- Order of magnitude lower scheduler latency.
- Order of magnitude faster Inter-Process Communication.