Part of the Mirage goal is to experiment with different parallelisation frameworks on top of a very simple serial core: Erlang's OTP is one way to do this, but

Part of the Mirage goal is to experiment with different parallelisation frameworks on top of a very simple serial core: Erlang's OTP is one way to do this, but there are many others. Personally, I love OTP but dislike the Erlang syntax and lack of static types, hence my choice of OCaml (and also, there are very reliable OCaml-to-Xen bindings available around as part of the Citrix XenServer project). As another poster on this thread put it (being sarcastic I think, but actually spot on): GIL getting you down? Just define away parallelism and let the programmer handle it! We are indeed building multiple parallelisation strategies on top of Mirage, which work across cores and hosts seamlessly. But first things first, and getting the efficient serial version out is top of the list right now...