Hacker News new | ask | show | jobs
by nmgycombinator 399 days ago
I think Apple uses an L4 variant for their SEP co-processor, though I'm not sure if it's that specific one. Sounds like another OS I'll probably have to do a deep dive into at some point.
1 comments
SSLy 399 days ago
They also run L4 variants below and besides XNU, on same cores as the rest https://randomaugustine.medium.com/on-apple-exclaves-d683a2c...
link
nmgycombinator 399 days ago
Ooh! Thanks for the links!
link