Read news on sel4 microkernel with our app.
Read more in the app
The SeL4 Microkernel: An Introduction [pdf]