From mirageos-devel-bounces@lists.xenproject.org Sun Feb 04 19:04:41 2024 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 04 Feb 2024 19:04:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.675621.1050988 (Exim 4.92) (envelope-from ) id 1rWhn1-00073x-5j; Sun, 04 Feb 2024 19:04:27 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 675621.1050988; Sun, 04 Feb 2024 19:04:27 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rWhn1-00073q-2m; Sun, 04 Feb 2024 19:04:27 +0000 Received: by outflank-mailman (input) for mailman id 675621; Sun, 04 Feb 2024 19:04:26 +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 1rWhn0-00073g-9U for mirageos-devel@lists.xenproject.org; Sun, 04 Feb 2024 19:04:26 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3439fa8f-c390-11ee-98f5-efadbce2ee36; Sun, 04 Feb 2024 20:04:23 +0100 (CET) Received: from [192.168.42.12] (i59F5C971.versanet.de [89.245.201.113]) (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 590D81946A for ; Sun, 4 Feb 2024 20:04:20 +0100 (CET) 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: 3439fa8f-c390-11ee-98f5-efadbce2ee36 Message-ID: Date: Sun, 4 Feb 2024 20:04:20 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Hannes Mehnert Subject: 14th MirageOS retreat - April 22nd - 28th Reply-To: retreat2024@nqsb.io To: mirageos-devel Content-Language: en-US Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear friends, it is my pleasure to tell there'll be a next MirageOS retreat in Marrakesh. It will take place April 22nd - 28th, please register early by eMail to retreat2024@nqsb.io. There's an early bird discount if you register within the next 10 days (and pay by end of February). Spread the word! Further information https://retreat.mirage.io (as usual). Hope to see you all soon, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Feb 20 16:42:12 2024 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 20 Feb 2024 16:42:12 +0000 Received: from list by lists.xenproject.org with outflank-mailman.683623.1063223 (Exim 4.92) (envelope-from ) id 1rcTBw-00089D-6r; Tue, 20 Feb 2024 16:42:00 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 683623.1063223; Tue, 20 Feb 2024 16:42:00 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rcTBw-000896-3C; Tue, 20 Feb 2024 16:42:00 +0000 Received: by outflank-mailman (input) for mailman id 683623; Tue, 20 Feb 2024 16:41:59 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rcTBv-000890-Jl for mirageos-devel@lists.xenproject.org; Tue, 20 Feb 2024 16:41:59 +0000 Received: from relay9-d.mail.gandi.net (relay9-d.mail.gandi.net [217.70.183.199]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f60fed14-d00e-11ee-8a52-1f161083a0e0; Tue, 20 Feb 2024 17:41:57 +0100 (CET) Received: by mail.gandi.net (Postfix) with ESMTPSA id 65235FF803 for ; Tue, 20 Feb 2024 16:41:56 +0000 (UTC) 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: f60fed14-d00e-11ee-8a52-1f161083a0e0 From: Thomas Gazagnaire Content-Type: multipart/alternative; boundary="Apple-Mail=_C9705E3B-9D15-49C1-AA05-AFEC07174017" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\)) Subject: MirageOS meeting 2024-02-26 - 9:00 CEST Message-Id: <6B44BA12-EDE1-4A2D-930D-DDAA6A40BCA0@gazagnaire.org> Date: Tue, 20 Feb 2024 17:41:46 +0100 To: mirageos-devel X-Mailer: Apple Mail (2.3774.300.61.1.2) X-GND-Sasl: thomas@gazagnaire.org --Apple-Mail=_C9705E3B-9D15-49C1-AA05-AFEC07174017 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi everyone, I=E2=80=99m happy to announce that we are restarting the MirageOS = bi-weekly calls. Everyone is welcome to attend to share, build and learn = together. It=E2=80=99s a good opportunity to discuss the current and = future projects (including where PR reviews are needed :p) The next one will be next Monday (26th of February) at 9am CEST. The Zoom link for the meeting is = https://us06web.zoom.us/j/85369924110?pwd=3DWj7Hhu79mBH4eiQbequQVjwdOLkZRq= .1 =E2=80=94 I=E2=80=99ll share an agenda before the meeting, but = meanwhile please do not hesitate to share topics that might be of = interest (either by replying to my message on the list or to me = directly). Best, Thomas= --Apple-Mail=_C9705E3B-9D15-49C1-AA05-AFEC07174017 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Hi = everyone,

I=E2=80=99m = happy to announce that we are restarting the MirageOS bi-weekly calls. = Everyone is welcome to attend to share, build and learn together. It=E2=80= =99s a good opportunity to discuss the current and future projects = (including where PR reviews are needed :p)

The next one will be next Monday (26th of = February) at 9am CEST.

The Zoom link for the meeting is https://us06web.zoom.us/j/85369924110?pwd=3DWj7Hhu79mBH4eiQbeq= uQVjwdOLkZRq.1 =E2=80=94 I=E2=80=99ll share an agenda before the = meeting, but meanwhile please do not hesitate to share topics that might = be of interest (either by replying to my message on the list or to me = directly).

Best,
Thomas= --Apple-Mail=_C9705E3B-9D15-49C1-AA05-AFEC07174017-- From mirageos-devel-bounces@lists.xenproject.org Tue Feb 20 18:56:01 2024 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 20 Feb 2024 18:56:01 +0000 Received: from list by lists.xenproject.org with outflank-mailman.683705.1063273 (Exim 4.92) (envelope-from ) id 1rcVHS-0000FX-9j; Tue, 20 Feb 2024 18:55:50 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 683705.1063273; Tue, 20 Feb 2024 18:55:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rcVHS-0000FL-6u; Tue, 20 Feb 2024 18:55:50 +0000 Received: by outflank-mailman (input) for mailman id 683705; Tue, 20 Feb 2024 18:55:49 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rcVHR-0000FF-Dk for mirageos-devel@lists.xenproject.org; Tue, 20 Feb 2024 18:55:49 +0000 Received: from relay7-d.mail.gandi.net (relay7-d.mail.gandi.net [2001:4b98:dc4:8::227]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id a7fc6996-d021-11ee-8a52-1f161083a0e0; Tue, 20 Feb 2024 19:55:47 +0100 (CET) Received: by mail.gandi.net (Postfix) with ESMTPSA id 0E85720003 for ; Tue, 20 Feb 2024 18:55:45 +0000 (UTC) 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: a7fc6996-d021-11ee-8a52-1f161083a0e0 From: Thomas Gazagnaire Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\)) Subject: Re: MirageOS meeting 2024-02-26 - 9:00 CEST Date: Tue, 20 Feb 2024 19:55:35 +0100 References: <6B44BA12-EDE1-4A2D-930D-DDAA6A40BCA0@gazagnaire.org> To: mirageos-devel In-Reply-To: <6B44BA12-EDE1-4A2D-930D-DDAA6A40BCA0@gazagnaire.org> Message-Id: X-Mailer: Apple Mail (2.3774.300.61.1.2) X-GND-Sasl: thomas@gazagnaire.org > I=E2=80=99ll share an agenda before the meeting, And here is a tentative agenda: = https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA Feel free to add any topics/ideas to discuss. Best, Thomas= From mirageos-devel-bounces@lists.xenproject.org Mon Feb 26 07:55:22 2024 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 26 Feb 2024 07:55:22 +0000 Received: from list by lists.xenproject.org with outflank-mailman.685278.1065742 (Exim 4.92) (envelope-from ) id 1reVpN-0003AE-DH; Mon, 26 Feb 2024 07:55:09 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 685278.1065742; Mon, 26 Feb 2024 07:55:09 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1reVpN-0003A7-Ac; Mon, 26 Feb 2024 07:55:09 +0000 Received: by outflank-mailman (input) for mailman id 685278; Mon, 26 Feb 2024 07:55:08 +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 1reVpM-00039z-99 for mirageos-devel@lists.xenproject.org; Mon, 26 Feb 2024 07:55:08 +0000 Received: from relay2-d.mail.gandi.net (relay2-d.mail.gandi.net [217.70.183.194]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 5a64cb58-d47c-11ee-98f5-efadbce2ee36; Mon, 26 Feb 2024 08:55:06 +0100 (CET) Received: by mail.gandi.net (Postfix) with ESMTPSA id A8AF940009 for ; Mon, 26 Feb 2024 07:55:04 +0000 (UTC) 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: 5a64cb58-d47c-11ee-98f5-efadbce2ee36 From: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\)) Subject: Re: MirageOS meeting 2024-02-26 - 9:00 CEST Date: Mon, 26 Feb 2024 08:54:54 +0100 References: <6B44BA12-EDE1-4A2D-930D-DDAA6A40BCA0@gazagnaire.org> To: mirageos-devel In-Reply-To: Message-Id: X-Mailer: Apple Mail (2.3774.300.61.1.2) X-GND-Sasl: thomas@gazagnaire.org Reminder, the MirageOS bi-weekly meeting is happening in 5 minutes. Zoom link: = https://us06web.zoom.us/j/85369924110?pwd=3DWj7Hhu79mBH4eiQbequQVjwdOLkZRq= .1=20 Agenda: https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA See you there, Thomas From mirageos-devel-bounces@lists.xenproject.org Mon Feb 26 12:15:19 2024 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 26 Feb 2024 12:15:19 +0000 Received: from list by lists.xenproject.org with outflank-mailman.685496.1066292 (Exim 4.92) (envelope-from ) id 1reZsx-0004BD-JE; Mon, 26 Feb 2024 12:15:07 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 685496.1066292; Mon, 26 Feb 2024 12:15:07 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1reZsx-0004B6-GQ; Mon, 26 Feb 2024 12:15:07 +0000 Received: by outflank-mailman (input) for mailman id 685496; Mon, 26 Feb 2024 12:15:06 +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 1reZsw-0004B0-Jn for mirageos-devel@lists.xenproject.org; Mon, 26 Feb 2024 12:15:06 +0000 Received: from mail-ed1-x531.google.com (mail-ed1-x531.google.com [2a00:1450:4864:20::531]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id abe660d5-d4a0-11ee-98f5-efadbce2ee36; Mon, 26 Feb 2024 13:15:04 +0100 (CET) Received: by mail-ed1-x531.google.com with SMTP id 4fb4d7f45d1cf-564372fb762so4336904a12.0 for ; Mon, 26 Feb 2024 04:15:04 -0800 (PST) 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: abe660d5-d4a0-11ee-98f5-efadbce2ee36 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708949703; x=1709554503; darn=lists.xenproject.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=/jlklkiDhaCbedhDm5MxQWTBErBNsmFomzUIBIgDFGg=; b=nEPtQpj1EA/hPseqiVdSn7Z1ucLB2ZutYM44UYsAMPpieKfGnejj5tm2eNR3pG5up9 FTuXkRTpVHUCrJG+Nmgt01f2v5ZV9NrWWkvn1C9RRNQzhB+rwbHYjKmm1un2l7NV5yO7 3UbIraDj1u9ZS3/9FK/0XkQyqy8ekgM8kS2G+YXREHc3gUSrPME+q6baIfgBFR6t0SEr erP+TrEA5FBz6Wv0HjrZz5NCFLptZC6/ilLfPCuRLFn/5GKsrNygjl4B98FBq9M3uC/+ X599dXlH4alFdN5RbGpKeSeW9W3mewpuG45VyjPGg+D+TA6BX0YETrr3i9tf2Nz9x22q /hnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708949703; x=1709554503; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=/jlklkiDhaCbedhDm5MxQWTBErBNsmFomzUIBIgDFGg=; b=FJRtUJUFKh/RE6RB6D0A05DRfVuKN39zlvkRxMpjEaVADtLbot0+/bk/8roJOSElfV ZyKC3s3GTzpfn3HrU6a8W0NxQYeNXM36lwBCb0hR3oVdYrgEn1eNJJAEbgedAjxXdpww zJjPQDCvvUKKHE24ljkeaEBlBo0hjB4nhxBdGoYmzq0FO6NF9rDYGBc+5kzv2s+p/tQE +Z8FkvbwqC+yAW5ghjSmvUsGVwXiC6sL5tHD6qGPysDr7gLp0aDqCqGd79angvqCw3DY iUPmELB9pGmp/MOIbXNckf1IYXYil1sTUU6w6Y7+VPxcYqvoTy5WOAnCSwaNTNuH5p2Y IJRQ== X-Gm-Message-State: AOJu0Yxsixx2sx2/aTYed/JCSa1z3Tej/XHbcLLEC24y94E91OBtAyCV 37DwAgSys4R3NmGRj+cUMTnoCEf0XTJ288NaSVNAQrXuU0lGpdOs1kaDVUYkgURXGLssZSDflZv jz24yGf3MkESihXzw45QA2vxfZZy33IQRD+c= X-Google-Smtp-Source: AGHT+IGLVFRoKe9E13BqpDf04Xps253P3OHbD/2YMs12hR0N7YRSFfJ3tuX5b5EbtKGf34UMABZ4nf6YzY7lERwHyXE= X-Received: by 2002:a17:906:fb07:b0:a43:4876:983b with SMTP id lz7-20020a170906fb0700b00a434876983bmr1836752ejb.57.1708949703185; Mon, 26 Feb 2024 04:15:03 -0800 (PST) MIME-Version: 1.0 References: <6B44BA12-EDE1-4A2D-930D-DDAA6A40BCA0@gazagnaire.org> In-Reply-To: From: Romain Calascibetta Date: Mon, 26 Feb 2024 13:14:52 +0100 Message-ID: Subject: Re: MirageOS meeting 2024-02-26 - 9:00 CEST To: Thomas Gazagnaire Cc: mirageos-devel Content-Type: multipart/alternative; boundary="000000000000ff5957061247dbe3" --000000000000ff5957061247dbe3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable As before, this is what we talked at the meeting (the source comes from: https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA?both) # MirageOS community call ### 26/02/2024 - Present: dinosaure, Pierre, Hannes, Virgile, Thomas G. Thomas L., Samuel, Shakthi, Magnus - Agenda: - Meta: - Should we use Zoom or something else? - Pierre: Some universities cannot use Zoom on Linux. - Dinosaure: Prefers to use Jitsi. - Virgile: Can use Renater (which uses Jitsi) if someone has a renater account. - Pierre-Alain will investigate. - Hannes: there is the public instance jit.si where no registration is necessary (as used e.g. in the opam-repository meetings) - Should we use https://pad.data.coop/ or something else? =3D> Pad seems good! - Anyone willing to help organising these calls? (send , taking notes, etc.) - Next meeting will be organised by Magnus :-) Thanks (and Virgile is also happy to help) - MirageOS retreat update? - 16 people signed up! early-birds registration seems to work fine - still space available - even for a few days and/or for the week-end - mix of people that have been there before, and new people! - PR updates - solo5+ocaml5: https://github.com/mirage/ocaml-solo5/pull/124 - Samuel and Fabrice are trying to revive the PR. Cleaning up the x-compiler story for the OCaml compiler in a state that could be upstream. The goal is to clean up all the pieces are glued together. Still trying to understand how the various details are working (like memory allocation). Target: OCaml 5.2 (which include compaction) as many things have changed. - Hannes: there are 2 or 3 PRs that pretend to do something with OCaml 5. Some of them have a lots of comments from Christiano and others. Is there a plan to merge/review those comments too? Some stuff implemented in C were a bit brittle. Would be sad if we lose these reviews. - Samuel: plan is probably to open a new PR that adress all of the comments (#122, #124, #129). Many things have changed in 5.2. - Dinosaure: what's the issue with x-compilation? Samuel: many ways in the way ocaml-solo5 works is to patch the OCaml build system (with a few things broken as a result). Things are very brittle. We would like to have something more solid. Dinosaure: this seems independant? Could we decouple those concerns? Samuel: indeed. currently trying to understand how things work but the idea is to reduce the maintenance as well. and to understand what is needed for solo5 vs. x-compilation. Dinosaure: see ocaml-solo5#123 (most issues are related `configure`). Samuel: will talk to Sebastien next - mirage runtime keys v2: https://github.com/mirage/mirage/pull/149= 3 - Thomas: - use cmdliner directly, instead of a custom fork - keys are split into configuration time keys and runtime keys - the runtime ones are only defined at runtime - it is a breaking big change - Hannes: - configure-time: you select what libraries you want to use in the unikernel (keys) - runtime-time: you select some runtime parameters (ip address, etc.) - better type for key - issue: type errors, locations in generated code - Happy with the current state but do not have time to review fully - Thomas: - updated existing unikernels - worked on error locations (you need to pass `__LOC__`) - there's a OCaml compiler patch that does this automatically - ~all examples and documentation will need to be updated to reflect the new interface: big workload - Hannes: can we remove the dependency between mirage and mirage-runtime - Dinosaure: the idea looks good, and the possibility to add custom types (via cmdliner) is nice - Thomas: will make progress for the next call - MirageOS relies on "opam-monorepo", what is the schedule switching to "dune pkg" (last was "Q1/2024" - anyone actively working on that)? - the dune and opam team worked for the last year to include opam-lib into dune - dune will be able to compute (make a lock file), download packages it needs locally, and compile each opam package (even if the package is not using dune) - single tool to define dependencies, whenever you modify the dune file, the opam packages are updated - rules will be cached - it is similar to opam-monorepo - packages need to be relocatable (not all are, e.g. the compiler) - there'll be a small overlay (similar to opam-monorepo overlay) for a small set of packages that are not possible to build with "dune pkg" - timeline: first alpha was planned end of Q1, now scheduled for May - what needs to be done for mirage? we haven't tested it yet. need to discuss and test once an alpha is around (thomas will test even earlier) - for now we need to keep opam-monorepo - Thomas: are there urgent pains to address? - Hannes: hard to use old versions of dunes, ... - Hannes: Is there any specification of how dune pkg will download/organize etc., for the purpose of reproducible builds? -- Thomas: it created a lock file and downloads using opam-lib - Hannes: carton/git issue with opam-monorepo -- Thomas: this will be fixed in "dune pkg" - Dune pkg milestone: https://github.com/ocaml/dune/issues?q=3Dis%3Aopen+is%3Aissue+milestone%3A%= 22Package+Management+MVP%22 - dune+orb (reproducible build integration): https://github.com/ocaml/dune/issues/9548 - Performance considerations for MirageOS (let's take mirage-crypto as example) - EC NIST curves pre-computed tables -- https://github.com/mirage/mirage-crypto/pull/191 shows a speedup of 4x - mirage-crypto symmetric cipher (AES-GCM / Poly1305-Chacha20) around 10x slower than OpenSSL (see https://github.com/mirage/mirage-crypto/pull/203, a speedup of ~2.5x for chacha using string/bytes) - cstruct.t vs bytes -- https://blog.robur.coop/articles/speeding-ec-string.html shows a speedup of 2.5x - or replace the underlying structure of cstruct from bigarrays to bytes? "Just" have to take care of IO-pages which still need aligned addresses - for Xen interfaces we need page-aligned non-moving memory areas - Dinosaure: don't use _systematically_ Cstruct=E2=80=A7t and probab= ly we should use bytes more systematically and asking ourselves about particularities of bigarray - Thomas: Patrick has started a Bstruct library: https://github.com/ocaml-multicore/ocaml-uring/pull/101 - mirage-flow + shutdown (https://github.com/mirage/mirage-flow/pull/48= ) - Hannes: released to opam-repository as mirage-flow 4.x - Hannes: anyone eager to review: https://github.com/mirage/mirage-tcpip/pull/512 - Thomas: will ping Dave - Next meeting - https://meet.jit.si/mirageos-call, 9 CET in two weeks (March 11th) ### Moved to next meeting - Unikraft+mirage plans - How can we improve the security story around MirageOS? What are the security issues with mirage? - What do we want Mirage5 to look like? - Ocaml 5 support - No more Lwt? - IncludeOS / Mirage As decided, the next meeting will be on March 11th (9 CET). We decided to use Jitsi now (instead of Zoom): https://meet.jit.si/mirageos-call Thanks for your participation. On Mon, Feb 26, 2024 at 8:55=E2=80=AFAM Thomas Gazagnaire wrote: > Reminder, the MirageOS bi-weekly meeting is happening in 5 minutes. > > Zoom link: > https://us06web.zoom.us/j/85369924110?pwd=3DWj7Hhu79mBH4eiQbequQVjwdOLkZR= q.1 > Agenda: https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA > > See you there, > Thomas > > > --=20 Romain Calascibetta - http://din.osau.re/ --000000000000ff5957061247dbe3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
As before, this is what we talked at the meeting (the= source comes from: https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA?both<= /a>)


