Just because some concrete system call interface is missing doesn&#x27;t mean you can&#x27;t glue layers of code together from different languages, that&#x27;s some logical jump I don&#x27;t understand.<p>The single language constraint you&#x27;re continuing to claim exists is addressed by their own blog posts:  <a href="https:&#x2F;&#x2F;mirage.io&#x2F;blog&#x2F;modular-foreign-function-bindings" rel="nofollow">https:&#x2F;&#x2F;mirage.io&#x2F;blog&#x2F;modular-foreign-function-bindings</a> . After reading this, I can see approximately 50 lines code that would let me run a Python interpreter (another mostly memory-safe language, btw) within the unikernel, assuming enough of the Unix syscall interface was already implemented in shims back into OCaml land, something I presume will likely be released in the coming months in preparation for making their stuff useful to the general public.