Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
yencabulator
on July 28, 2022
|
parent
|
context
|
favorite
| on:
Unboxing a $100 Chromebook
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...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://docs.sel4.systems/projects/sel4/frequently-asked-que...