From mirageos-devel-bounces@lists.xenproject.org Wed Oct 22 10:40:59 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 22 Oct 2025 10:40:59 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1147925.1480051 (Exim 4.92) (envelope-from ) id 1vBWGu-0004Xp-Q3; Wed, 22 Oct 2025 10:40:48 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1147925.1480051; Wed, 22 Oct 2025 10:40:48 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vBWGu-0004Xi-NV; Wed, 22 Oct 2025 10:40:48 +0000 Received: by outflank-mailman (input) for mailman id 1147925; Wed, 22 Oct 2025 10:40:48 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vBWGt-0004Xc-Ir for mirageos-devel@lists.xenproject.org; Wed, 22 Oct 2025 10:40:48 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 8e3acf5a-af33-11f0-980a-7dc792cee155; Wed, 22 Oct 2025 12:40:41 +0200 (CEST) Received: from [192.168.2.169] (unknown [62.27.231.2]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id A56FE8D13 for ; Wed, 22 Oct 2025 12:40:40 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 8e3acf5a-af33-11f0-980a-7dc792cee155 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1761129640; bh=Cf51avX1Pw4NgGqvSPD2tds0pA4ZP+JiDetmZ9z+AE8=; h=Date:Subject:To:References:From:In-Reply-To; b=ctXoy2llB2WtmpmFRMXdgXNimfEOmOJqt+OnaafixKJOAsqC6zpZofqx/13PoxVMs xEw8YkrJFJDH+9vlM7oW619T4U4KmUPxYxsq/vMA5KT4kzeZ3MXUKl9D/Tm0BL4Eej r4VZJ39253JWnr1oaNB2VfDpzNalSQfKpVkAiaU5a2FC7c8aG1ABVe4PiZv8fSaxHO GG/LUv1u2u43q6kWjE1k063nWNJPuesJVvArSP8jHMJ+69rHWtpIk5fAmDwgXL7RiA nlVnfV6ucQQqDDF23e0S3cWmsn2n9eDSvhZsSe1JXdQVMLzoILPLDSunnE8N0WtC6W SFYrBRjoqTpYg== Message-ID: Date: Wed, 22 Oct 2025 12:40:40 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: MirageOS community meeting on Mon Oct 27th 10 - 12 CET To: mirageos-devel@lists.xenproject.org References: <7478e5b1-2ed7-4963-81be-6a5e66911a9e@mehnert.org> Content-Language: en-US From: Hannes Mehnert In-Reply-To: <7478e5b1-2ed7-4963-81be-6a5e66911a9e@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear everyone, let's have a next meeting next Monday. Have a nice day, Hannes The minutes from the September meeting are following: - Participants: Hannes, Pierre, Sai, Virgile, Reynir, Sam, yomimono ## who's around? ### Sai is a research scholar working with KC Sivaramakrishnan; in systems and security. Working on porting MirageOS to RISC-V, and adding compartmentalization to it. ### Reynir is in Denmark -- Sai means tough in Danish; works at robur.coop on MirageOS, and applications using MirageOS ### Virgile works at Tarides with Sam; mainly interested on the Unikraft backend for MirageOS (esp. performance related) - to get MirageOS into space ### Pierre in France, works on MirageOS and QubesOS; so on the Xen backend ### Hannes works on MirageOS as part of robur.coop; goal is to get MirageOS deployed ### Sam works at Tarides, on the Unikraft backend. Wonders whether it works for other people than himself ## Mirage release, PRs - hannes will merge and cut a release - Virgile asked about the workload, and working on issues and review of PRs is always welcome - for unikraft, there are some outstanding PRs ### PR "Adding local libs feature" - https://github.com/mirage/mirage/pull/1609 - there are some issues with CI ### Unikraft https://github.com/mirage/mirage/pull/1607 ### git-kv https://github.com/mirage/mirage/pull/1606 ## CI of mirage/mirage - based on https://github.com/ocurrent/mirage-ci - there's https://github.com/ocurrent/mirage-ci/pull/51 - our goal would be to have one build with 4.14 and one with 5.3 - Virgile will either ping Mark or review/merge ## Sai: Porting MirageOS to RISC-V - already ported version 3.10 by: - mimicking what solo5 does - having specific cross-compiled versions of packages - how to get started to port it over to 4.x? - there's the ocaml-solo5 package which needs RISC-V support - the goal is a bare-metal version ## ocaml-solo5 / ocaml-unikraft and OCaml 5.4? - Sam: didn't test, but usually there should be only two patches needed - Sam is happy to PR the 5.4 support for ocaml-solo5/ocaml-unikraft - Virgile even if we don't have formal time, we should find the time to maintain it ## MirageOS on seL4 - there's an intern (Kacper Michalik) at Tarides looking into that ## miou-solo5 work with MirageOS - uses ocaml-solo5 and miou (https://git.robur.coop/robur/miou-solo5) ## GSO and Xen - offload packet reassembly/fragmentation to the hardware (or host system) - Pierre is working hard on that, to gain more performance esp. on Xen - currently the improvement (on Linux without GSO is 700 MBit, with GSO is 3 GBit) - it's WIP, will give updates at a later time ## bigarray vs bytes - unrelated to the GSO - cstruct.t is backed by a Bytes.t instead of Bigarray - the hope & expectations aren't not yet reflected in the benchmarks - we need to investigate more to figure out where the performance drops - helps to reduce (bigarray) allocation by plugging a custom memory allocator, and finding the places where bigarrays are still allocated (that could be reused) On 28/08/2025 09:29, Hannes Mehnert wrote: > Dear everyone, > > I hope you had a great summer break. It is my pleasure to invite you to > the upcoming MirageOS community meeting on Monday Sep 1st between 10:00 > and 12:00 CEST. > > We meet as usual at https://meet.jit.si/MirageOS -- the agenda and notes > will be discussed and transcribed at https://pad.data.coop/ > To6IOSeNSOK9kFVlgo7XWw?both# > > > Looking forward to see you soon, > > Hannes >