The VFiasco Project

http://os.inf.tu-dresden.de/vfiasco/

The VFiasco project: Towards a verified operating-system kernel. Overview, status, news