News for hackers. Stuff that matters.
Re:Unboxing a $100 Chromebook by forgotpwd16 on Saturday July 23, 2022 @05:35AM (#32201779)
Also an ancient example. Mach's latest version is ~30 years old (released 1994). See https://fediverse.blog/~/3542/the-three-generations-of-micro... for advancements since then such as an order of magnitude performance improve.
Re:Unboxing a $100 Chromebook by yencabulator on Thursday July 28, 2022 @05:53PM (#32270544)
seL4 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-que...