Another intersting microkernel might be seL4, which is an L4 implementation (as you might have guesses from the name) focussed on security that will be released as open source (code and correctness proofs, as all good security software should be in an ideal world) at the end of July: http://sel4.systems/