# \#mirageos

**URL:** https://discuss.ocaml.org/tag/mirageos/19.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [\[ANN\] opam-monorepo 0.5.0](https://discuss.ocaml.org/t/ann-opam-monorepo-0-5-0/18546)

<div class="topic-metadata">

**Author:** [@Firobe](https://discuss.ocaml.org/u/Firobe)\
**Replies:** 6\
**Last updated:** [September 28, 2026, 7:10am UTC](https://discuss.ocaml.org/t/ann-opam-monorepo-0-5-0/18546 "2026-09-28T07:10:23Z")

</div>

Hi everyone, I’m happy to announce the release of a new version of opam-monorepo, a tool to assemble monorepos of your projects dependencies to compile them at once with dune, mainly used by Mirage to allow for easy cro…

---

## [Opam-nix and the solo5 toolchain](https://discuss.ocaml.org/t/opam-nix-and-the-solo5-toolchain/18512)

<div class="topic-metadata">

**Author:** [@RaoulHC](https://discuss.ocaml.org/u/RaoulHC)\
**Replies:** 4\
**Last updated:** [September 8, 2026, 9:45pm UTC](https://discuss.ocaml.org/t/opam-nix-and-the-solo5-toolchain/18512 "2026-09-08T21:45:28Z")

</div>

I’m trying have a go with MirageOS following the uniker.nl site, but I’m using nixos with opam-nix so am running into issues with the solo5 toolchain. Opam-nix has always worked quite nicely for me with normal packages, …

---

## [Email and smtp for Mirage](https://discuss.ocaml.org/t/email-and-smtp-for-mirage/18455)

<div class="topic-metadata">

**Author:** [@aguluman](https://discuss.ocaml.org/u/aguluman)\
**Replies:** 6\
**Last updated:** [September 2, 2026, 8:05am UTC](https://discuss.ocaml.org/t/email-and-smtp-for-mirage/18455 "2026-09-02T08:05:41Z")

</div>

Hello @hannes This is a side questions, I am not 100% certain as I do not remember correctly, But did you create a mail or smtp (postfix) stuff in OCaml for mirage ecosystem? Apologies for sending it here. Once you r…

---

## [MirageOS on Unikraft](https://discuss.ocaml.org/t/mirageos-on-unikraft/16975)

<div class="topic-metadata">

**Author:** [@shym](https://discuss.ocaml.org/u/shym)\
**Replies:** 2\
**Last updated:** [July 13, 2026, 3:32pm UTC](https://discuss.ocaml.org/t/mirageos-on-unikraft/16975 "2026-07-13T15:32:17Z")

</div>

On behalf of all the developers involved (namely @fabbing, @Firobe, @n-osborne and me), it’s my pleasure to announce that the first release of the Unikraft backend support in MirageOS unikernels. Unikraft is a unikernel…

---

## [\[ANN\] Solo5 0.12.0](https://discuss.ocaml.org/t/ann-solo5-0-12-0/18320)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [July 2, 2026, 7:15pm UTC](https://discuss.ocaml.org/t/ann-solo5-0-12-0/18320 "2026-07-02T19:15:09Z")

</div>

We are delighted to announce the release of Solo5 0.12.0. This has two distinct features: a new hvt backend for DragonFlyBSD nvmm, thanks to first-time contributor Michael Neumann, and soft power-off of virtio unikernels …

---

## [MirageOS and QEMU devices: technical and philosophical questions](https://discuss.ocaml.org/t/mirageos-and-qemu-devices-technical-and-philosophical-questions/17962)

<div class="topic-metadata">

**Author:** [@bensmrs](https://discuss.ocaml.org/u/bensmrs)\
**Replies:** 0\
**Last updated:** [April 8, 2026, 9:00am UTC](https://discuss.ocaml.org/t/mirageos-and-qemu-devices-technical-and-philosophical-questions/17962 "2026-04-08T09:00:56Z")

</div>

TL;DR: I’m currently developing MirageOS packages to support some QEMU devices and this work cannot align with the usual mirage-$device-$target convention, as QEMU works with several targets (one of which being virtio, w…

---

## [Ideas for bachelors thesis in OCaml](https://discuss.ocaml.org/t/ideas-for-bachelors-thesis-in-ocaml/17848)

<div class="topic-metadata">

**Author:** [@Jaka\_Furlan](https://discuss.ocaml.org/u/Jaka_Furlan)\
**Replies:** 6\
**Last updated:** [February 28, 2026, 11:51pm UTC](https://discuss.ocaml.org/t/ideas-for-bachelors-thesis-in-ocaml/17848 "2026-02-28T23:51:41Z")

</div>

Hello OCaml discuss! I am a third year student of computer science and mathematics. As I have to write my bachelors thesis this year I decided that I want my thesis to be oriented around OCaml. I would realy love to do …

---

## [Renaming of the opam package "mirage-crypto" to "crypto"](https://discuss.ocaml.org/t/renaming-of-the-opam-package-mirage-crypto-to-crypto/17792)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 4\
**Last updated:** [February 9, 2026, 7:58pm UTC](https://discuss.ocaml.org/t/renaming-of-the-opam-package-mirage-crypto-to-crypto/17792 "2026-02-09T19:58:19Z")

</div>

Dear everyone, every now and then there’s confusion about the “mirage-crypto” opam package. It is not only for MirageOS, but works very fine in a pure OCaml environment (with whatever asynchronous event system you are u…

---

## [MirageOS: Lwt loop architecture and block device best practices](https://discuss.ocaml.org/t/mirageos-lwt-loop-architecture-and-block-device-best-practices/17724)

<div class="topic-metadata">

**Author:** [@cr4zsci](https://discuss.ocaml.org/u/cr4zsci)\
**Replies:** 7\
**Last updated:** [January 30, 2026, 9:16am UTC](https://discuss.ocaml.org/t/mirageos-lwt-loop-architecture-and-block-device-best-practices/17724 "2026-01-30T09:16:08Z")

</div>

Hi everyone, I have two questions regarding MirageOS architecture and storage: Lwt event loop: Does the entire unikernel run within a single, global Lwt main loop? Do all jobs share the same event loop? Block I/O …

---

## [\[ANN\] 15th MirageOS retreat May 13th - 20th](https://discuss.ocaml.org/t/ann-15th-mirageos-retreat-may-13th-20th/16085)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 2\
**Last updated:** [June 19, 2025, 4:56pm UTC](https://discuss.ocaml.org/t/ann-15th-mirageos-retreat-may-13th-20th/16085 "2025-06-19T16:56:05Z")

</div>

Dear everybody, we’ll have another MirageOS retreat in May 2025 (13th - 20th). Happy to see lots of old and new faces there. Please jump to https://retreat.mirageos.org for further details, and sign up and spread the w…

---

## [Blog post: Using model-based testing on a Mirage filesystem implementation](https://discuss.ocaml.org/t/blog-post-using-model-based-testing-on-a-mirage-filesystem-implementation/16666)

<div class="topic-metadata">

**Author:** [@gasche](https://discuss.ocaml.org/u/gasche)\
**Replies:** 2\
**Last updated:** [May 17, 2025, 12:33pm UTC](https://discuss.ocaml.org/t/blog-post-using-model-based-testing-on-a-mirage-filesystem-implementation/16666 "2025-05-17T12:33:29Z")

</div>

I am attending the MirageOS retreat in Marrakesh, with in particular: Mindy @yomimono, who implemented a small (but not so simple) file system for Mirage, Chamelon Armaël @armael, who is interested in testing effectful…

---

## [MirageOS on OCaml 5](https://discuss.ocaml.org/t/mirageos-on-ocaml-5/15822)

<div class="topic-metadata">

**Author:** [@shym](https://discuss.ocaml.org/u/shym)\
**Replies:** 0\
**Last updated:** [December 20, 2024, 4:57pm UTC](https://discuss.ocaml.org/t/mirageos-on-ocaml-5/15822 "2024-12-20T16:57:03Z")

</div>

On behalf of all the numerous developers involved, it’s my pleasure to announce that the MirageOS ecosystem has seen the long-running work to port to OCaml 5 come to fruition: ocaml-solo5 v1.0 is now using OCaml 5.2.1! W…

---

## [A SOCKS implementation for OCaml](https://discuss.ocaml.org/t/a-socks-implementation-for-ocaml/9041)

<div class="topic-metadata">

**Author:** [@renatoalencar](https://discuss.ocaml.org/u/renatoalencar)\
**Replies:** 4\
**Last updated:** [December 19, 2024, 9:44pm UTC](https://discuss.ocaml.org/t/a-socks-implementation-for-ocaml/9041 "2024-12-19T21:44:33Z")

</div>

I have been working on a SOCKS implementation for OCaml and specially for MirageOS. It’s not really complete or stable yet (not even published), it only has a couple of proof of concepts on the examples directory and it …

---

## [\[ANN\] mirage-swapfs](https://discuss.ocaml.org/t/ann-mirage-swapfs/15583)

<div class="topic-metadata">

**Author:** [@reynir](https://discuss.ocaml.org/u/reynir)\
**Replies:** 0\
**Last updated:** [November 9, 2024, 3:40pm UTC](https://discuss.ocaml.org/t/ann-mirage-swapfs/15583 "2024-11-09T15:40:49Z")

</div>

I am pleased to announce the first release of mirage-swapfs (swapfs on opam). It is an experimental library to use a mirage block device for ephemeral, append-only, anonymous “files”. It was developed for use cases such …

---

## [\[ANN\] GPTar 1.0.0](https://discuss.ocaml.org/t/ann-gptar-1-0-0/15527)

<div class="topic-metadata">

**Author:** [@reynir](https://discuss.ocaml.org/u/reynir)\
**Replies:** 1\
**Last updated:** [October 31, 2024, 8:37am UTC](https://discuss.ocaml.org/t/ann-gptar-1-0-0/15527 "2024-10-31T08:37:58Z")

</div>

I am pleased to announce GPTar 1.0.0! GPTar is a small library to create a tartition table, that is, a tar archive that also contains a valid GUID partition table (GPT). It exploits the fact that the important areas of…

---

## [\[ANN\] Some MirageOS unikernels: DNS servers, CalDAV](https://discuss.ocaml.org/t/ann-some-mirageos-unikernels-dns-servers-caldav/4115)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [July 18, 2019, 6:49pm UTC](https://discuss.ocaml.org/t/ann-some-mirageos-unikernels-dns-servers-caldav/4115 "2019-07-18T18:49:08Z")

</div>

Hi, apart from libraries and development tools, we’ve been working quite a bit on more realistic MirageOS applications which may be useful for you. Namely DNS authoritative servers (primary that have their zones in a git…

---

## [FSFE & MirageOS podcast](https://discuss.ocaml.org/t/fsfe-mirageos-podcast/14927)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [July 8, 2024, 7:00am UTC](https://discuss.ocaml.org/t/fsfe-mirageos-podcast/14927 "2024-07-08T07:00:50Z")

</div>

Dear everybody, I recently was interviewed by Matthias Kirschner from FSFE about MirageOS (+ OCaml). The result is a podcast SFP#25: MirageOS and OCaml with Hannes Mehnert and Matthias Kirschner - FSFE Spread the word,…

---

## [Mirage 4.5.0 released](https://discuss.ocaml.org/t/mirage-4-5-0-released/14518)

<div class="topic-metadata">

**Author:** [@samoht](https://discuss.ocaml.org/u/samoht)\
**Replies:** 0\
**Last updated:** [April 19, 2024, 2:12pm UTC](https://discuss.ocaml.org/t/mirage-4-5-0-released/14518 "2024-04-19T14:12:11Z")

</div>

On behalf of the Mirage team, I’m happy to announce the release of MirageOS 4.5.0. This was merged in opam-repository last week, so it should be available just in time for the upcoming 14th MirageOS hack retreat! This r…

---

## [MirageOS support for Raspberry Pi 4 GPIO](https://discuss.ocaml.org/t/mirageos-support-for-raspberry-pi-4-gpio/14199)

<div class="topic-metadata">

**Author:** [@JCLapin](https://discuss.ocaml.org/u/JCLapin)\
**Replies:** 3\
**Last updated:** [February 27, 2024, 5:10pm UTC](https://discuss.ocaml.org/t/mirageos-support-for-raspberry-pi-4-gpio/14199 "2024-02-27T17:10:30Z")

</div>

Hi, I am trying to execute a Virtual Machine running MirageOS on top of a RPi 4 and access its GPIO to read/write. Does MirageOS supports access to the RPi GPIO? How can that be achieved? Thanks

---

## [MirageOS hack retreat 2024 edition (April 22nd - 28th)](https://discuss.ocaml.org/t/mirageos-hack-retreat-2024-edition-april-22nd-28th/14002)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 2\
**Last updated:** [February 25, 2024, 5:30pm UTC](https://discuss.ocaml.org/t/mirageos-hack-retreat-2024-edition-april-22nd-28th/14002 "2024-02-25T17:30:37Z")

</div>

Dear valued OCaml enthusiast, it is my pleasure to distribute the news that there will be a next face-to-face meeting of MirageOS people in sunny Marrakesh, Morocco. This time it is in late April, and we’re keen to say…

---

## [\[ANN\] Esperanto, when OCaml meets Cosmopolitan](https://discuss.ocaml.org/t/ann-esperanto-when-ocaml-meets-cosmopolitan/10501)

<div class="topic-metadata">

**Author:** [@dinosaure](https://discuss.ocaml.org/u/dinosaure)\
**Replies:** 3\
**Last updated:** [December 21, 2023, 3:27pm UTC](https://discuss.ocaml.org/t/ann-esperanto-when-ocaml-meets-cosmopolitan/10501 "2023-12-21T15:27:10Z")

</div>

I am delighted to present the first experimental release of Esperanto. This project is a new OCaml toolchain that creates binaries compiled with the Cosmopolitan C library and linked with the αcτµαlly pδrταblε εxεcµταblε …

---

## [13th MirageOS retreat in Marrakesh, Morocco (November 20th - 26th 2023)](https://discuss.ocaml.org/t/13th-mirageos-retreat-in-marrakesh-morocco-november-20th-26th-2023/12781)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [August 7, 2023, 1:56pm UTC](https://discuss.ocaml.org/t/13th-mirageos-retreat-in-marrakesh-morocco-november-20th-26th-2023/12781 "2023-08-07T13:56:30Z")

</div>

Hey, in November there’ll be the next retreat taking place in Marrakesh, Morocco. Happy to see old and new faces there, everyone is welcome (an interest in OCaml/MirageOS is nice to bring with you). Further information…

---

## [\[ANN\] happy-eyeballs, dns, http-{lwt,mirage}-client ++ writeup of happy-eyeballs issue and fix](https://discuss.ocaml.org/t/ann-happy-eyeballs-dns-http-lwt-mirage-client-writeup-of-happy-eyeballs-issue-and-fix/12550)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [July 6, 2023, 8:23am UTC](https://discuss.ocaml.org/t/ann-happy-eyeballs-dns-http-lwt-mirage-client-writeup-of-happy-eyeballs-issue-and-fix/12550 "2023-07-06T08:23:00Z")

</div>

Dear OCaml people, some time ago we encountered issues in the connection establishment of http-lwt-client in a GitHub action (using a pre-commit.com) hook. It was quite some journey from surfacing issue “HTTP connection…

---

## [\[ANN\[ awa-ssh release 0.3](https://discuss.ocaml.org/t/ann-awa-ssh-release-0-3/12454)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [June 21, 2023, 7:15am UTC](https://discuss.ocaml.org/t/ann-awa-ssh-release-0-3/12454 "2023-06-21T07:15:50Z")

</div>

Hey, I’m pleased to announce the release 0.3.0 of awa-ssh. This is a pure implementation of the SSH protocol in OCaml. It started out as a server implementation by @haesbaert, and was then further developed by @hannes (…

---

## [Irmin: examples or pointers of interacting with remote repositories (esp using authentication via ssh)](https://discuss.ocaml.org/t/irmin-examples-or-pointers-of-interacting-with-remote-repositories-esp-using-authentication-via-ssh/10648)

<div class="topic-metadata">

**Author:** [@shonfeder](https://discuss.ocaml.org/u/shonfeder)\
**Replies:** 14\
**Last updated:** [May 24, 2023, 8:05am UTC](https://discuss.ocaml.org/t/irmin-examples-or-pointers-of-interacting-with-remote-repositories-esp-using-authentication-via-ssh/10648 "2023-05-24T08:05:03Z")

</div>

Greetings! I am having some trouble understanding how to work with remote repos in Irmin, and hoping someone here could help. I have consulted the tutorial docs, the api docs, and the examples, in addition to looking at…

---

## [SIGILL crash in Mirage\_crypto\_pk.Rsa.generate](https://discuss.ocaml.org/t/sigill-crash-in-mirage-crypto-pk-rsa-generate/12209)

<div class="topic-metadata">

**Author:** [@mro](https://discuss.ocaml.org/u/mro)\
**Replies:** 7\
**Last updated:** [May 23, 2023, 2:02pm UTC](https://discuss.ocaml.org/t/sigill-crash-in-mirage-crypto-pk-rsa-generate/12209 "2023-05-23T14:02:53Z")

</div>

when building a static binary on my development machine with a rather fresh switch and copying the binary to a 2nd machine I get a crashing binary. The minimum program is let () = Mirage\_crypto\_rng\_lwt.initialize (mod…

---

## [MirageOS retreat in Marrakech May 1st - 7th](https://discuss.ocaml.org/t/mirageos-retreat-in-marrakech-may-1st-7th/11572)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 0\
**Last updated:** [March 3, 2023, 11:55am UTC](https://discuss.ocaml.org/t/mirageos-retreat-in-marrakech-may-1st-7th/11572 "2023-03-03T11:55:57Z")

</div>

Dear (aspiring) MirageOS hacker, it is my please to announce that there will be the 12th MirageOS retreat in early May in Marrakech, Morocco. Please find more details, including writeups of earlier retreats at https://r…

---

## [\[ANN\] B·o·B, an universal & secure peer-to-peer file-transfer in OCaml](https://discuss.ocaml.org/t/ann-b-o-b-an-universal-secure-peer-to-peer-file-transfer-in-ocaml/10833)

<div class="topic-metadata">

**Author:** [@dinosaure](https://discuss.ocaml.org/u/dinosaure)\
**Replies:** 7\
**Last updated:** [December 14, 2022, 4:29pm UTC](https://discuss.ocaml.org/t/ann-b-o-b-an-universal-secure-peer-to-peer-file-transfer-in-ocaml/10833 "2022-12-14T16:29:49Z")

</div>

I am very pleased to announce the experimental distribution of Bob available on this website. Bob is an OCaml-based file-sharing application. For the Robur team, this is our first application using the Esperanto project …

---

## [Mirage retreat October 3rd - 9th](https://discuss.ocaml.org/t/mirage-retreat-october-3rd-9th/10363)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 1\
**Last updated:** [November 7, 2022, 6:57pm UTC](https://discuss.ocaml.org/t/mirage-retreat-october-3rd-9th/10363 "2022-11-07T18:57:14Z")

</div>

Dear (aspiring) MirageOS hacker, it is my please to announce that there will be the 11th MirageOS retreat in early October in Mirleft, southern Morocco – yes, this time at the seaside. Please find more details, includin…

---

## [\[ANN\] opam-mirror: a MirageOS unikernel that provides an opam repository and cache](https://discuss.ocaml.org/t/ann-opam-mirror-a-mirageos-unikernel-that-provides-an-opam-repository-and-cache/10549)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 2\
**Last updated:** [October 8, 2022, 4:17pm UTC](https://discuss.ocaml.org/t/ann-opam-mirror-a-mirageos-unikernel-that-provides-an-opam-repository-and-cache/10549 "2022-10-08T16:17:26Z")

</div>

We at robur developed opam-mirror in the last month and run a public opam mirror at https://opam.robur.coop (updated hourly). This was nice collaborative work with @reynir and @dinosaure, and we have an article Mirrorin…

[Next page](https://discuss.ocaml.org/tag/mirageos/19.md?match_all_tags=true&page=1&tags%5B%5D=mirageos)
