这是一个很小的玩具，是使用Cstubs_cstructs用OCaml编写的基于KVM的VMM。 它基于Serge Zaitsev的和ocaml-ctypes存储库中的。 它能够启动Linux bzImage并加载initrd（或initramfs）。 它只是模拟一个非常基本的8250串行控制台（以及基本功能）。 请注意，这非常粗糙：错误无法正确处理，所有内容都经过硬编码（如内存大小），充满了不可思议的魔术值，并且代码结构（如文件名）与ocaml-ctypes几乎相同例子。