@clacke You may want to look at MirageOS if you want to play with Ocaml. It itegrates quite well with Qubes OS in case you use it.