MirageOS is a programming framework that allows for the creation of type-safe, modular systems. It constructs unikernels, which are specialized operating systems, for secure and high-performance network applications on various cloud computing and mobile platforms. With MirageOS, code can be developed on a regular operating system like Linux or macOS, and then compiled into a standalone unikernel that runs under a hypervisor like Xen or KVM. This enables services to run more efficiently, securely, and with better control compared to traditional software stacks. Some notable features of MirageOS include fast start-up times, small binary and memory footprints, and the use of the OCaml programming language with support for different programming styles. It is an event-driven framework and does not support preemptive threading. The latest version is MirageOS 4.0, released in March 2022. MirageOS is a self-hosted project and a Xen and Linux Foundation incubator project.
https://mirage.io/