A few hours ago we open-sourced seL4. The release covers the kernel source and proofs (under GPL v2) as well as tools and libraries (mostly BSD). http://sel4.systems contains details, including download and mailing list links.
Enjoy, Gernot
l4-hackers@os.inf.tu-dresden.de