Re: MirageOS meeting (04/01/2023)

[Romain Calascibetta <romain.calascibetta@xxxxxxxxx>]

Hi,

I will try to check the support of KVM (Solo5/hvt) this week with OCaml 5 but it seems that the support of Xen works fine. The difference between them is not so huge at this level (ocaml-solo5) so it will probably work.

Of course, we will ensure the support of all of these targets (including seccomp) as we do currently :) (for OCaml 4.{12,13,14}).

On Sun, Jan 8, 2023 at 7:13 PM Jason Long <hack3rcon@xxxxxxxxx> wrote:

Hello,

How about KVM? The MirageOS is with Xen. Am I wrong?

Tnx.

Sent from Yahoo Mail on Android

On Wed, Jan 4, 2023 at 5:25 PM, Romain Calascibetta

<romain.calascibetta@xxxxxxxxx> wrote:

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/

--

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