2005-05-30 Desert Spring-Time -- An OCaml Operating System Project functionals ocaml os http://dst.purevoid.org/