Hacker News new | past | comments | ask | show | jobs | submit login

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.





They also run L4 variants below and besides XNU, on same cores as the rest https://randomaugustine.medium.com/on-apple-exclaves-d683a2c...

Ooh! Thanks for the links!



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: