Xen project Mailing List

MirageOS meeting (04/01/2023)

To: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>

From: Romain Calascibetta <romain.calascibetta@xxxxxxxxx>

Date: Wed, 4 Jan 2023 14:55:22 +0100

Delivery-date: Wed, 04 Jan 2023 13:55:55 +0000

List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

Hello everyone and happy new year,

Today the MirageOS meeting was held with Pierre and myself. We mainly talked about the PR initiated by Kate at the MirageOS retreat for OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122

It seems that the Hello World example and the qubes-firewall work with this PR which is very good news for this new year. I'll probably get busy next week to clean up the PR and test with KVM. Thanks to Pierre and Christiano for their work.

Otherwise, as usual, the next meeting will be on 18 January (14:00 CET).

Best,

Romain Calascibetta - http://blog.osau.re/