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!
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis
- Databox Launch Event: 24th March, Cambridge
- Formalizing the OCaml multicore memory model
- MirageOS Hack Event 2017 in Marrakech
- Irmin 1.0 Released!
- Scaling Software Modularization with Topkg
- Making PPXs portable with ocaml-migrate-parsetree
- Feedback on cmdliner doc language changes