3 ms·
Also an ancient example. Mach's latest version is ~30 years old (released 1994). See https://fediverse.blog/~/3542/the-three-generations-of-microkernels/ https:
by forgotpwd16 4y ago
Also an ancient example. Mach's latest version is ~30 years old (released 1994). See https://fediverse.blog/~/3542/the-three-generations-of-microkernels/ https://fediverse.blog/~/3542/the-three-generations-of-micro... for advancements since then such as an order of magnitude performance improve.
- yencabulator 4y agoseL4 can barely do SMP. Modern hardware is all multicore. seL4 is not a performance winner outside of the embedded space. https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html#does-sel4-support-multicore https://docs.sel4.systems/projects/sel4/frequently-asked-que...