Mirageos

Mollymawk can automatically scale your deployed unikernels to maintain stability and resilience.

Read the post on "Delimited Continuations vs Lwt for Threads" from our blog.

Get an overview of the Unikraft backend support for MirageOS, including performance benchmarks on different devices.

Read the post on "How MirageOS Powers Docker Desktop" from our blog.

NetHSM is a secure, open-source software-based Hardware Security Module (HSM) built on OCaml and MirageOS, providing transparent, customizable cryptographic key management for applications like TLS, DNSSEC, and blockchain.

Read the documentation page on Overview of MirageOS from our wiki.

MirageOS Security Advisory 03 - infinite loop in console output on xen Module: solo5 Announced: 2022-12-07 Credits: Krzysztof Burghardt, Pierre Alain, Thomas Leonard, Hannes Mehnert Affects: solo5 = 0.6.6 & = 0.8.0 & 0.8.4 Corrected: 2022-12-07: solo5 0.7

After 2.5 years of silent period due to Covid 19, we re-started the MirageOS retreats in early October 2022. This time 15 people gathered in Mirleft (southern Morocco) since it is directly at the sea side, less crowded and stressful than Marrakesh. We had

Ported the Unix-based irmin-server to work in the browser, enabling efficient offline-first web applications with Irmin through WebSocket communication.