This is a tiny toy KVM-based-VMM written in OCaml using Cstubs_cstructs. It's based on kvm-host by Serge Zaitsev, and the Cstubs_cstructs example in the ocaml-ctypes repo. It's capable of starting a Linux bzImage and loading an initrd (or initramfs). It just emulates a very basic 8250 serial console (and just the basic features).

Note that this is very rough: errors are not handled correctly, everything is hardcoded (like memory size), it's full of magic values without any explanation, and the code structure (like filenames) is pretty much the same as in the ocaml-ctypes example.