Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

For that security I'd assume seL4, though I did not see anyone obviously apple on the devel mailing list...


Looking into it more, it looks like a heavily modified fork of L4Ka::Pistachio. That's pretty fun, I may have to go exploit hunting this weekend.

https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-De...




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

Search: