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!
- Intel Hyper-Threading Bug Uncovered by OCaml Developers
- Unsigned Integers as Built-In Types or as a Library?
- A Week of Platform Releases: Odig, Odoc, Opam Bundle and More!
- Why Jbuilder? Demonstration and Discussion
- OCaml Compiler Hacking May 2017 - Activity Summaries
- Opam 2.0.0 beta 3
- 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