- Present: dinosaure, Pierre, Hannes, Virgile, = Thomas G. Thomas L., Samuel, Shakthi, Magnus
- Agenda:
=C2=A0 =C2=A0 = - Meta:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - Should we use Zoom or something el= se?
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Pierre: Some universitie= s cannot use Zoom on Linux.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 -= Dinosaure: Prefers to use Jitsi.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 - Virgile: Can use Renater (which uses Jitsi) if someone has a renater = account.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Pierre-Alain will i= nvestigate.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Hannes: there i= s the public instance jit.si where no registration is necessary (as used e.g. in the opam-repository m= eetings)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - Should we use https://pad.data.coop/ or something e= lse? =3D> Pad seems good!
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - Anyone willin= g to help organising these calls? (send , taking notes, etc.)
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Next meeting will be organised by Magnus = :-) Thanks (and Virgile is also happy to help)
=C2=A0 =C2=A0 - MirageOS = retreat update?
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - 16 people signed up! early= -birds registration seems to work fine
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - sti= ll space available - even for a few days and/or for the week-end
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 - mix of people that have been there before, and new p= eople!
=C2=A0 =C2=A0 - PR updates
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - solo5= +ocaml5: https://github.com/mirage/ocaml-solo5/pull/124
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Samuel and Fabrice are trying to reviv= e the PR. Cleaning up the x-compiler story for the OCaml compiler in a stat= e that could be upstream. The goal is to clean up all the pieces are glued = together. Still trying to understand how the various details are working (l= ike memory allocation). Target: OCaml 5.2 (which include compaction) as man= y things have changed.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Hanne= s: there are 2 or 3 PRs that pretend to do something with OCaml 5. Some of = them have a lots of comments from Christiano and others. Is there a plan to= merge/review those comments too? Some stuff implemented in C were a bit br= ittle. Would be sad if we lose these reviews.
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 - Samuel: plan is probably to open a new PR that adress a= ll of the comments (#122, #124, #129). Many things have changed in 5.2. =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Dinosaure: what's the issu= e with x-compilation? Samuel: many ways in the way ocaml-solo5 works is to = patch the OCaml build system (with a few things broken as a result). Things= are very brittle. We would like to have something more solid. Dinosaure: t= his seems independant? Could we decouple those concerns? Samuel: indeed. cu= rrently trying to understand how things work but the idea is to reduce the = maintenance as well. and to understand what is needed for solo5 vs. x-compi= lation. Dinosaure: see ocaml-solo5#123 (most issues are related `configure`= ). Samuel: will talk to Sebastien next
=C2=A0 =C2=A0 =C2=A0 =C2=A0 - mir= age runtime keys v2: https://github.com/mirage/mirage/pull/1493
=C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Thomas:
=C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0- use cmdliner directly, instead of a custom fo= rk
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- keys are spl= it into configuration time keys and runtime keys
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- the runtime ones are only defined at ru= ntime
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- it is a b= reaking big change
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Hannes: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- configure-time: = you select what libraries you want to use in the unikernel (keys)
=C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- runtime-time: you select= some runtime parameters (ip address, etc.)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0- better type for key
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- issue: type errors, locations in genera= ted code
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Happy = with the current state but do not have time to review fully
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Thomas:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0- updated existing unikernels
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0- worked on error locations (you need to pass `__LO= C__`)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- there's a OC= aml compiler patch that does this automatically
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0- ~all examples and documentation will need to be u= pdated to reflect the new interface: big workload
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0- Hannes: can we remove the dependency between mirage a= nd mirage-runtime
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Dinosaure: = the idea looks good, and the possibility to add custom types (via cmdliner)= is nice
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Thomas: will make pr= ogress for the next call
=C2=A0 =C2=A0 - MirageOS relies on "opam-m= onorepo", what is the schedule switching to "dune pkg" (last= was "Q1/2024" - anyone actively working on that)?
=C2=A0 =C2= =A0 =C2=A0 =C2=A0- the dune and opam team worked for the last year to inclu= de opam-lib into dune
=C2=A0 =C2=A0 =C2=A0 =C2=A0- dune will be able to = compute (make a lock file), download packages it needs locally, and compile= each opam package (even if the package is not using dune)
=C2=A0 =C2=A0= =C2=A0 =C2=A0- single tool to define dependencies, whenever you modify the= dune file, the opam packages are updated
=C2=A0 =C2=A0 =C2=A0 =C2=A0- r= ules will be cached
=C2=A0 =C2=A0 =C2=A0 =C2=A0- it is similar to opam-m= onorepo
=C2=A0 =C2=A0 =C2=A0 =C2=A0- packages need to be relocatable (no= t all are, e.g. the compiler)
=C2=A0 =C2=A0 =C2=A0 =C2=A0- there'll = be a small overlay (similar to opam-monorepo overlay) for a small set of pa= ckages that are not possible to build with "dune pkg"
=C2=A0 = =C2=A0 =C2=A0 =C2=A0- timeline: first alpha was planned end of Q1, now sche= duled for May
=C2=A0 =C2=A0 =C2=A0 =C2=A0- what needs to be done for mir= age? we haven't tested it yet. need to discuss and test once an alpha i= s around (thomas will test even earlier)
=C2=A0 =C2=A0 =C2=A0 =C2=A0- fo= r now we need to keep opam-monorepo
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Thomas:= are there urgent pains to address?
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Hannes:= hard to use old versions of dunes, ...
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Ha= nnes: Is there any specification of how dune pkg will download/organize etc= ., for the purpose of reproducible builds? -- Thomas: it created a lock fil= e and downloads using opam-lib
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Hannes: cart= on/git issue with opam-monorepo -- Thomas: this will be fixed in "dune= pkg"
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Dune pkg milestone: https://github.com/ocaml/dune= /issues?q=3Dis%3Aopen+is%3Aissue+milestone%3A%22Package+Management+MVP%22
=C2=A0 =C2=A0 =C2=A0 =C2=A0- dune+orb (reproducible build integration= ): = https://github.com/ocaml/dune/issues/9548
=C2=A0 =C2=A0 - Performanc= e considerations for MirageOS (let's take mirage-crypto as example)
= =C2=A0 =C2=A0 =C2=A0 =C2=A0- EC NIST curves pre-computed tables -- htt= ps://github.com/mirage/mirage-crypto/pull/191 shows a speedup of 4x
= =C2=A0 =C2=A0 =C2=A0 =C2=A0- mirage-crypto symmetric cipher (AES-GCM / Poly= 1305-Chacha20) around 10x slower than OpenSSL (see https://github.com/m= irage/mirage-crypto/pull/203, a speedup of ~2.5x for chacha using strin= g/bytes)
=C2=A0 =C2=A0 =C2=A0 =C2=A0- cstruct.t vs bytes -- = https://blog.robur.coop/articles/speeding-ec-string.html shows a speedu= p of 2.5x
=C2=A0 =C2=A0 =C2=A0 =C2=A0- or replace the underlying structu= re of cstruct from bigarrays to bytes? "Just" have to take care o= f IO-pages which still need aligned addresses
=C2=A0 =C2=A0 =C2=A0 =C2= =A0- for Xen interfaces we need page-aligned non-moving memory areas
=C2= =A0 =C2=A0 =C2=A0 =C2=A0- Dinosaure: don't use _systematically_ Cstruct= =E2=80=A7t and probably we should use bytes more systematically and asking = ourselves about particularities of bigarray
=C2=A0 =C2=A0 =C2=A0 =C2=A0-= Thomas: Patrick has started a Bstruct library: https://github.c= om/ocaml-multicore/ocaml-uring/pull/101
=C2=A0 =C2=A0 - mirage-flow = + shutdown (https://github.com/mirage/mirage-flow/pull/48)
=C2=A0 = =C2=A0 =C2=A0 =C2=A0- Hannes: released to opam-repository as mirage-flow 4.= x
=C2=A0 =C2=A0 =C2=A0 =C2=A0- Hannes: anyone eager to review: http= s://github.com/mirage/mirage-tcpip/pull/512
=C2=A0 =C2=A0 =C2=A0 =C2= =A0- Thomas: will ping Dave
=C2=A0 =C2=A0 - Next meeting - https://meet.jit.si/mira= geos-call, 9 CET in two weeks (March 11th)

### Moved to next mee= ting
- Unikraft+mirage plans
- How can we improve the security story = around MirageOS? What are the security issues with mirage?
- What do we = want Mirage5 to look like?
=C2=A0 =C2=A0 - Ocaml 5 support
=C2=A0 =C2= =A0 - No more Lwt?
- IncludeOS / Mirage

As dec= ided, the next meeting will be on March 11th (9 CET). We decided to use Jit= si now (instead of Zoom): https://meet.jit.si/mirageos-call
Thanks for y= our participation.

On Mon, Feb 26, 2024 at 8:55=E2=80=AFAM Thoma= s Gazagnaire <thomas@gazagnaire.org> wrote:
Reminder, the MirageOS bi-weekly meeting is happening= in 5 minutes.

Zoom link:=C2=A0 https:/= /us06web.zoom.us/j/85369924110?pwd=3DWj7Hhu79mBH4eiQbequQVjwdOLkZRq.1 <= br> Agenda:=C2=A0 https://pad.data.coop/wGS4r8RyTKqQ73mcw7F= rwA

See you there,
Thomas




--
Romain Calasc= ibetta - http://din.osau.= re/
--000000000000ff5957061247dbe3--