That's a shame, because Erlang as a unikernel already exists (as https://github.com/cloudozer/ling, unfortunately unmaintained). I'd be really keen on seeing an Erlang port to the Solo5 API, which would give you KVM/bhyve/OpenBSD vmm/Muen/others to run on.