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.
[ Parent
| on HN ]
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...