OP here. The Unikernel paper someone linked about has more, but I think the main ideas are: incidental complexity mitigation and performance. It's much easier

OP here. The Unikernel paper someone linked about has more, but I think the main ideas are: incidental complexity mitigation and performance. It's much easier to reason about a bunch of OCaml code, so say the authors, than it is to understand the interaction between independently changing pieces of your "stack" that are written in different languages and integrate in disparate ways.