Sounds a lot like you're describing Mirage OS (and its ilk). I see that you've written OCaml before, so I assume you've come across it already -- if not, I thin

Sounds a lot like you're describing Mirage OS (and its ilk). I see that you've written OCaml before, so I assume you've come across it already -- if not, I think you'd find it really interesting. http://openmirage.org http://openmirage.org