http://openmirage.org/blog/introducing-ocaml-tls
Edit: The ccc video is also up now. See it at (skip to 15mins in): http://vod.c3voc.de/relive/6443/index.m3u8
https://www.youtube.com/watch?v=jgJwA73uqTg
Truly amazing work here, statically compiling an application as an OS to be run on Xen. This project also sparked development of a pure OCaml implementation of TLS.
http://openmirage.org/blog/introducing-ocaml-tls
Edit: The ccc video is also up now. See it at (skip to 15mins in): http://vod.c3voc.de/relive/6443/index.m3u8