Citrix сделал свободно доступными исходники Citrix Xenserver, довольно значительная часть которой написана на OCaml, около 200К промышленного кода, притом для системы работающей на голом железе.
http://xenbits.xen.org/xapi/install.html
http://groups.google.com/group/fa.caml/browse_thread/thread/b19555a7e09f063c#