From mirageos-devel-bounces@lists.xenproject.org Sun Jan 05 13:28:08 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 05 Jan 2025 13:28:08 +0000 Received: from list by lists.xenproject.org with outflank-mailman.865503.1276759 (Exim 4.92) (envelope-from ) id 1tUQfd-0006TQ-0g; Sun, 05 Jan 2025 13:27:57 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 865503.1276759; Sun, 05 Jan 2025 13:27:56 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tUQfc-0006TI-St; Sun, 05 Jan 2025 13:27:56 +0000 Received: by outflank-mailman (input) for mailman id 865503; Sun, 05 Jan 2025 13:27:55 +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 1tUQfa-0006TC-Ut for mirageos-devel@lists.xenproject.org; Sun, 05 Jan 2025 13:27:55 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id dccec9f1-cb68-11ef-99a4-01e77a169b0f; Sun, 05 Jan 2025 14:27:52 +0100 (CET) Received: from [192.168.178.197] (pd95f5f8d.dip0.t-ipconnect.de [217.95.95.141]) (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 591EF18E48 for ; Sun, 5 Jan 2025 14:27:50 +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: dccec9f1-cb68-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1736083670; bh=I/w3I79EHbYTEIzfk619C/Ncqnr5jidyHAhJRi6woPQ=; h=Date:Subject:To:References:From:In-Reply-To; b=noLPDAi3cs6Dtr7bV6vCWHnnD40V4p0plc0RUyn/g77zbjSsbK8/tqxqCEOJk2qqi QkWsYVwRHx8UqJkXIP8lSchDq2IEbFx0NQNjbgxovRmmYMXperkr151CwoMqp28f1v plroPLR6698gq5TnU90vdRt507ds2hMMXDe9GBTdXwHztfxxp92rTSspmCFS4cTo0e wjOQxEQwLb6CLhLaIW2Ubvz5t6kIux9mwB5OloPbLtqHm+mjoAg/6KSikCgwRT8rrA /B/XFLuV/9PyPXDoAlBC9tzgdV7ry0uqmGcaAZpNz6kquN1mGJL1PgvVRcW76B7m9V kRAs+yVOvNnhQ== Message-ID: <5225ef87-adb8-44cb-a41d-c98a81eb188b@mehnert.org> Date: Sun, 5 Jan 2025 14:27:49 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: A unikernel for building unikernels To: mirageos-devel@lists.xenproject.org References: <8c2697df-19b6-4f29-93bf-51df51117cd3@mehnert.org> <9aef160b-ca1f-4e6e-acf7-edf7b45d8085@gmail.com> Content-Language: en-US From: Hannes Mehnert 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 In-Reply-To: <9aef160b-ca1f-4e6e-acf7-edf7b45d8085@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, happy new year to you all! On 16/12/2024 16:31, Nick Betteridge wrote: > Thanks for your detailed reply - very useful and a great overview of how > you and Robur handle the compilation chain. > > Thanks for the correct ocamlnat link - I should have asked at the time! > > I also naively overlooked the issue of the C compiler/linker being > available in a mirage unikernel. I recently looked into the "embeddding the OCaml native toplevel into a unikernel", and there are several issues with it: - it requires an assembler (since OCaml only generates assembly files) - not sure if there's a native OCaml implementation, - it also requires a linker to convert the assembly into a shared library, - and finally it loads the shared library using dlopen (etc.) - which is not available in a MirageOS unikernel setting. So, for the moment I gave up on that front - it requires a better expert in the OCaml runtime system whether there could be an easier path for evaluating OCaml expressions within a constrained environment -- maybe shipping the bytecode toplevel in a MirageOS unikernel and having a path to access the native values? But here I don't understand how the native and bytecode runtime differ, and if there's any chance to have interoperability on that level? Maybe one day I'll find an OCaml compiler/runtime expert to look into that deeper :) Maybe here on the mailing list ;) Hannes From mirageos-devel-bounces@lists.xenproject.org Mon Jan 06 09:48:53 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 06 Jan 2025 09:48:53 +0000 Received: from list by lists.xenproject.org with outflank-mailman.865608.1276854 (Exim 4.92) (envelope-from ) id 1tUjj0-0002uJ-Fu; Mon, 06 Jan 2025 09:48:42 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 865608.1276854; Mon, 06 Jan 2025 09:48:42 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tUjj0-0002uC-C3; Mon, 06 Jan 2025 09:48:42 +0000 Received: by outflank-mailman (input) for mailman id 865608; Mon, 06 Jan 2025 09:48:41 +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 1tUjiy-0002u5-KO for mirageos-devel@lists.xenproject.org; Mon, 06 Jan 2025 09:48:41 +0000 Received: from smtp-2.srv.uis.cam.ac.uk (smtp-2.srv.uis.cam.ac.uk [128.232.132.148]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 66a30b53-cc13-11ef-a0df-8be0dac302b0; Mon, 06 Jan 2025 10:48:39 +0100 (CET) Received: from svr-postfix-0.cl.cam.ac.uk ([128.232.119.3]:13701) by smtp-2.srv.uis.cam.ac.uk with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.98) (envelope-from ) id 1tUjiu-00000000TJd-5jbR; Mon, 06 Jan 2025 09:48:36 +0000 Received: from fauth-a2-smtp.messagingengine.com (fauth-a2-smtp.messagingengine.com [103.168.172.201]) (Authenticated sender: avsm2+fm) by svr-postfix-0.cl.cam.ac.uk (Postfix) with ESMTPSA id 5F07E41936; Mon, 6 Jan 2025 09:48:30 +0000 (UTC) Received: from phl-compute-09.internal (phl-compute-09.phl.internal [10.202.2.49]) by mailfauth.phl.internal (Postfix) with ESMTP id 781FA1200043; Mon, 6 Jan 2025 04:48:29 -0500 (EST) Received: from phl-mailfrontend-01 ([10.202.2.162]) by phl-compute-09.internal (MEProxy); Mon, 06 Jan 2025 04:48:29 -0500 Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 6 Jan 2025 04:48:28 -0500 (EST) 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: 66a30b53-cc13-11ef-a0df-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20230918.smtp; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date :In-Reply-To:From:Subject:Mime-Version:Content-Type:Sender:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=xWrshuopBS1vKF5s/TCtUMzJtONasHquqVGNUJOh2Ak=; b=KgIGNO2DZ8swBjgT3Nsk6EroXU qXQiDoDdJCJnJMbs5/oY1+4cm1VgZSHfwZPxkao4JgjMSL7kLe1Lqkuz4TjJSv3xI4SOPMSmHY31d ZPlbjvJsqclVoHnvsg+vWSrCYbTogROSkB+AHpshlG7bRBqypZjwDCzYpvDCnsQJGVY6YmNgXiHYN lgUgucmg336XSJFtR/zJNJxP5n3xwgt1wb9JX8yt3O1+bivYpf1e29DUejTHYyFMN79EdmisHnV0O rCs5n6hAFaHSWLaffyPgMvlKwZO0edZgmjETevm68uWkgsSzl5rnMBrSIoJ6LNkNsNxteNrx4GzWM N0F2jShA==; X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: https://help.uis.cam.ac.uk/email-scanner-virus X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefuddrudegtddgtdejucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggvpdfu rfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnh htshculddquddttddmnecujfgurheptggguffhjgffvefgkfhfvffosehtqhhmtdhhtddv necuhfhrohhmpeetnhhilhcuofgrughhrghvrghpvgguugihuceorghvshhmvdestghlrd gtrghmrdgrtgdruhhkqeenucggtffrrghtthgvrhhnpeevfeehteeufeefffetgfeguddt uefhieehkeefveehtdevleduteeugeefueffvdenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpegrvhhsmhdvodhmvghsmhhtphgruhhthhhpvghr shhonhgrlhhithihqdduvdehvdekfedujeefqddvkeduleejgeeiledqrghvshhmvdeppe gtlhdrtggrmhdrrggtrdhukhesfhhmrdgtlhdrtggrmhdrrggtrdhukhdpnhgspghrtghp thhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtohephhgrnhhnvghssehmvg hhnhgvrhhtrdhorhhgpdhrtghpthhtohepmhhirhgrghgvohhsqdguvghvvghlsehlihhs thhsrdigvghnphhrohhjvggtthdrohhrgh X-ME-Proxy: Feedback-ID: i9ebc46d9:Fastmail Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.300.87.4.3\)) Subject: Re: A unikernel for building unikernels From: Anil Madhavapeddy In-Reply-To: <5225ef87-adb8-44cb-a41d-c98a81eb188b@mehnert.org> Date: Mon, 6 Jan 2025 09:48:17 +0000 Cc: mirageos-devel@lists.xenproject.org Content-Transfer-Encoding: quoted-printable Message-Id: <1EC2670B-031A-4FA6-B679-9231C0078980@cl.cam.ac.uk> References: <8c2697df-19b6-4f29-93bf-51df51117cd3@mehnert.org> <9aef160b-ca1f-4e6e-acf7-edf7b45d8085@gmail.com> <5225ef87-adb8-44cb-a41d-c98a81eb188b@mehnert.org> To: Hannes Mehnert X-Mailer: Apple Mail (2.3826.300.87.4.3) On 5 Jan 2025, at 13:27, Hannes Mehnert wrote: >=20 > happy new year to you all! Same to you! :-) >=20 > I recently looked into the "embeddding the OCaml native toplevel into = a unikernel", and there are several issues with it: > - it requires an assembler (since OCaml only generates assembly files) = - not sure if there's a native OCaml implementation, > - it also requires a linker to convert the assembly into a shared = library, > - and finally it loads the shared library using dlopen (etc.) - which = is not available in a MirageOS unikernel setting. >=20 LLVM (via libclang) does have an integrated assembler, so you should = (subject to writing a bunch of C++) be able to link that in to process = the assembly. I've not looked into the status of the LLVM linkers in a = few years though (lld vs gold). The dlopen use should be fairly = straightforward to integrate with solo5 though; you may even able to = just setup a static executable buffer that's reused for this, including = W^X exclusion as there would never be a point where the same page is = being executed and written too simultaneously. best, Anil From mirageos-devel-bounces@lists.xenproject.org Tue Jan 07 11:03:00 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 07 Jan 2025 11:03:00 +0000 Received: from list by lists.xenproject.org with outflank-mailman.866312.1277633 (Exim 4.92) (envelope-from ) id 1tV7MF-0006AD-77; Tue, 07 Jan 2025 11:02:47 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 866312.1277633; Tue, 07 Jan 2025 11:02:47 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tV7MF-0006A6-3f; Tue, 07 Jan 2025 11:02:47 +0000 Received: by outflank-mailman (input) for mailman id 866312; Tue, 07 Jan 2025 11:02:46 +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 1tV7MD-0006A0-Cq for mirageos-devel@lists.xenproject.org; Tue, 07 Jan 2025 11:02:45 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id eae73dcf-cce6-11ef-99a4-01e77a169b0f; Tue, 07 Jan 2025 12:02:43 +0100 (CET) Received: from [192.168.42.80] (i5C74C273.versanet.de [92.116.194.115]) (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 E878823F74 for ; Tue, 7 Jan 2025 12:02:41 +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: eae73dcf-cce6-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1736247762; bh=PncbG+u93kp/vqdhIccXFDlLnMmTEpx8SnolrX2+YvU=; h=Date:Subject:To:References:From:In-Reply-To; b=w6wem+P1OOKtIQsd7mHK+wcqsidtaCrBiZF2Jj+Hb37KlbTLfOs7o2XZSPxVQt+qc WY1IdkrCqWnzs2s98WT1nyKCpAvYSyvpp+Z8yCi46sRDlLdxbOewJzXmUnqso5z1qY 6ylTrnwRxUfpLTcoqqB6Yvb28Z1As0Y8SiwwNJNNb9A6s7ppdscP5yO10I4uiokCwr YgxxzKXZUiDy2p/VC8r/mwGdlyPJPKS291Ov6cGnCAZvkPYlbgh2dkZ5VW4D+peupA lu0f2WzkIRVUlyH9CB4YbBfL9kW0B931+iRoiELMcc2pjHaa3ieCGmNUPu4fTHeRFV kQpC99sg51ZNw== Message-ID: Date: Tue, 7 Jan 2025 12:02:41 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: next meeting: Monday Jan 13th 10:00 - 12:00 CET Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert 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 In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, sorry for the late reply -- but we had some notes from the meeting below. The next meeting is the upcoming Monday, January 13th 10:00 - 12:00 CET at https://meet.jit.si/MirageOS -- see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda (add your talking points there) :) Best, Hannes ## Meeting Dec 9th 10:00 - 12:00 CET - Participants: Sam, Hannes, Reynir, Pierre, Pixie ### OCaml 5 - ocaml-solo5 1.0.0 is released, now we can get MirageOS unikernels with OCaml 5.2.1 - TODO we should announce this on discuss.ocaml.org and on mirageos.org - Romain opened a PR for ocaml-solo5 https://github.com/mirage/ocaml-solo5/pull/144 - Pierre: pthread_cond_init is a stub, so pthread_cond_destroy could as well be - Hannes: the second commit is to not use opam-monorepo -- let us briefly remind ourselves that a MirageOS unikernel has a custom libc, so we need to cross-compile all opam packages that include C stubs. The MirageOS 4 way of doing that is to download (using opam-monorepo all opam packages into a "duniverse" directory), and compile everything. - Hannes: it is not entirely clear to me how to detect opam packages that include C stubs (to cross-compile them), but removing the opam-monorepo dependency would be great - Sam: we all agree that if we're cross-compiling to a different architecture, this won't work - Reynir: does cross-compilation work at the moment? Sam: I have tested it, from x86_64 to aarch64 - running on Raspberry PI - Hannes: that cross-compilation is Linux-only so I never tested it - Sam: What do you mean it's Linux-only? - Hannes: _ says it's Linux-only and I never bothered looking into the details. Actually, maybe it's not. -- Turns out the solo5-cross-aarch64 is Linux only - Reynir: maybe there should be an opam flag "this does not include C stubs", but that'd be incomplete and require some bookkeeping. If we mark common packages as such we can avoid some re-fetching. - Hannes: we would need to convince a lot of package maintainers to include this flag. - Hannes: META file includes information if we should link to external archives. Maybe a path forward. Feels a bit hairy, and only works with installed packages and not packages we don't have installed yet. - Hannes: If we separate pthread_cond_destroy() into another PR we can merge that now. For the rest of the PR we can discuss on the mailing list etc. - Sam: I agree. ### What is Mirage CI? - https://github.com/ocurrent/mirage-ci - Likely it has somewhere OCaml 4 hardcoded, and that needs to be changed ### OCaml 5 used on mirageos.org - Sam: The OCaml 5 unikernel uses much more memory - Sam talked with the OCaml GC people - they need more tests - Sam: Now running with different space_overhead parameters - from 120 (default) to 60 - Sam: Currently OCaml pre-allocates lots of pools, it may be sensible to reduce the maximum size of the objects that pools are allocated for -- for MirageOS unikernels with a low memory footprint - Sam: On mirageos.org we have quite some memory available for the unikernels, would be interesting to see how such a unikernel behaves if it has not so much memory - Hannes: you could tweak the deployment shell scripts to give the unikernel less memory - Hannes: is there an issue tracking this on the ocaml/ocaml repository? - Sam: there have been discussions about frama-c and coq and their memory usages with OCaml 5 ### Performance - Pierre didn't have time to test VirtIO further (and won't for the next 3 weeks) From mirageos-devel-bounces@lists.xenproject.org Tue Jan 07 21:21:03 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 07 Jan 2025 21:21:03 +0000 Received: from list by lists.xenproject.org with outflank-mailman.866796.1278154 (Exim 4.92) (envelope-from ) id 1tVH0P-0005x5-8f; Tue, 07 Jan 2025 21:20:53 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 866796.1278154; Tue, 07 Jan 2025 21:20:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tVH0P-0005wy-59; Tue, 07 Jan 2025 21:20:53 +0000 Received: by outflank-mailman (input) for mailman id 866796; Tue, 07 Jan 2025 21:20:52 +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 1tVH0N-0005wq-Mg for mirageos-devel@lists.xenproject.org; Tue, 07 Jan 2025 21:20:52 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 42c8066a-cd3d-11ef-a0df-8be0dac302b0; Tue, 07 Jan 2025 22:20:48 +0100 (CET) Received: from [192.168.42.80] (i5C74C273.versanet.de [92.116.194.115]) (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 F1906936 for ; Tue, 7 Jan 2025 22:20:45 +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: 42c8066a-cd3d-11ef-a0df-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1736284846; bh=0thiPj+wvEH10TFs3qHAsAnnIotR3D/YryjRtWATzD8=; h=Date:To:From:Subject; b=nI2keaF7E/Yq2TJlICtM2HO00GqDEOi9rqqwg6Gj9sbcsX+6OLkvW1GxZh8ear1eA OSVWr2YliFIt17ggTnrkSeOoPpoWqgVwdoGYt2Z5GZJOh1+XwGFk5tcHkp3z+Qosf5 v9Keqzj2hEgl8Trtv1Kq/hTfvu4zWuJnYkG/sOOuwujd/Ls5DAN0H7lUy8guJoFObS gqmbAxiam2a9WLPrubHVL4P2os1QnJDodN4i67FUApYqZmzDKn2H8Lnc6Yv9aQPWSC sfaKCOCS9p/xAdySnxJ5SFCUXo0z/Or0Rat5E4mKowG+kiFZeYtjtwi1DgYu+A0DHv rfBYmLrpQTj7w== Message-ID: <1e9bc065-7133-4bfa-967f-0d9b8e636010@mehnert.org> Date: Tue, 7 Jan 2025 22:20:45 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: mirageos-devel From: Hannes Mehnert Subject: maintenance intent of MirageOS packages 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 everyone, as you may have seen I'm involved in a project to push opam packages out of the main opam-repository to improve the performance for everyone (read more at https://discuss.ocaml.org/t/proposed-package-archiving-policy-for-the-opam-repository/). Now, we're getting closer to "Phase 3" - which means that packages marked by maintainers with "x-maintenance-intent: ..." can be archived. Since this is opt-in, I'm keen to have as many opam packages specify this extra field as possible. Turning at the MirageOS GitHub organization and the mirage project itself, I'm curious whether anyone has reservations against stating "only the latest version is supported". So, is anyone keen to retain and maintain earlier versions (if yes, please indicate why and for which packages). If there's no objection, I'll push forward with the above for the mirage-related packages (I won't touch those big packages used elsewhere, but only provide issues and/or pull requests for things like cohttp, irmin, uri, capnp-rpc, alcotest, cow, ..). I'm more into packages such as mirage, tcpip, mirage-net, mirage-net-xen, ... and put a 'x-maintenance-intent: [ "(latest)" ]' from next week on unless someone stops me. Another related question is about packages that are no longer maintained, I already marked some of these with "flags: deprecated" in the main opam-repository. It helps if everyone who authored and/or maintains packages to push these fields into the opam-repository and the opam files in the repositories. Two notes about that: only the latest release of a package needs to have the "x-maintenance-intent" field. And, if there's a reverse dependency on an earlier version (that won't fall under the maintenance intent), this version will be kept. We don't want to introduce package installation failures due to missing dependencies. If you're interested, take a look at the field specification https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md#specification-of-the-x--fields-used-in-the-archiving-process And follow the opam-repository tag on discuss: https://discuss.ocaml.org/tag/opam-repository As said above, I'll push forward with the mirage packages starting next week unless someone has objections. Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Jan 07 21:36:41 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 07 Jan 2025 21:36:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.866801.1278159 (Exim 4.92) (envelope-from ) id 1tVHFZ-0007Jd-D3; Tue, 07 Jan 2025 21:36:33 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 866801.1278159; Tue, 07 Jan 2025 21:36:33 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tVHFZ-0007JW-9k; Tue, 07 Jan 2025 21:36:33 +0000 Received: by outflank-mailman (input) for mailman id 866801; Tue, 07 Jan 2025 21:36:32 +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 1tVHFX-0007JQ-UZ for mirageos-devel@lists.xenproject.org; Tue, 07 Jan 2025 21:36:32 +0000 Received: from fout-a3-smtp.messagingengine.com (fout-a3-smtp.messagingengine.com [103.168.172.146]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 73217456-cd3f-11ef-99a4-01e77a169b0f; Tue, 07 Jan 2025 22:36:28 +0100 (CET) Received: from phl-compute-01.internal (phl-compute-01.phl.internal [10.202.2.41]) by mailfout.phl.internal (Postfix) with ESMTP id 70300138014C for ; Tue, 7 Jan 2025 16:36:26 -0500 (EST) Received: from phl-imap-02 ([10.202.2.81]) by phl-compute-01.internal (MEProxy); Tue, 07 Jan 2025 16:36:26 -0500 Received: by mailuser.phl.internal (Postfix, from userid 501) id 1BBDDB00069; Tue, 7 Jan 2025 16:36:26 -0500 (EST) 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: 73217456-cd3f-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= somerandomidiot.com; h=cc:content-type:content-type:date:date :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to; s=fm2; t=1736285786; x=1736372186; bh=QfnllxJ67RS4MVRv53lFA071erCp75eDE1eq0mKcE6I=; b= Qc5+znfssZv7q03hhYqWA2XCz/Fo7+TnKZmoPzEdjXQanTOCsFbNz3yCllEJG4Xi ZCgYSV2iGxhDhde8pa1uKQWJO2gLqu+d19SKiyOW2vxyFSHjMN7QrbyUaAjK+ZTD VIg+VSvMQ4a32va4uqR3T4ppeviUzGHCfZknqsMUDaJJWGsCUVndHARBtnL9pqBX tN4zjJdqfBNYpKqFnZIgD9VwquclLbtcLPFwupwkjl9odj3h+hrBnHslRs3UDfcu 5IyFoKarXC8L3u+FIPs1w84LIr2hCf2sPZRup8nu4lVuTv1B1pKbIomcz0qeWSO+ yPFe9+CeOCKcN3g5xENOfw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:content-type:date:date :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:subject:subject:to :to:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; t= 1736285786; x=1736372186; bh=QfnllxJ67RS4MVRv53lFA071erCp75eDE1e q0mKcE6I=; b=kWZaBpM/7M4yo1aLvM+kvbIZYXtF9/+q19lHyGs+5T0HRgQq0Ox yzxDZ+QESDMtfqUrZeZLnwk/pBsLQS1XagE5y1pIHv28bifgp5w4EHAFifC2lizp gXiY1R+kLfEO2wMN7kVOj3Rt/vGQQGlRULGCvg5Nd5HkLwP/R/DRHO4cYTNR5YAB zHzxjsz2TUjdr/0p+RhRtKE1pGK7hyG1ZYBNHEy6d1LTDED3S5f1BI2bzlGfW+4G FuAKBqrwpyZ70QRL0G1Q3ytxadoQaUrte3NB4EWE/U7Av2VonxNlWwkMYHa4jznY c4Vwog9OLinzyJq5gjr8Y5VG9mPA39FaYzQ== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefuddrudegvddgudehtdcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggftfghnshhusghstghrihgsvgdp uffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftddtnecunecujfgurhepofggff fhvffkjghfufgtsegrtderreertddtnecuhfhrohhmpedfofhinhguhicurfhrvghsthho nhdfuceomhhinhguhiesshhomhgvrhgrnhguohhmihguihhothdrtghomheqnecuggftrf grthhtvghrnhepffdtkedtffdvtddtheevhfeivdefteefkeeuhffhjeeffffghfekjeeu hfdtlefgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomh epmhhinhguhiesshhomhgvrhgrnhguohhmihguihhothdrtghomhdpnhgspghrtghpthht ohepuddpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtohepmhhirhgrghgvohhsqdguvg hvvghlsehlihhsthhsrdigvghnphhrohhjvggtthdrohhrgh X-ME-Proxy: Feedback-ID: ic7fe48be:Fastmail X-Mailer: MessagingEngine.com Webmail Interface MIME-Version: 1.0 Date: Tue, 07 Jan 2025 15:36:05 -0600 From: "Mindy Preston" To: mirageos-devel@lists.xenproject.org Message-Id: <2a6bdfcd-e65e-49c9-89f2-fd6ad63a8759@app.fastmail.com> In-Reply-To: <1e9bc065-7133-4bfa-967f-0d9b8e636010@mehnert.org> References: <1e9bc065-7133-4bfa-967f-0d9b8e636010@mehnert.org> Subject: Re: maintenance intent of MirageOS packages Content-Type: multipart/alternative; boundary=3bf172c719a34c0fa6dffcba3ca62290 --3bf172c719a34c0fa6dffcba3ca62290 Content-Type: text/plain Content-Transfer-Encoding: 7bit Hi Hannes, Thanks for your work on this! I especially appreciate `x-maintenance-intent: [ "(none)" ]`, which I can imagine a less enlightened organization refusing to acknowledge. I was about to say "I don't think I need to do anything here", but then I remembered `chamelon`, which is published enough that it deserves an honest `none` in that field. (Writing filesystem implementations is more fun than maintaining them.) Thanks, yomimono --3bf172c719a34c0fa6dffcba3ca62290 Content-Type: text/html Content-Transfer-Encoding: 7bit
Hi Hannes,

