From mirageos-devel-bounces@lists.xenproject.org Mon Feb 09 16:04:41 2026 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 Feb 2026 16:04:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1225680.1532235 (Exim 4.92) (envelope-from ) id 1vpTkV-0002e0-BF; Mon, 09 Feb 2026 16:04:31 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1225680.1532235; Mon, 09 Feb 2026 16:04: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 1vpTkV-0002dt-85; Mon, 09 Feb 2026 16:04:31 +0000 Received: by outflank-mailman (input) for mailman id 1225680; Mon, 09 Feb 2026 16:04: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 1vpTkT-0002di-Kb for mirageos-devel@lists.xenproject.org; Mon, 09 Feb 2026 16:04:30 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 000aef71-05d1-11f1-9ccf-f158ae23cfc8; Mon, 09 Feb 2026 17:04:24 +0100 (CET) Received: from [192.168.2.129] (unknown [62.27.214.243]) (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 8642BFE07 for ; Mon, 9 Feb 2026 17:04:22 +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: 000aef71-05d1-11f1-9ccf-f158ae23cfc8 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1770653062; bh=8qAHCT8GP2JB0IWdj+orU5w0V03yE2heWx+ypB1mWXM=; h=Date:To:From:Subject; b=J0ATfeKLIxykY6ojFAd4rZjUx0pfWCw2Ns3/6YIpmU7g1AjzIOL+V7tR0G9BCj0+N 7DlOf8HHJM+Zlf4xjzLaSRU+R4ECJDoAgvYHdTRccy114GsFqf/VwMpGEz6aPmyIYs 8P+5Uum41Ua3TWTKFuNu9iNlALzN6atGLfYau59BdypqG5wd070EtLGcztTORNdmK1 whlt+TnlrNyVXrE0H+bhLYn5JsEMYuZkI/gPYJq7xqRNtzAQepB+zMmHlsyxPdKDM+ 1Va5qLQOvrAOwFUuYasjxMxvPafkwpj96tfS1sknlqjRh6fDMW0QGbn8U/ISxFIvl7 8IpkyysvuPeOA== Message-ID: <7b188876-b5ea-4058-992d-c1d70f151bed@mehnert.org> Date: Mon, 9 Feb 2026 17:04:21 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: mirageos-devel From: Hannes Mehnert Subject: New communication channel: zulip Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear everyone, the OCaml community started to move to zulip (at https://ocaml.zulipchat.com), instead of discord & slack (as I can tell). There is now a MirageOS channel on that zulip server (https://ocaml.zulipchat.com/#narrow/channel/564575-mirage), where we're happy to discuss. This is next to the matrix channel (#mirage:matrix.org), this email list, and there may as well be some still around on IRC (irc.libera.chat, #mirage). We're phasing out the discord channel, so please keep in touch either on matrix, zulip, or this mailing list. All the best, Hannes From mirageos-devel-bounces@lists.xenproject.org Mon Feb 09 16:12:08 2026 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 Feb 2026 16:12:08 +0000 Received: from list by lists.xenproject.org with outflank-mailman.1225695.1532260 (Exim 4.92) (envelope-from ) id 1vpTrq-00053Z-EL; Mon, 09 Feb 2026 16:12:06 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1225695.1532260; Mon, 09 Feb 2026 16:12:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vpTrq-00053S-BC; Mon, 09 Feb 2026 16:12:06 +0000 Received: by outflank-mailman (input) for mailman id 1225695; Mon, 09 Feb 2026 16:12:05 +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 1vpTro-00052j-Qb for mirageos-devel@lists.xenproject.org; Mon, 09 Feb 2026 16:12:05 +0000 Received: from smtp-1.srv.uis.cam.ac.uk (smtp-1.srv.uis.cam.ac.uk [128.232.132.147]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 109af233-05d2-11f1-b162-2bf370ae4941; Mon, 09 Feb 2026 17:12:03 +0100 (CET) Received: from svr-postfix-1.cl.cam.ac.uk ([128.232.119.160]:45805) by smtp-1.srv.uis.cam.ac.uk with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.99.1) (envelope-from ) id 1vpTrk-00000001n9G-2ORr; Mon, 09 Feb 2026 16:12:00 +0000 Received: from fauth-a1-smtp.messagingengine.com (fauth-a1-smtp.messagingengine.com [103.168.172.200]) (Authenticated sender: avsm2+fm) by svr-postfix-1.cl.cam.ac.uk (Postfix) with ESMTPSA id BFD8D4038C; Mon, 9 Feb 2026 16:11:53 +0000 (UTC) Received: from phl-compute-12.internal (phl-compute-12.internal [10.202.2.52]) by mailfauth.phl.internal (Postfix) with ESMTP id 06852F4006A; Mon, 9 Feb 2026 11:11:53 -0500 (EST) Received: from phl-frontend-04 ([10.202.2.163]) by phl-compute-12.internal (MEProxy); Mon, 09 Feb 2026 11:11:53 -0500 Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 9 Feb 2026 11:11:52 -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: 109af233-05d2-11f1-b162-2bf370ae4941 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20250721.smtp; h=References:To:Cc:In-Reply-To:Date:Subject:Mime-Version: Content-Type:Message-Id:From:Sender:Reply-To:Content-Transfer-Encoding: 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=L74BZ62YGjXLWIuOQopJCNIn+AXgY6DLx4oiu0Jl+Hc=; b=Q9OBURPVUvQkLtEEs2zD+ZvYUD 81zBVL1OHyNp6e8aIMWpbjZdYdmFNaS/lPNzD8GzAJYNtnQmOMuCsxQp2tSNxSKu6arSu34Iud5fI JeTuRmrcubBwwjffU0VMRbW6rGKXRZohEYmskRJ56/DeJHUP+bkWq2nTx/6g8AMCwWNTlRLg7SuHl 93w/pKB1heGSNKEe5dUx+aQ2yZbsuUV1gNNHJEuSvzY6ENmoyXHdFr1bVHpdlMNvZlGYgZ83RVXvo eez7KX3PKbQIbFTBYm9j89/4F243PcXV+332gA2L6LqGagEUfkOyYnGh/+PNc0RHpoVZWa4KPAdWP d2Bun1xA==; 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: gggruggvucftvghtrhhoucdtuddrgeefgedrtddtgdduleejvdehucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfurfetoffkrfgpnffqhgenuceu rghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujf gurhephffktgggufffjgevvfhfofesrgdtmherhhdtjeenucfhrhhomheptehnihhlucfo rgguhhgrvhgrphgvugguhicuoegrvhhsmhdvsegtlhdrtggrmhdrrggtrdhukheqnecugg ftrfgrthhtvghrnhephfeihfetvedtfeettdfhuddvteeugfetfeeugfeiveefjedvfeeu veegtefgfeehnecuffhomhgrihhnpeiiuhhlihhptghhrghtrdgtohhmpdhlihgsvghrrg drtghhrghtpdhrvggtohhilhdrohhrghdptggrmhdrrggtrdhukhenucevlhhushhtvghr ufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegrvhhsmhdvodhmvghsmhhtph gruhhthhhpvghrshhonhgrlhhithihqdduvdehvdekfedujeefqddvkeduleejgeeiledq rghvshhmvdeppegtlhdrtggrmhdrrggtrdhukhesfhhmrdgtlhdrtggrmhdrrggtrdhukh dpnhgspghrtghpthhtohepvddpmhhouggvpehsmhhtphhouhhtpdhrtghpthhtohephhgr nhhnvghssehmvghhnhgvrhhtrdhorhhgpdhrtghpthhtohepmhhirhgrghgvohhsqdguvg hvvghlsehlihhsthhsrdigvghnphhrohhjvggtthdrohhrgh X-ME-Proxy: Feedback-ID: i9ebc46d9:Fastmail From: Anil Madhavapeddy Message-Id: <4DE9EA1A-BFE0-4067-BB5E-7A706E4BBB3C@cl.cam.ac.uk> Content-Type: multipart/alternative; boundary="Apple-Mail=_D5BE7A83-A80D-4A59-BD98-A4AFF2D12412" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3864.300.41.1.7\)) Subject: Re: New communication channel: zulip Date: Mon, 9 Feb 2026 16:11:36 +0000 In-Reply-To: <7b188876-b5ea-4058-992d-c1d70f151bed@mehnert.org> Cc: mirageos-devel To: Hannes Mehnert References: <7b188876-b5ea-4058-992d-c1d70f151bed@mehnert.org> X-Mailer: Apple Mail (2.3864.300.41.1.7) --Apple-Mail=_D5BE7A83-A80D-4A59-BD98-A4AFF2D12412 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On Feb 9, 2026, at 4:04=E2=80=AFPM, Hannes Mehnert = wrote: >=20 > Dear everyone, >=20 > the OCaml community started to move to zulip (at = https://ocaml.zulipchat.com), instead of discord & slack (as I can = tell). >=20 > There is now a MirageOS channel on that zulip server = (https://ocaml.zulipchat.com/#narrow/channel/564575-mirage), where we're = happy to discuss. This is next to the matrix channel = (#mirage:matrix.org), this email list, and there may as well be some = still around on IRC (irc.libera.chat, #mirage). I didn't even know we had a Discord channel, so the switch the Zulip is = very welcome! :-) -- Anil Madhavapeddy, Professor of Planetary Computing = (https://anil.recoil.org) Computer Laboratory, University of Cambridge (https://cst.cam.ac.uk) --Apple-Mail=_D5BE7A83-A80D-4A59-BD98-A4AFF2D12412 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
On Feb 9, 2026, at 4:04=E2=80=AFPM, Hannes Mehnert = <hannes@mehnert.org> wrote:

Dear everyone,

the = OCaml community started to move to zulip (at = https://ocaml.zulipchat.com), instead of discord & slack (as I can = tell).

There is now a MirageOS channel on that zulip server = (https://ocaml.zulipchat.com/#narrow/channel/564575-mirage), where we're = happy to discuss. This is next to the matrix channel = (#mirage:matrix.org), this email list, and there may as well be some = still around on IRC (irc.libera.chat, = #mirage).

I didn't even = know we had a Discord channel, so the switch the Zulip is very welcome! = :-)

--
Anil Madhavapeddy, = Professor of Planetary Computing = (https://anil.recoil.org)
Computer Laboratory, University = of Cambridge = (https://cst.cam.ac.uk)
= --Apple-Mail=_D5BE7A83-A80D-4A59-BD98-A4AFF2D12412--