The release of Mirage 3.0.0 brings further flexibility and stability to the modular operating system, together with improved user and developer experience. The core team has focussed on improving development workflow, providing easier interfaces and interoperability where possible, with collaboration from a growing user base employing MirageOS components in production and research.
You can see the main announcement for details, but a summary of new features includes:
- Solo5 integration allowing for easier unikernel deployment
- Smooth interoperability with OPAM, including management of external library dependencies
- Automatically generated, interlinked module documentation
- Module types for reporting errors
- Logging improvements
- Build system shift using
- Leaner codebase
Contribution from OCaml Labs comes in the form of Platform improvements, specifically documentation infrastructure, package distribution with
topkg, and other OCaml tooling and libraries.
The release of 3.0.0 involves a huge amount of work from a growing MirageOS community, resulting in more compact but flexible applications that run as self-contained virtual machines - it’s now easier than ever to use MirageOS: get started here!
- Multicore OCaml ARM64 Backend
- Cambio, OCaml and Karaoke at the MirageOS Marrakech Hack Retreat 2017
- Using Menhir to Build Grammar Attributes
- OCaml 4.04.1 Released
- Parsing the Email Standard with TypeBeat
- An OCaml Backend for Agda with Malfunctional Programming
- Databox Open-Source Software Community Launch
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis