Sponsor of the Day:
Jerkmate
https://www.usenix.org/conferences/byname/1064
Microkernels | USENIX
microkernelsusenix
https://entropia.de/GPN4:WTF_are_Microkernels
GPN4:WTF are Microkernels – Entropia
gpn4wtfmicrokernelsentropia
https://blog.invisiblethings.org/2010/05/03/on-formally-verified-microkernels-and.html
On Formally Verified Microkernels (and on attacking them) | The Invisible Things Blog
Update May 14th, 2010: Gerwin Klein, a project lead for L4.verified, has posted some insightful comments. Also it's worth reading their website here that cle...
invisible things blogformally verifiedmicrokernelsattacking