News for hackers. Stuff that matters.
Re:Writing an OS in Rust: Handling Exceptions by qznc on Sunday March 26, 2017 @04:12PM (#13962958)
There is also this nice L4 overview paper "From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?"

http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf

There are no comments on this comment yet.