Solo5 with a macOS backend — run unikernels on Apple silicon via Hypervisor.framework, not just Linux/KVM
unikernel mirageos ocaml