The SeL4 Microkernel: An Introduction [pdf](sel4.systems)250 points by snvzz 1 year ago | 158 comments
Screenshot pending…Apple Joins the SeL4 Foundation(sel4.systems)59 points by fork-bomber 2 years ago | 11 comments
![Screenshot of sel4.systems: The SeL4 Microkernel: An Introduction [pdf]](https://hn.urlbox.com/shots/renders/2025/3/23/f52f3074-0e04-4732-b387-18a169fd11d9.jpg)