Mirage: an OCaml Exokernel Anil Madhavapeddy University of Cambridge Computer Laboratory, 15 JJ Thomson Avenue, Cambridge, UK with Dr. Thomas Gazagnaire.