&gt; I think the industry can support multiple competing unikernels in different languages.<p>That way we can reimplement existing, common facilities not once, but N times -- and still not support what I was alluding to (namely, allowing specific subcomponents written in a language appropriate for that component).<p>&gt; Rigorously define ones interfaces while hiding implementation details<p>Fine, but then there&#x27;s little advantage to mandating a single address space and language.