Comment by ralls_ebfe

There is a framework for OCaml for this: https://mirage.io/ So if you are interested in learning OCaml and want a unikernel, this would be a possible path to take.