Yes, you can, but you <i>shouldn&#x27;t</i>. The continuation of the third passage I quoted explains why they think that several of the advantages of unikernels disappear if you try writing things in not-OCaml. It looks like the instructions you&#x27;re linking is intended for third-party libraries that already exist in C, not for entire applications (although, yes, that would work).<p>I mean, you also can port applications to Linux kernelspace. (Remember the Tux web server?) But that&#x27;s not really the point of Linux, and if you want that, you should... use a unikernel.<p>That said, sure, it&#x27;s entirely possible that as they shift focus from an academic project to a commercial one, they&#x27;ll give up on this distinction and its performance advantages, and start marketing a product that lets you just write C. (Just like they may well give up on hypervisor-based parallelism and add fork().) But that&#x27;s not how they&#x27;re currently envisioning the concept.