News for hackers. Stuff that matters.
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...

There are no comments on this comment yet.