From mirageos-devel-bounces@lists.xenproject.org Mon Jan 12 19:15:51 2026 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 12 Jan 2026 19:15:51 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1200892.1516692 (Exim 4.92) (envelope-from ) id 1vfNOB-0008GY-2B; Mon, 12 Jan 2026 19:15:43 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1200892.1516692; Mon, 12 Jan 2026 19:15:43 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vfNOA-0008GR-Vf; Mon, 12 Jan 2026 19:15:42 +0000 Received: by outflank-mailman (input) for mailman id 1200892; Mon, 12 Jan 2026 19:15:42 +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 1vfNO9-0008GJ-Qd for mirageos-devel@lists.xenproject.org; Mon, 12 Jan 2026 19:15:42 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 14529c8c-efeb-11f0-9ccf-f158ae23cfc8; Mon, 12 Jan 2026 20:15:39 +0100 (CET) Received: from [192.168.42.80] (i5C74C336.versanet.de [92.116.195.54]) (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 907A2B3B8 for ; Mon, 12 Jan 2026 20:15:37 +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: 14529c8c-efeb-11f0-9ccf-f158ae23cfc8 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1768245337; bh=gSyYuBDxP1ySpJVfUx0lZGsMZZnOpBUvmFYbuTwt//k=; h=Date:To:From:Subject; b=E7xp3jM2n76FR/TOhIgOdcpYpTYc9A5qF/EaUnb5LRcJ/thbjMCQgYErVZlIMIV5g M+CuFsYFRPDTHJixSvjd0AWOuztD7DvZZiBv4/hlDnaL8a2Kmtxb6uf7Ej9NTKTCCk jkQAgAzB9CE1yIgAAVWkUAukQMdbwueFAR03otlmObbSgOqRQySaBhH2d8OZbwADxG 5pjj/taq1EqDhpnoNfjJM4Shs15hsRoGVYjH0syg3HrHshnnJcEuqxhJIsjGxN+q/e Jngtwv9Zb8zf75xyGpFbFfAsGUHrjIZNFQ/pG71CcVlpfY4+/2t1FDcZb6Zkstmk5T 8036n6mbnu/vA== Message-ID: <57fb77b5-ea57-42da-8959-4fe265f9259d@mehnert.org> Date: Mon, 12 Jan 2026 20:15:37 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: mirageos-devel From: Hannes Mehnert Subject: HEADSUP: all MirageOS unikernel compilations are broken right now Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear everyone, first of all: Happy New Year! :) since lwt 6.0.0 came into existance, unfortunately all MirageOS unikernel compilations (for any target apart from unix) are broken. The issue is that lwt now uses ``` (libraries (select lwt_rte.ml from (lwt_runtime_events -> lwt_rte.with.ml) (-> lwt_rte.without.ml)))) ``` Which interacts badly with dune / solo5 cross-compilation. I opened an issue at the dune issue tracker https://github.com/ocaml/dune/issues/13299 Any help is appreciated. I've no experience with dune, and do not understand how MirageOS unikernels are compiled (when typing `make build`) well enough. We, well, Reynir, discovered that while working on DNSvizor https://github.com/robur-coop/dnsvizor/pull/116 Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Jan 13 09:39:43 2026 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 13 Jan 2026 09:39:43 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1201319.1516973 (Exim 4.92) (envelope-from ) id 1vfas8-0006mh-Qk; Tue, 13 Jan 2026 09:39:32 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1201319.1516973; Tue, 13 Jan 2026 09:39:32 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vfas8-0006ma-O5; Tue, 13 Jan 2026 09:39:32 +0000 Received: by outflank-mailman (input) for mailman id 1201319; Tue, 13 Jan 2026 09:39:32 +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 1vfas7-0006mU-Sr for mirageos-devel@lists.xenproject.org; Tue, 13 Jan 2026 09:39:31 +0000 Received: from mail-ed1-x534.google.com (mail-ed1-x534.google.com [2a00:1450:4864:20::534]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id c1c5a6f7-f063-11f0-b15e-2bf370ae4941; Tue, 13 Jan 2026 10:39:30 +0100 (CET) Received: by mail-ed1-x534.google.com with SMTP id 4fb4d7f45d1cf-6505d3adc3aso11478571a12.1 for ; Tue, 13 Jan 2026 01:39:29 -0800 (PST) Received: from [192.168.3.50] ([37.96.100.176]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-6507b8c446esm19756501a12.6.2026.01.13.01.39.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Jan 2026 01:39:28 -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: c1c5a6f7-f063-11f0-b15e-2bf370ae4941 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1768297169; x=1768901969; 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=vtAbpktH4CI5lS2bmBfUivPVcHFa5iFzK60q0tLnSv8=; b=RWSO+Xb+F8uWcl+CCuuQ1aDoqrAvsGa15BNC3SK8/DPmZAsW8CNY6gVyO1lsn+cCGB xFEvE6TQ+WBGFyqryQk4fO3qK8GXVreHOgzjs0MFlQSgUMiRFm6vgyUgQ3yxQ8cwlkaG FILJS5oT2OtbkRrcHGkG4kmANvILVMjVDTysl+AxZAp1ZQff7xdP+q8d4+k+TbmsoQ0w WM8N3WQ/QSdmFD6ioJaXkosvtDOuX9yWRrjhlNS2XC3eAYkluw0lCyGyoZxUYatzrw/6 jiO5xBNMI1jrIA36t6tUSE75xRkUkJ0sU7FB+RgutRWXsNGYhqsxm62+VHOH7WU23jNg pIHA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1768297169; x=1768901969; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=vtAbpktH4CI5lS2bmBfUivPVcHFa5iFzK60q0tLnSv8=; b=jVBgHjQVobRYohkyp6rY9XNYKPyBdaOrodUR9ndmGEoVXPysUPSBU4KciUx7zn7O6n 7ZoqyQbVz56PkWe75AG9foL4rB6udPxRdfQmIdELjcXhl+h/kabKYdPwg9DoPymVMWXx WnsZI+mvPyeX/2ZQO7ezsBXn5keG3czNMezSoPVAfWBjbJ5qPwPpCtfMwITcT9nLQMGX pqLnOf86OqsUyfWUVKSqft03OuBLtZLAIyjE+qUQeqgLGEZClhYhdt//pOJfj2LIy3BE 6euuL9UhVs8LyRR1LEVcxbxQnC0J+/cLlZMp4JjW0TziyYsOmIfvfElurSq6Jyb4GPXM Lszw== X-Gm-Message-State: AOJu0YxFWFbqDuzeCf96vbIA004O6HKt49dtpD7F/CdppAPjpHVIcwPv 8qImzd6Ui45U4AOvu6x8Wg8o4GsMmyx/xpC7fu4NuZ4UNYNx3f0FvCwI8HQVNw== X-Gm-Gg: AY/fxX6XSpQuZbV8oI9KTCShrMk4Z8sEuiowz3jgFZnSzH3wBOBh+SaxKqDXLRNufIM 5/xG5z7hJK5NZcIuVO4JJUXay9z0Dy3prRAT+0z7lYijRiAi1irhOyujlFdGBplBjUzXJSwHw6G rZwneeqC5KYyXWyWL2jcdW52oIeBzuXIbE6rDCRWSRz0D3fkAP/KAYk7crcpPt/YUXumu5w1UVr b5YVTDDusEiBt1YrWXE3u/iQo7MyiGDIhzhgth7YnshA42hzZ4fkyZrwa9i7c0rtClkSIBXFq5a CpgLuj4RTo26UplXJIZUI8dZcJa2hj+/+Thwb3jaT/ZV3xVVO4UQU2ZxVOJ5YUw9LvxH/cup0MU KoDW90ZOqNvVGtpjoyxpzzrvlcfPQYkahWHm8einbxK14NvB545qEVBTqrWlBK6kXCo9gliKF7L nC9OydRTwPew== X-Google-Smtp-Source: AGHT+IGzA9WrBTbD10Dd1v4L1v1yqOiZKSI6TdlQ3wpXOTrYXXRlaLx0kn20RpdDLBjWuQNsp8dNBQ== X-Received: by 2002:a05:6402:43ca:b0:64d:ab6b:17e0 with SMTP id 4fb4d7f45d1cf-65097e5afdcmr16486392a12.27.1768297168619; Tue, 13 Jan 2026 01:39:28 -0800 (PST) Message-ID: <05260b72-f8c3-4182-af4d-7e59572ee537@gmail.com> Date: Tue, 13 Jan 2026 10:39:26 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: HEADSUP: all MirageOS unikernel compilations are broken right now To: mirageos-devel@lists.xenproject.org References: <57fb77b5-ea57-42da-8959-4fe265f9259d@mehnert.org> Content-Language: en-US From: =?UTF-8?Q?Reynir_Bj=C3=B6rnsson?= In-Reply-To: <57fb77b5-ea57-42da-8959-4fe265f9259d@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit > We, well, Reynir, discovered that while working on DNSvizor https:// > github.com/robur-coop/dnsvizor/pull/116 Thanks for the credit, but it was you that made sense of the error :-) From mirageos-devel-bounces@lists.xenproject.org Tue Jan 13 12:21:06 2026 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 13 Jan 2026 12:21:06 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1201581.1517169 (Exim 4.92) (envelope-from ) id 1vfdOJ-0004SP-Hm; Tue, 13 Jan 2026 12:20:55 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1201581.1517169; Tue, 13 Jan 2026 12:20:55 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vfdOJ-0004SI-F4; Tue, 13 Jan 2026 12:20:55 +0000 Received: by outflank-mailman (input) for mailman id 1201581; Tue, 13 Jan 2026 12:20:54 +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 1vfdOH-0004SC-GS for mirageos-devel@lists.xenproject.org; Tue, 13 Jan 2026 12:20:54 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 4d0701ed-f07a-11f0-b15e-2bf370ae4941; Tue, 13 Jan 2026 13:20:52 +0100 (CET) Received: from [192.168.42.80] (i5C74C1C7.versanet.de [92.116.193.199]) (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 B8C561BD34 for ; Tue, 13 Jan 2026 13:20: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: 4d0701ed-f07a-11f0-b15e-2bf370ae4941 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1768306850; bh=aLF4tKFZSrkFj6FwrHiAoireJvaq8dF70XXeS0XqG9o=; h=Date:Subject:To:References:From:In-Reply-To; b=G18z2EWuIqLDANXrDr59/HZAaPwiJZ+JRE6Jotuf86y/BRlL3sx5ea+QTt/n1mt0n qvIUskKJuyTHR/UaoiV+6IM4OIPFPu2wGyzlYcW8LkosQsU/KqNxmHxgWGDcPotAkt XWRY08VU0d8j6kHglyIxo/CR9Gmt7GVH2VRhOUIr4Owc07464LYM/FcKQ7eNLDt5Ue JIybHGuKduolVnOgly6cy/M2QRcqgZFjqkDYBlzV7xu4Lf9esQFybSnztwwIonqare EU6hDkoKruwVEcj3xn873l4KH4NQVaDnD3L+WSzwFtlQdXj9tDSK/WEDa/SUrJ5c21 QEhD3LGdOnGMg== Message-ID: <82163f6e-ad21-45a5-9c33-96fe5a7a3b8d@mehnert.org> Date: Tue, 13 Jan 2026 13:20:50 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: HEADSUP: all MirageOS unikernel compilations are broken right now To: mirageos-devel@lists.xenproject.org References: <57fb77b5-ea57-42da-8959-4fe265f9259d@mehnert.org> Content-Language: en-US From: Hannes Mehnert In-Reply-To: <57fb77b5-ea57-42da-8959-4fe265f9259d@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit A workaround awaits to be merged at https://github.com/ocaml/opam-repository/pull/29219 - which adds a conflicts to mirage-runtime with lwt 6.0.0. It would be great to have this merged rather sooner than later. At the same time, this can be reverted once the issue in dune is resolved. Best, Hannes On 12/01/2026 20:15, Hannes Mehnert wrote: > Dear everyone, > > first of all: Happy New Year! :) > > since lwt 6.0.0 came into existance, unfortunately all MirageOS > unikernel compilations (for any target apart from unix) are broken. > > The issue is that lwt now uses > ``` >  (libraries >  (select lwt_rte.ml from >   (lwt_runtime_events -> lwt_rte.with.ml) >   (-> lwt_rte.without.ml)))) > ``` > > Which interacts badly with dune / solo5 cross-compilation. I opened an > issue at the dune issue tracker https://github.com/ocaml/dune/issues/13299 > > Any help is appreciated. I've no experience with dune, and do not > understand how MirageOS unikernels are compiled (when typing `make > build`) well enough. > > > We, well, Reynir, discovered that while working on DNSvizor https:// > github.com/robur-coop/dnsvizor/pull/116 > > Best, > > Hannes >