top | item 43970336 (no title) nmgycombinator | 9 months 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. discuss order hn newest SSLy|9 months ago They also run L4 variants below and besides XNU, on same cores as the rest https://randomaugustine.medium.com/on-apple-exclaves-d683a2c... nmgycombinator|9 months ago Ooh! Thanks for the links!
SSLy|9 months ago They also run L4 variants below and besides XNU, on same cores as the rest https://randomaugustine.medium.com/on-apple-exclaves-d683a2c... nmgycombinator|9 months ago Ooh! Thanks for the links!
SSLy|9 months ago
nmgycombinator|9 months ago