Thanks for your work on this! I especially appreciate `x-maintenance-intent: [ "(none)" ]`, which I can imagine a less enlightened organization refusing to acknowledge.

I was about to say "I don't think I need to do anything here", but then I remembered `chamelon`, which is published enough that it deserves an honest `none` in that field. (Writing filesystem implementations is more fun than maintaining them.)

Thanks,
yomimono
--3bf172c719a34c0fa6dffcba3ca62290-- From mirageos-devel-bounces@lists.xenproject.org Fri Jan 10 15:03:08 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 10 Jan 2025 15:03:08 +0000 Received: from list by lists.xenproject.org with outflank-mailman.869772.1281233 (Exim 4.92) (envelope-from ) id 1tWGXJ-0001Rt-5e; Fri, 10 Jan 2025 15:02:57 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 869772.1281233; Fri, 10 Jan 2025 15:02:57 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tWGXJ-0001Rm-2o; Fri, 10 Jan 2025 15:02:57 +0000 Received: by outflank-mailman (input) for mailman id 869772; Fri, 10 Jan 2025 15:02:55 +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 1tWGXH-0001Rg-8p for mirageos-devel@lists.xenproject.org; Fri, 10 Jan 2025 15:02:55 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f7b90cf7-cf63-11ef-a0df-8be0dac302b0; Fri, 10 Jan 2025 16:02:53 +0100 (CET) Received: from [192.168.42.80] (i5C74C326.versanet.de [92.116.195.38]) (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 AF70311644 for ; Fri, 10 Jan 2025 16:02:52 +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: f7b90cf7-cf63-11ef-a0df-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1736521372; bh=FFiO+vW/zWTydnb6bsGUN9og672saoOvF4LQoNIUWms=; h=Date:Subject:To:References:From:In-Reply-To; b=IRjH+cl02fNrGKsYZALCyonbT6jIb/IJFgLBmxQAZeOA0dKLQPG+/2kMihE3EMti7 6TrrgMHDKKRk+qWStAbNY7LeeebSeGdEMkrINJobdqfFtAYqSQUdOYRX03pHiBR4Pl iKQT/gJtwcXrU2sGg8x/9HgT35KnxeeQqyAFxjmIayaPdHMfKGBTDXJ5JGVGwOH9lS vQlHQ2UhUErMyOMZwbpxR8/iK8jylM+01ceeM2R8SbJb6yTm3Rj3sYsxwGnKhas+mN PNJAVrotySa/hHV17MvuSBJz8/9LnUee+DgbIgTVl00rd4wnkBkAXTPuNT+49sU+v4 YEnp4sgq+3x2Q== Message-ID: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> Date: Fri, 10 Jan 2025 16:02:52 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: next meeting: Monday Jan 13th 10:00 - 12:00 CET Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert 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 In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, as a reminder on Monday morning we've our next meeting. On 07/01/2025 12:02, Hannes Mehnert wrote: > The next meeting is the upcoming Monday, January 13th 10:00 - 12:00 CET > at https://meet.jit.si/MirageOS -- see our shared pad at > https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda > (add your talking points there) :) Have a nice weekend, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Jan 21 08:05:24 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 21 Jan 2025 08:05:24 +0000 Received: from list by lists.xenproject.org with outflank-mailman.875135.1285448 (Exim 4.92) (envelope-from ) id 1ta9G2-0005Fm-Us; Tue, 21 Jan 2025 08:05:10 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 875135.1285448; Tue, 21 Jan 2025 08:05:10 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ta9G2-0005Ff-Rx; Tue, 21 Jan 2025 08:05:10 +0000 Received: by outflank-mailman (input) for mailman id 875135; Tue, 21 Jan 2025 08:05:10 +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 1ta9G1-0005FX-GP for mirageos-devel@lists.xenproject.org; Tue, 21 Jan 2025 08:05:10 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 6c78be71-d7ce-11ef-99a4-01e77a169b0f; Tue, 21 Jan 2025 09:05:07 +0100 (CET) Received: from [192.168.42.80] (i5C74C058.versanet.de [92.116.192.88]) (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 A20F41B21 for ; Tue, 21 Jan 2025 09:05:04 +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: 6c78be71-d7ce-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1737446704; bh=ErpZLYFhXhqGD2i9OH241iF1aX4HBcKXEE3Bq3Kl1iI=; h=Date:Subject:From:To:References:In-Reply-To; b=NfkZguT7HYvVK4m32iVIkNdjjJy5MqnH4QCiN9pjJDm6xJGSVk9hUQOkwl1SMDy2e PTdkQ1r1nLho90rmqOii/CBxJyo3ytwkM1WEmy068Qet80NpP6j4MO6qIUOi0lonYG lo4BL/OZOpRjfpxVqvnjy0+nzT8/0Q+jUAcpDLHc1wns77m7H/2vj78utPp2UN+gWP 8+uIgy0jYY1WYC1eDTm4X2iV2BcbSLjBkJI40ME7qXyESSTrEN5YLeFUHAZojfm1s/ Gm1WZ4u+GLTGis7M6SEVe1LX7qBdHst1AbdTaz3RjVYjxIedWHXhZ6EYxgEMVx7Jxp 9Zw38WtNVSfzw== Message-ID: <70fbf854-41b5-4ba3-bb78-1f80548e88d6@mehnert.org> Date: Tue, 21 Jan 2025 09:05:03 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: next meeting: Monday Jan 27th 10:00 - 12:00 CET From: Hannes Mehnert To: mirageos-devel@lists.xenproject.org References: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> 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 In-Reply-To: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, below are the notes from the meeting last week. The next meeting is the upcoming Monday, January 27th 10:00 - 12:00 CET at https://meet.jit.si/MirageOS -- see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda (add your talking points there) :) Best, Hannes - Participants: Pierre, Hannes, Reynir, Sam, Pixie ### Performance: bytes vs. bigarray (cstruct) - Pierre did some performance benchmarks. The results are confusing. - VirtIO and spt are different: in virtio kvm/qemu does potential batching and queuing of packets; spt it is solo5 copying one-by-one - reynir suggests to rewrite the C relay one-to-one in OCaml and take a look at the performance, figuring what the OCaml runtime costs are - best performance is the Linux with a bridge between the two interfaces, that's our goal to compare numbers with -- it is as well a virtual machine with two interfaces doing the copying in kernel space -- MirageOS shouldn't be slower - how/which profiling could we run there? statmemprof (https://github.com/robur-coop/memtrace-mirage -- only covers allocations, no computation (such as CRC)), landmarks (https://github.com/LexiFi/landmarks), SPT: we could also use `perf` utility from Linux - it is still not very clear what is the bottleneck ### Building cross-compilers / OCaml 5 support - Sam: they're merged in OCaml trunk - Sam: backported to OCaml 5.3, plans to update ocaml-solo5 with 5.3 support - Sam: some of the patches are only for ocaml-solo5 - Hannes: we can as well remove the 5.2.1 patches from ocaml-solo5 and move ahead for 5.3 -- if someone wants to usse 5.2.1 they can use the released ocaml-solo5 (1.0.0/1.0.1) - Sam: the good news is that for OCaml 5.4 there will be really few patches needed ### maintenance-intent for MirageOS libraries - unbounded growth of opam repository is unsustainable. Hannes started effort to prune uninstallable, broken and/or unmaintained packages. The `x-maintenance-intent` flag in opam files signals the intent to maintain packages: e.g. only the latest release etc. - hannes main question here is whether there are any reservations of putting x-maintenance-intent: [ "(latest)" ] in the opam files for the MirageOS packages that we maintain (e.g. mirage, mirage-solo5, ...) - pierre and reynir agree with putting the latest there (apart from ocaml-solo5) - sometimes we have big breaking API changes where we likely want to keep the old and new versions (e.g. in ocaml-solo5 we have [ "(latest)" "0.8.(latest)" ]) - we can do that on a package-by-package basis when we do major breaking changes ### Defunctorise MirageOS - hannes: don't want to pass "PCLOCK" "MCLOCK" "TIME" as functors - hannes: the question is about naming, and about requiring the ptime/mtime libraries directly - hannes: there's the opam package called mirage-clock (Mirage_clock), there we have a PCLOCK and a MCLOCK - hannes: currently my suggestion is to name it Mirage_ptime and Mirage_mtime? - hannes: and then the TIME interface should we rename it to Mirage_sleep? Mirage_sleep.sleep? Mirage_sleep.doit? Mirage_sleep.ns! Currently: ```OCaml (** Sleep operations. *) module type S = sig val sleep_ns: int64 -> unit Lwt.t (** [sleep_ns n] Block the current thread for [n] nanoseconds, treating the [n] unsigned. *) end ``` ### MirageOS and unikraft - Pierre is curious what the state thereof is - Sam: work is ongoing, some on private branches ### Meeting time is good? - Sam mentions that the slot is good for him, but every time he is busy with some other thing ### Mollymawk - robur got a grant for working on mollymawk from NLnet / EU tax payers - we're excited to continue the work on it, and this will make (one path for) deployment of MirageOS unikernels easier On 10/01/2025 16:02, Hannes Mehnert wrote: > Hey, > > as a reminder on Monday morning we've our next meeting. > > On 07/01/2025 12:02, Hannes Mehnert wrote: >> The next meeting is the upcoming Monday, January 13th 10:00 - 12:00 >> CET at https://meet.jit.si/MirageOS -- see our shared pad at >> https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and >> agenda (add your talking points there) :) > > > Have a nice weekend, > > Hannes > From mirageos-devel-bounces@lists.xenproject.org Tue Jan 21 22:47:37 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 21 Jan 2025 22:47:37 +0000 Received: from list by lists.xenproject.org with outflank-mailman.875712.1286134 (Exim 4.92) (envelope-from ) id 1taN1n-0008ND-UA; Tue, 21 Jan 2025 22:47:23 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 875712.1286134; Tue, 21 Jan 2025 22:47:23 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1taN1n-0008N6-RS; Tue, 21 Jan 2025 22:47:23 +0000 Received: by outflank-mailman (input) for mailman id 875712; Tue, 21 Jan 2025 22:47:23 +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 1taN1m-0008N0-KZ for mirageos-devel@lists.xenproject.org; Tue, 21 Jan 2025 22:47:23 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id abdbe447-d849-11ef-a0e5-8be0dac302b0; Tue, 21 Jan 2025 23:47:20 +0100 (CET) Received: from [192.168.42.80] (i5C74C058.versanet.de [92.116.192.88]) (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 089485ED7 for ; Tue, 21 Jan 2025 23:47:18 +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: abdbe447-d849-11ef-a0e5-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1737499639; bh=c9BuFRxrPqrUVUxUhPEXXdgk6fgEXqVWogkbckaWWhg=; h=Date:To:From:Subject; b=upVz1W1h0wjaQnb1WHgC6fNKTsnT1tC9Q7awzBz4uQbZRmyS4TZ6H0Dfh8W9boOtx 2SEuyQgib4cMGhefBJNMv1kI35IVKxIcGN1xX/JouSe/Wa49K1IfeL+p63ySYfUZNu /3pFmEWAy7WNPAq1kwg8iClrlYyn5pWLA07v65i31dwpu9WkK1LkFpEuoGRgXanicW /cosyTWi5nIzgcXgoGB+jfg1nRb+DaKHnYF/3ceZGicRaexlejDUEnldOZ6XDAkCGU dBGG8Xud+g/1X9Z2widL5EiNzj8k4RC0GvfFdmI2KJrBx/jrQEcqdqwil9rMcdcuxs 2//jYrkGeE0ww== Message-ID: <9fc49844-2560-453f-b0fa-0f1ee51672c0@mehnert.org> Date: Tue, 21 Jan 2025 23:47:18 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: mirageos-devel Content-Language: en-US From: Hannes Mehnert Subject: TIME, CLOCK, RANDOM - use the linking trick instead of functors 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 everyone, as discussed on the retreat last year, and in May 2024 on this list, and further in the Mirage issue tracker, finally I went through the quite large corpus of packages to provide a showcase how this will look like (including working mirage-skeleton unikernels). So, if you haven't followed the discussion, the idea is to use the linking trick (where we use an OCaml interface for compilation, and when linking we provide the "right" implementation) -- so our libraries do not need to be concerned about the actual implementation. We use this for defining the interfaces for Mirage_sleep, Mirage_mtime, Mirage_ptime, and also for Mirage_crypto_rng -- previously we already applied this for Mirage_bootvar. The result is that we no longer need to functorize over the TIME/PCLOCK/MCLOCK/RANDOM "devices" in each unikernel. Et voila, take a deep breath and look at the diff (ignoring whitespaces) https://github.com/mirage/mirage-skeleton/pull/407/files?w=1 of our mirage-skeleton example unikernel repository. More details are in https://github.com/mirage/mirage/pull/1599, and even more in the individual packages https://github.com/hannesm/mirage-time-defunctorised (also https://github.com/mirage/mirage-sleep https://github.com/mirage/mirage-mtime https://github.com/mirage/mirage-ptime). It would be lovely to hear your thoughts on this. If it is positive, I'm keen to open PRs and cut releases while the code is still hot, since otherwise we may suffer from bitrot again. Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Jan 22 09:05:18 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 22 Jan 2025 09:05:18 +0000 Received: from list by lists.xenproject.org with outflank-mailman.875826.1286240 (Exim 4.92) (envelope-from ) id 1taWfY-0005Aq-6k; Wed, 22 Jan 2025 09:05:04 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 875826.1286240; Wed, 22 Jan 2025 09:05:04 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1taWfY-0005Aj-3f; Wed, 22 Jan 2025 09:05:04 +0000 Received: by outflank-mailman (input) for mailman id 875826; Wed, 22 Jan 2025 09:05:02 +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 1taWfW-0005Ad-02 for mirageos-devel@lists.xenproject.org; Wed, 22 Jan 2025 09:05:02 +0000 Received: from mail.w13.tutanota.de (mail.w13.tutanota.de [185.205.69.213]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id f4fcf754-d89f-11ef-99a4-01e77a169b0f; Wed, 22 Jan 2025 10:05:00 +0100 (CET) Received: from tutadb.w10.tutanota.de (w10.api.tuta.com [IPv6:fd:ac::d:10]) by mail.w13.tutanota.de (Postfix) with ESMTP id BF3D85696389; Wed, 22 Jan 2025 10:04:58 +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: f4fcf754-d89f-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1737536698; s=s1; d=tuta.io; h=From:From:To:To:Subject:Subject:Content-Description:Content-ID:Content-Type:Content-Type:Content-Transfer-Encoding:Content-Transfer-Encoding:Cc:Cc:Date:Date:In-Reply-To:In-Reply-To:MIME-Version:MIME-Version:Message-ID:Message-ID:Reply-To:References:References:Sender; bh=NLETiGv3F4QsyHDJAOrnoJ2vq2oqRp2M7hR4uZTQPoA=; b=bIyomnCisrsZdsS6o5K+8Tmzl9FQs/eQVbxEc3q7GvYcj7UaoRP+cs+FqNXmoyQf 6IHo+sOJM8dvxtlPM8T3Y+0d49j5a5BBzHhOwZsGKaWPnxl0jW5hpoR84y8Io0NzshG zU1k1CNz5DEhwYZgDekTn4rWHTHRrDzzhrTAhNgU5oNPNC/7id5yNKk4/qEVgVAyztN DGrlXIjOdWcS2s98Eewo2Xm8VG6GgUweBcjxPU296QvoHH5w53rNkLd0lPUpUlUIyOx HB4lb5G1s1TKQrSMmmC/FzmcsOR8Z5XPq5E61rANTbiOQAZZJTG5mWDIKoGzJeks647 jbpBVRPcQg== Date: Wed, 22 Jan 2025 10:04:58 +0100 (CET) From: pierre.alain@tuta.io To: Hannes Mehnert Cc: mirageos-devel Message-ID: In-Reply-To: <9fc49844-2560-453f-b0fa-0f1ee51672c0@mehnert.org> References: <9fc49844-2560-453f-b0fa-0f1ee51672c0@mehnert.org> Subject: Re: TIME, CLOCK, RANDOM - use the linking trick instead of functors MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Jan 21, 2025, 23:48 by hannes@mehnert.org: > Dear everyone, > > as discussed on the retreat last year, and in May 2024 on this list, and = further in the Mirage issue tracker, finally I went through the quite large= corpus of packages to provide a showcase how this will look like (includin= g working mirage-skeleton unikernels). > > So, if you haven't followed the discussion, the idea is to use the linkin= g trick (where we use an OCaml interface for compilation, and when linking = we provide the "right" implementation) -- so our libraries do not need to b= e concerned about the actual implementation. We use this for defining the i= nterfaces for Mirage_sleep, Mirage_mtime, Mirage_ptime, and also for Mirage= _crypto_rng -- previously we already applied this for Mirage_bootvar. > > The result is that we no longer need to functorize over the TIME/PCLOCK/M= CLOCK/RANDOM "devices" in each unikernel. > > Et voila, take a deep breath and look at the diff (ignoring whitespaces) = https://github.com/mirage/mirage-skeleton/pull/407/files?w=3D1 of our mirag= e-skeleton example unikernel repository. > > More details are in https://github.com/mirage/mirage/pull/1599, and even = more in the individual packages https://github.com/hannesm/mirage-time-defu= nctorised (also https://github.com/mirage/mirage-sleep https://github.com/m= irage/mirage-mtime https://github.com/mirage/mirage-ptime). > > It would be lovely to hear your thoughts on this. If it is positive, I'm = keen to open PRs and cut releases while the code is still hot, since otherw= ise we may suffer from bitrot again. > > Dear Hannes, Thank for that huge work! I'm really a huge fan for this move! From my POV, reading the code is not m= ore difficult as before (I might say even easier :) ), and so I completely = approve to merge the different PRs=C2=A0before time ran out and made them b= itroted :) Best, Pierre From mirageos-devel-bounces@lists.xenproject.org Wed Jan 22 17:12:03 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 22 Jan 2025 17:12:03 +0000 Received: from list by lists.xenproject.org with outflank-mailman.875998.1286384 (Exim 4.92) (envelope-from ) id 1taeGd-0007Qo-TO; Wed, 22 Jan 2025 17:11:51 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 875998.1286384; Wed, 22 Jan 2025 17:11:51 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1taeGd-0007Qh-QD; Wed, 22 Jan 2025 17:11:51 +0000 Received: by outflank-mailman (input) for mailman id 875998; Wed, 22 Jan 2025 17:11:51 +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 1taeGc-0007QW-Tb for mirageos-devel@lists.xenproject.org; Wed, 22 Jan 2025 17:11:51 +0000 Received: from fhigh-b2-smtp.messagingengine.com (fhigh-b2-smtp.messagingengine.com [202.12.124.153]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id f60abfcf-d8e3-11ef-99a4-01e77a169b0f; Wed, 22 Jan 2025 18:11:47 +0100 (CET) Received: from phl-compute-01.internal (phl-compute-01.phl.internal [10.202.2.41]) by mailfhigh.stl.internal (Postfix) with ESMTP id 52B6E254009B for ; Wed, 22 Jan 2025 12:11:46 -0500 (EST) Received: from phl-imap-02 ([10.202.2.81]) by phl-compute-01.internal (MEProxy); Wed, 22 Jan 2025 12:11:46 -0500 Received: by mailuser.phl.internal (Postfix, from userid 501) id C1D87B00069; Wed, 22 Jan 2025 12:11:45 -0500 (EST) 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: f60abfcf-d8e3-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= somerandomidiot.com; h=cc:content-type:content-type:date:date :from:from:in-reply-to:message-id:mime-version:reply-to:subject :subject:to:to; s=fm3; t=1737565906; x=1737652306; bh=cPafqQV2l4 JDD5txz4EOijavSJ9V+XZe8ygX09Pk3uY=; b=YgcGmoKnXrK0XKNiutYlul90+u 5ZW1BPdFXT8DRdMSydF/TPVNoMZZs6q9z3T+atqL1cuYlYExfPwQAia56XJXjpO7 I6hZaJMveFr0J5dTqoilqtii9ObRpBcIuf+/EUo55+bifyDTQUmduCj+QQ93HwZe L6oBKT/Szv7Yrc5OGi9aThrIoaGAO5zaE2UXYrBngMEeOlLC5pqeqc/RqjFxwBVS jBI/yAK5/fvHFLE3FL1VSdn+xkIWlYPWC9oEYrPhVFtn7QMiNp8Kjv8tJkCGXISg RRBnZeTIKD2fZDPAOc+22Q8z7x0xtqZsWkNonztjASPTfp/J1ThwLWcF9iVg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:content-type:date:date :feedback-id:feedback-id:from:from:in-reply-to:message-id :mime-version:reply-to:subject:subject:to:to:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t=1737565906; x= 1737652306; bh=cPafqQV2l4JDD5txz4EOijavSJ9V+XZe8ygX09Pk3uY=; b=P wN964SVsPuyAXEtqQhUpaqdSep8z8zU4mWiCjb2+JYEeyhe0XqU4MXMJvgb2cXC7 HWMBDPu/90VGAvsIXs/4plYytike/CARCpqaBpdF0+Z9gXa6I7ipU+pV8bQVVq7M resE4Vnlh39XxEN7GXPmxCFQkBO47XXp6cTJXpc2UXQJtM2YV6/3w4nz8dd0XWHe vKddRlm5taJO7EAM5mKGn0zgmD50ssn+dnVwGPnhRap7ouNGP0IE0QBXxXz3Gj2z Bg1Z4bzdn9PQGSnjwU6n/AR5paOrUDSdTCO5Dt0832R4sRPwVpbIHGqq3VfNxAMy X3B/q4I/usH3syPZdBoDw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefuddrudejfedgvddvudcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggftfghnshhusghstghrihgsvgdp uffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftddtnecunecujfgurhepofggff fhvffkufgtsegrtderreertdejnecuhfhrohhmpedfofhinhguhicurfhrvghsthhonhdf uceomhhinhguhiesshhomhgvrhgrnhguohhmihguihhothdrtghomheqnecuggftrfgrth htvghrnhepleehheduhfdvleffgeehheekleehjeffgfdvteetheelgfehgfejieeuhefh hfdunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepmh hinhguhiesshhomhgvrhgrnhguohhmihguihhothdrtghomhdpnhgspghrtghpthhtohep uddpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtohepmhhirhgrghgvohhsqdguvghvvg hlsehlihhsthhsrdigvghnphhrohhjvggtthdrohhrgh X-ME-Proxy: Feedback-ID: ic7fe48be:Fastmail X-Mailer: MessagingEngine.com Webmail Interface MIME-Version: 1.0 Date: Wed, 22 Jan 2025 11:11:24 -0600 From: "Mindy Preston" To: mirageos-devel@lists.xenproject.org Message-Id: Subject: troubleshooting problems with opam-monorepo Content-Type: multipart/alternative; boundary=a561e626e3a442a58445b228dbe4e56b --a561e626e3a442a58445b228dbe4e56b Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Over the past few months, I have occasionally attempted to build some Mi= rageOS projects but very frequently I encounter some time-consuming or w= ork-halting problem with opam-monorepo, often a problem which seems non-= deterministic. I have a few questions: (1) is this brittle for other people? Perhaps there=E2=80=99s something = about the environments where I=E2=80=99ve tried this (arch linux on aarc= h64, ubuntu and a close cousin on x86_64, recent opam, vanilla compiler)= that=E2=80=99s problem-prone? Is it possible that build steps involvin= g opam-monorepo might cause inconsistent state if interrupted before com= pleting, which is something I do all the time? (2) what tactics should I be using to troubleshoot problems like no solv= er solution being found for my package set, or apparently nonsensical co= nstraints being expressed? (3) I often work on a library and a unikernel that uses it in tandem, so= the `scope` argument to package config is essential, but I had to go di= gging in functoria .mli=E2=80=99s to find it. Is there documentation tha= t I should have read about this? If so, I will go read it and maybe that= will enlighten me. I=E2=80=99ve also tripped over things that are already in issue trackers= like =E2=80=98mirage clean=E2=80=99 not cleaning out the duniverse dire= ctory and the current problem with OCaml 5.3.0 not being usable at all. = After looking into the latter problem, I=E2=80=99m worried about the mai= ntenance status of `opam-monorepo` and the `opam-overlays` repository it= uses. The last commits were some time ago for both repositories, and i= t doesn=E2=80=99t look like there are replies to recent issues and PRs. On a more anecdotal note, I did at one point encounter a problem with op= am-monorepo not knowing what to do with my host=E2=80=99s =E2=80=98manja= ro=E2=80=99 linux environment. I wasn=E2=80=99t able to figure out how t= o plumb through the requisite environment info to tell it what to do, no= r was I especially fond of the OS, so I ended up replacing it with somet= hing that has a more recognizable string. I think =E2=80=9Crepaving my e= ntire laptop was the easiest way to get it to work=E2=80=9D is possibly = informing my frustration with this piece of the ecosystem, maybe unfairl= y. I would be happy to hear any advice on living in harmony with =E2=80=98m= ake depends=E2=80=99. Thank you, yomimono --a561e626e3a442a58445b228dbe4e56b Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Over the past f= ew months, I have occasionally attempted to build some MirageOS projects= but very frequently I encounter some time-consuming or work-halting pro= blem with opam-monorepo, often a problem which seems non-deterministic. = I have a few questions:

(1) is this brittle= for other people? Perhaps there=E2=80=99s something about the environme= nts where I=E2=80=99ve tried this (arch linux on aarch64, ubuntu and a c= lose cousin on x86_64, recent opam, vanilla compiler) that=E2=80=99s pro= blem-prone?  Is it possible that build steps involving opam-monorep= o might cause inconsistent state if interrupted before completing, which= is something I do all the time?

(2) what t= actics should I be using to troubleshoot problems like no solver solutio= n being found for my package set, or apparently nonsensical constraints = being expressed?

(3) I often work on a libr= ary and a unikernel that uses it in tandem, so the `scope` argument to p= ackage config is essential, but I had to go digging in functoria .mli=E2= =80=99s to find it. Is there documentation that I should have read about= this? If so, I will go read it and maybe that will enlighten me.

I=E2=80=99ve also tripped over things that are al= ready in issue trackers like =E2=80=98mirage clean=E2=80=99 not cleaning= out the duniverse directory and the current problem with OCaml 5.3.0 no= t being usable at all. After looking into the latter problem, I=E2=80=99= m worried about the maintenance status of `opam-monorepo` and the `opam-= overlays` repository it uses.  The last commits were some time ago = for both repositories, and it doesn=E2=80=99t look like there are replie= s to recent issues and PRs.

On a more anecd= otal note, I did at one point encounter a problem with opam-monorepo not= knowing what to do with my host=E2=80=99s =E2=80=98manjaro=E2=80=99 lin= ux environment. I wasn=E2=80=99t able to figure out how to plumb through= the requisite environment info to tell it what to do, nor was I especia= lly fond of the OS, so I ended up replacing it with something that has a= more recognizable string. I think =E2=80=9Crepaving my entire laptop wa= s the easiest way to get it to work=E2=80=9D is possibly informing my fr= ustration with this piece of the ecosystem, maybe unfairly.

I would be happy to hear any advice on living in harmon= y with =E2=80=98make depends=E2=80=99.

Than= k you,
yomimono
--a561e626e3a442a58445b228dbe4e56b-- From mirageos-devel-bounces@lists.xenproject.org Mon Jan 27 09:37:48 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 27 Jan 2025 09:37:48 +0000 Received: from list by lists.xenproject.org with outflank-mailman.877501.1287630 (Exim 4.92) (envelope-from ) id 1tcLYl-0006k8-Ms; Mon, 27 Jan 2025 09:37:35 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 877501.1287630; Mon, 27 Jan 2025 09:37:35 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tcLYl-0006k1-JU; Mon, 27 Jan 2025 09:37:35 +0000 Received: by outflank-mailman (input) for mailman id 877501; Mon, 27 Jan 2025 09:37:34 +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 1tcLYk-0006jt-TO for mirageos-devel@lists.xenproject.org; Mon, 27 Jan 2025 09:37:34 +0000 Received: from mail-ed1-x52f.google.com (mail-ed1-x52f.google.com [2a00:1450:4864:20::52f]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 5527ca36-dc92-11ef-a0e6-8be0dac302b0; Mon, 27 Jan 2025 10:37:34 +0100 (CET) Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-5d932eac638so8293516a12.1 for ; Mon, 27 Jan 2025 01:37:32 -0800 (PST) Received: from [192.168.3.176] ([37.96.101.43]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-ab690c30267sm328936266b.117.2025.01.27.01.37.30 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Jan 2025 01:37:30 -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: 5527ca36-dc92-11ef-a0e6-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737970652; x=1738575452; darn=lists.xenproject.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id:from :to:cc:subject:date:message-id:reply-to; bh=5pRCxCcdYrHVwpstSxrTovI0bdV9HDVshcvn2W6gsPk=; b=AP7Xzd+jsffShFCKpTb+//l16J8Pj/Al8w9naYLnr5QqKl5nGrbC5wD4Ho6+bzMS7d gyDcZ0JEGlfgnxSD+jjVOFhZm+bUMTNxr0BmbBRds3RCGrM57fy1PdilFPlu2ZOt7dnq 2eUgEWJx5hFZctX7yIw9TreMLWfuo9lswnBT9lVfFSB/stSL6V2vZw/GhAu295D+fS/u ztMj+zfK/DkLjIXTfJ0JWX60v3ScGUTxJDM3bw0oC57I9KNqgl7lQaM9Qzyh9ICn2nbe 827oh6Ii4dz7MO522x5C3T+JaRYDMnPU0Eb2LK1CLqecwovqivnFxHkQTsLyJeYlGT61 vbQg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737970652; x=1738575452; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=5pRCxCcdYrHVwpstSxrTovI0bdV9HDVshcvn2W6gsPk=; b=VBkNr+ed6I4I1MTbxETXO+tnbdelNgv8Ux3ZRa32swMPX5xldS5/oQgx8d46b+G+zv WKFr+tkljR65UZsHwayZMm4ahcvVYhbIL/DRfxm1KOyH5vMx4+MHJhfr64NN2/ogqOtS 3XvPfCQ7nVfQESFp6Gt3EeflqU2w+awPcDm9HKsue3bv5YIsY8Ma7buwQX07kiIkEboB C9Q4r2gSwUCKjsQlhDBZGjBO1awSzSH1fjzRy1iNWYCtu9cuvvwCbx1LqD0fEQ6BS2We 86a03SwmzqVPVQ5MBmL9PFWBYphDqgeAfI3Ip/llm4XdtiX6wYGQIs5ri1cGUkI9odGP YYQg== X-Gm-Message-State: AOJu0Yxl5okGduT2cleD/Rrt5nhvlzcenMnWqj3cOSJG6Q+DYgOTFsS3 4Njl9b614ho0eBuBbgxRgX+TQOrnS7+dZM2zPaVgnPPYeZoAtCuEZfRBKA== X-Gm-Gg: ASbGncsjZAW8gvsSoma5+bQkQfyoudwaC4hJyPyp1IFSYfSNwW/4HVQ/pNCWMtuqS5C M0p7rxxdYQHXh05yCtV9lKoItpZGegO54OH/qWUQQ+V3e2r6yuKH2lhqFNdV6+nh6NtahESdzMM 1Kx0fspOj9/Lj4DBCDlQYj7rl0H66DjMLlZvCYlp69f8CH3F3o3mhBjgWN+G/eM6KEj6dFDQwxY GZE/9A+imZpAbySeOLPhGRkb/vh2RgSyDcTFmmgHiiLSP35NwyxPHbWQEQSd2BbiLgGZrGCKBl1 gTpZ X-Google-Smtp-Source: AGHT+IGURKhiKhx+jWx3exOTqT93hOu19qynBncfdCyJEMHExUnerGy5qNfxgwCn+CyDdSjIlL0QEw== X-Received: by 2002:a17:906:c104:b0:aaf:c326:f2d8 with SMTP id a640c23a62f3a-ab38b416a9cmr3873954066b.57.1737970651721; Mon, 27 Jan 2025 01:37:31 -0800 (PST) Message-ID: Date: Mon, 27 Jan 2025 10:37:29 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: next meeting: Monday Feb 10, 10:00 - 12:00 CET To: mirageos-devel@lists.xenproject.org References: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> <70fbf854-41b5-4ba3-bb78-1f80548e88d6@mehnert.org> Content-Language: en-US From: =?UTF-8?Q?Reynir_Bj=C3=B6rnsson?= In-Reply-To: <70fbf854-41b5-4ba3-bb78-1f80548e88d6@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear list, The next meeting is Feb 10, 10-12 CET. Please see the following link for the agenda and previous meeting notes. Please also feel free to add items to the agenda: https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw And please find at the end the meeting notes of today's meeting. Best, Reynir ## Meeting January 27th 10:00 - 12:00 CET - Participants: Pierre, Sam, Reynir, Pixie ### GC compactor - The GC compactor will unmap _ leading to ABORT - As you have to call the compactor explicitly we probably did not test it - Maybe we don't actually need compaction? - Sam: Observeration from mirage-www: - the behavior was similar to ocaml 4 version - if we tweak space overhead to 80 we get a similar profile as ocaml 4 version - Pierre: we can't deny users to call `Gc.compact ()` which would lead to a crash - Pierre: implementing mmap/munmap would be a huge effort - Sam: https://github.com/ocaml-flambda/flambda-backend/pull/3179 propose a different version of the compactor that doesn't fragment memory - Sam: So we could switch the whole GC (but this is a lot of work) - Pierre: Maybe time to investigate another allocator (e.g. jemalloc) - Pierre: everytime I looked into this it was very difficult - Sam: is writing or switch the allocator difficult? - Pierre: switching is easy, writing one is hard. Writing an allocator based on mmap/munmap is easy, the other way is hard. - Sam: we can imagine something radical like we know how much we will allocate to the unikernel. - Pierre: we know that: all the memory at the beginning. It's in sysdeps_solo5.c. We have `_nolibc_init()` where we can init everything. - Pierre: doesn't have time, but can look into a list of allocators - Pierre: We want to have very fast free memory estimation like we do in Qubes firewall. Will check that. - Sam: we do many small allocations in Mirage unikernels? - Pierre: we do as long as we have BigArrays - Pierre, with Sam agreeing: in the meantime we should encourage users to not call `Gc.compact ()` ### Performance: bytes vs. bigarray (cstruct) - Pierre: No news :D - Sam: I agree about reducing small (bigarray) allocations cf. previous item. ### Unikraft - Sam: Unikraft has real mmap/munmap which would be another way to solve the GC compactor issue - Pierre: is it possible to "steal" the allocator from unikraft? Also wrt. licensing. - Sam: Re: licensing, it may be quite a mess. In the code base it's already quite a mix of licenses: GPL, MIT, ... - Sam: also possible their implementation uses part of musl - Sam: all in all, not so simple From mirageos-devel-bounces@lists.xenproject.org Wed Jan 29 11:33:04 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 29 Jan 2025 11:33:04 +0000 Received: from list by lists.xenproject.org with outflank-mailman.879112.1289331 (Exim 4.92) (envelope-from ) id 1td6JP-0005yi-GF; Wed, 29 Jan 2025 11:32:51 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 879112.1289331; Wed, 29 Jan 2025 11:32:51 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1td6JP-0005yb-DK; Wed, 29 Jan 2025 11:32:51 +0000 Received: by outflank-mailman (input) for mailman id 879112; Wed, 29 Jan 2025 11:32:49 +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 1td6JN-0005yV-Lb for mirageos-devel@lists.xenproject.org; Wed, 29 Jan 2025 11:32:49 +0000 Received: from mail-il1-x130.google.com (mail-il1-x130.google.com [2607:f8b0:4864:20::130]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id c27b95c4-de34-11ef-99a4-01e77a169b0f; Wed, 29 Jan 2025 12:32:47 +0100 (CET) Received: by mail-il1-x130.google.com with SMTP id e9e14a558f8ab-3cfc934af74so47028595ab.2 for ; Wed, 29 Jan 2025 03:32:46 -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: c27b95c4-de34-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tarides-com.20230601.gappssmtp.com; s=20230601; t=1738150365; x=1738755165; darn=lists.xenproject.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=ZnV7eFw17JF+0JUel6+9RqDofQnl8bHAY3YvCeumqJc=; b=bZSXwG7ZzUeJPikHwaUFef3rVXs3HiPPZUEEGB3MrNjw5mqLmDun5PfqjFyBwCpG6/ efklgLDgd3qK/SPJBFoaMpkpQgYsMRULzQOZJ9EHxA5LV1RPkDpGhHnF8l57avgsPZNx rx6PhSxUEWNeAZ4MbhTbmIbs3PS+ziJvJi0wHjtusJNHFBruxlLXcF86QwSq7TjO0PZO h4qUHINQozBocJd13a1ZZExGKDfQCfgJNzV4Qvk5UjT8ul5LnpzaSkNt/Qtlp2AgxZOz inLfbiqARMnfm0a/cX8nEDtGgx7RIe0Ar4/DGYiivR67X6Cnd+p9p9WI1ne7wFMLSYTR 7T6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1738150365; x=1738755165; h=content-transfer-encoding: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=ZnV7eFw17JF+0JUel6+9RqDofQnl8bHAY3YvCeumqJc=; b=mNSkYRNZvbgxTRKcPAabkUFsf73er8LYTnY3+kitR5fpfNTbRn2DepWMLJGZzcfpcX loPuE0vNfefMp9G4AN2XOMou0qhsec8x0BW518ctV8uynHosf+WrwqAaJc31MXlHdx4k +snAbOHe4zImXLiVgi5MUsHAFZTCxH3RnwA9DPalhjJpiwEBLMmw9E/3Fe27Ym9RFopM 7NVgLP3inAhmYgrkMwCqDErRKBuxpoII3yXr2O+qYbPQ8J0QudQuebaVlMrmtUmYSalh yBd0m9Pw528hiH70A1nIVvsHo30U1nria35sDigDrLVC4GO68cLV1zSxCFwJMgf/RWrQ kyDw== X-Gm-Message-State: AOJu0YxHA9R9T2Jnr7SmrWgOVXywCDzOnxEs0pm+3dVpn4287w+T26rb FW7evGUzjgdZCh8iUdL7pao3zUeQCVR5rZBSwuKzgffpWmiYdb6KoxnJRFVpYFdkj/N2WzMS8TJ /3Y7qCnkasB0FVU42thb2Wa6xLAHGBf+uRy8iDw== X-Gm-Gg: ASbGnctJsHoYeU3RhUPDxs6/CkCzpKPmQV81VOiAshJu1yls5/1QHzIPypUKgSMxkqI QGmzLNMinE7ysPv51T1dtyBqK2ZzGUWxUdXJwe9zLEyFBZutGZLY/G+UBJMnS8iv/pM0MVbenFw == X-Google-Smtp-Source: AGHT+IFqcbFe55hbbQHkNJ7tUWxb/omf+2peFxvRO3Fny/Un/z+3PERf31DqNLohKelrqZxmp2BvYHs7nqTDz/lrmsE= X-Received: by 2002:a92:c26e:0:b0:3a7:e83c:2d08 with SMTP id e9e14a558f8ab-3cffe4ac05cmr23283325ab.22.1738150364825; Wed, 29 Jan 2025 03:32:44 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Samuel Hym Date: Wed, 29 Jan 2025 12:32:28 +0100 X-Gm-Features: AWEUYZlDCRCpMxJ14_05AR6IqQ22XBC4zXVoHQgeoQgPs9p69tG6vr5VZKUVc1A Message-ID: Subject: Re: troubleshooting problems with opam-monorepo To: Mindy Preston Cc: mirageos-devel@lists.xenproject.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi, > (2) what tactics should I be using to troubleshoot problems like no solve= r solution being found for my package set, or apparently nonsensical constr= aints being expressed? I tend to build unikernels with only few dependencies so I don=E2=80=99t ru= n that often into broken cases and maybe others would have more experience to share. The last time I had to figure out why opam-monorepo could not find a satisfiable solution it was because of lwt packages: the packages for lwt and lwt_ppx live in the same repository but they are not always released at the same time. Unfortunately opam-monorepo must pick only one version to extract in the duniverse (otherwise dune would not know which lwt and lwt_ppx to choose between the two...) but the solver doesn=E2=80=99t consider that constraint when picking its solution. I think= I had figured it out (painfully=E2=80=A6) by reviewing all the packages in th= e solution out of the solver. I ended up with adding a package in the opam-overlays to fix this [1]. Does this help you in any way? Do you want to share some details of your use case to see whether that rings any (other) bell? [1]: https://github.com/dune-universe/opam-overlays/pull/214 Anyway, as opam-monorepo has a few quirks like this, the goal we are working on at Tarides is rather to contribute to the dune package management feature to ensure it provides a much more robust solution than opam-monorepo. In particular, it will be able to build the versions picked up by the solver, even if they live in the same source repository. But dune pkg is still very much WIP, I haven=E2=80=99t tried ye= t to see how far I could go with that approach for a MirageOS. > the current problem with OCaml 5.3.0 not being usable at all. This is cooking right now :-) The PR [2] is usable / testable if you want. [2]: https://github.com/mirage/ocaml-solo5/pull/148 > I think =E2=80=9Crepaving my entire laptop was the easiest way to get it = to work=E2=80=9D is possibly informing my frustration with this piece of th= e ecosystem, maybe unfairly. :-) (In that case again, I would be curious to see more details, as it vaguely reminds me of metadata updates to opam packages to improve the experience on some lesser-used Linux distributions) Hope this helps, --=20 Samuel From mirageos-devel-bounces@lists.xenproject.org Thu Jan 30 10:09:40 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 30 Jan 2025 10:09:40 +0000 Received: from list by lists.xenproject.org with outflank-mailman.879433.1289636 (Exim 4.92) (envelope-from ) id 1tdRUF-0001kz-Hv; Thu, 30 Jan 2025 10:09:27 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 879433.1289636; Thu, 30 Jan 2025 10:09: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 1tdRUF-0001ks-EK; Thu, 30 Jan 2025 10:09:27 +0000 Received: by outflank-mailman (input) for mailman id 879433; Thu, 30 Jan 2025 10:09: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 1tdRUD-0001kk-Pv for mirageos-devel@lists.xenproject.org; Thu, 30 Jan 2025 10:09:26 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 463314c8-def2-11ef-99a4-01e77a169b0f; Thu, 30 Jan 2025 11:09:21 +0100 (CET) Received: from [192.168.42.80] (i5C74C380.versanet.de [92.116.195.128]) (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 68D10FD93 for ; Thu, 30 Jan 2025 11:09: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: 463314c8-def2-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1738231760; bh=INwkAC860MfFEekJolZJEA8J0u718TNNN5fMMndc6No=; h=Date:Subject:To:References:From:In-Reply-To; b=I9jWxd8xLlXAgj3tXPJGtRjdNwC8cJnIag5ohgpAU1tG9mCv2XDz6XoeL+bhD9MTc irT+GhB35KXbLomWqLFlRPYcV/8ndaCkYVglYfPamDVoLSW/IpQFdISd4eBlxWrMax S5XGaeC/7tXgAjhIwy7TsTzxpOkd5KFxPpNyIuC6X+oacFWzWmDJ7Rz/MHiwtkNsrt 7c7h5+kSlfDgeFRgSPsPTzp3wdc2FDwkZ2/JFtZOyVr51h+Dgp4PZoiU2YoiF3N2/V N8+qsNIPGziV80ktf4Yw8ad7fMgPBiC/QqpoiH2OP2rhlmkA4QN6jyRa63h6abHiL2 ++lt78/r8ZAVA== Message-ID: <0602b9f7-c549-45e5-8ecc-961afc22a9ec@mehnert.org> Date: Thu, 30 Jan 2025 11:09:18 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: next meeting: Monday Feb 10, 10:00 - 12:00 CET To: mirageos-devel@lists.xenproject.org References: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> <70fbf854-41b5-4ba3-bb78-1f80548e88d6@mehnert.org> Content-Language: en-US From: Hannes Mehnert 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 In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 27/01/2025 10:37, Reynir Björnsson wrote: > ### GC compactor > - The GC compactor will unmap _ leading to ABORT > - As you have to call the compactor explicitly we probably did not test it > - Maybe we don't actually need compaction? > - Sam: Observeration from mirage-www: >   - the behavior was similar to ocaml 4 version >   - if we tweak space overhead to 80 we get a similar profile as ocaml > 4 version > - Pierre: we can't deny users to call `Gc.compact ()` which would lead > to a crash > - Pierre: implementing mmap/munmap would be a huge effort Is this true? If I understand it correctly, we support mmap (with off = 0 and flags = MAP_ANONYMOUS) already -- which is basically malloc & zeroing out the memory. In this scenario, isn't munmap (of that previously mmap()ed area) just a free()? Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Thu Jan 30 13:46:43 2025 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 30 Jan 2025 13:46:43 +0000 Received: from list by lists.xenproject.org with outflank-mailman.879597.1289810 (Exim 4.92) (envelope-from ) id 1tdUsJ-0004yY-Sc; Thu, 30 Jan 2025 13:46:31 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 879597.1289810; Thu, 30 Jan 2025 13:46:31 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tdUsJ-0004yR-Pu; Thu, 30 Jan 2025 13:46:31 +0000 Received: by outflank-mailman (input) for mailman id 879597; Thu, 30 Jan 2025 13:46:30 +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 1tdUsH-0004kx-RK for mirageos-devel@lists.xenproject.org; Thu, 30 Jan 2025 13:46:30 +0000 Received: from mail.w13.tutanota.de (mail.w13.tutanota.de [185.205.69.213]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 99e38f2c-df10-11ef-99a4-01e77a169b0f; Thu, 30 Jan 2025 14:46:27 +0100 (CET) Received: from tutadb.w10.tutanota.de (w10.api.tuta.com [IPv6:fd:ac::d:10]) by mail.w13.tutanota.de (Postfix) with ESMTP id 8EFDE5A0141E; Thu, 30 Jan 2025 14:45:55 +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: 99e38f2c-df10-11ef-99a4-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1738244755; s=s1; d=tuta.io; h=From:From:To:To:Subject:Subject:Content-Description:Content-ID:Content-Type:Content-Type:Content-Transfer-Encoding:Content-Transfer-Encoding:Cc:Cc:Date:Date:In-Reply-To:In-Reply-To:MIME-Version:MIME-Version:Message-ID:Message-ID:Reply-To:References:References:Sender; bh=7kzc92E9w2xZcujKCwCosWNNhMfqA0lKkmqsRdTweP8=; b=JzRgK2PY/YDbbkKMOEHW1vnQHYpYX4nX+RkN9gkX/4rEUVd5IMurVxqDoW7Elvhx a/BiDb93Bwpd+isAPv+580gs2TCmQeX3mChGIrjtCd+N0/blZILZCVzpHFD+HzcZVqm ZDpP3OCA7K1nUzrRDTIRLOF85UvZobRfeV0/TBL2OqBL95TsK7+HZKAWas/yXJaEaoi yxMMoG0DpYoQe42jngVr36oB3WEwMjWX9HQI2QqCOdNC2OuNN79JoUhp5Qp5Wz6v3Gd BE2jCyeCe/Cfr5W89q2rbby9GvNYYsuZNFZpTlCOvlY6zJrKaNIE9C4WwmY3Bn4xFBl E+Hscm+d2Q== Date: Thu, 30 Jan 2025 14:45:55 +0100 (CET) From: pierre.alain@tuta.io To: Hannes Mehnert Cc: Mirageos Devel Message-ID: In-Reply-To: <0602b9f7-c549-45e5-8ecc-961afc22a9ec@mehnert.org> References: <3ebfc6e3-aeda-4729-a63d-02c139827945@mehnert.org> <70fbf854-41b5-4ba3-bb78-1f80548e88d6@mehnert.org> <0602b9f7-c549-45e5-8ecc-961afc22a9ec@mehnert.org> Subject: Re: next meeting: Monday Feb 10, 10:00 - 12:00 CET MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Jan 30, 2025, 11:10 by hannes@mehnert.org: > On 27/01/2025 10:37, Reynir Bj=C3=B6rnsson wrote: > >> ### GC compactor >> - The GC compactor will unmap _ leading to ABORT >> - As you have to call the compactor explicitly we probably did not test = it >> - Maybe we don't actually need compaction? >> - Sam: Observeration from mirage-www: >> =C2=A0 - the behavior was similar to ocaml 4 version >> =C2=A0 - if we tweak space overhead to 80 we get a similar profile as o= caml 4 version >> - Pierre: we can't deny users to call `Gc.compact ()` which would lead t= o a crash >> - Pierre: implementing mmap/munmap would be a huge effort >> > > > Is this true? If I understand it correctly, we support mmap (with off =3D= 0 and flags =3D MAP_ANONYMOUS) already -- which is basically malloc & zero= ing out the memory. > > In this scenario, isn't munmap (of that previously mmap()ed area) just a = free()? > > Dear Hannes, Yes, munmap an entire mmapped region is equivalent to free, and that's our = current implementation. My understanding of the issue was to munmap of a chunk inside an mmapped re= gion, which requires a full mmap/munmap implementation (we don't have curre= ntly). I'm not sure where the code that causes the ABORT lives and maybe it= can be difficult to trigger the situation? Best, Pierre