From mirageos-devel-bounces@lists.xenproject.org Tue Apr 11 14:48:11 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 11 Apr 2023 14:48:11 +0000 Received: from list by lists.xenproject.org with outflank-mailman.519699.806657 (Exim 4.92) (envelope-from ) id 1pmFHs-00085M-4a; Tue, 11 Apr 2023 14:48:00 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 519699.806657; Tue, 11 Apr 2023 14:48:00 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pmFHs-00085F-0v; Tue, 11 Apr 2023 14:48:00 +0000 Received: by outflank-mailman (input) for mailman id 519699; Tue, 11 Apr 2023 14:47:59 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pmFHr-000858-Bg for mirageos-devel@lists.xenproject.org; Tue, 11 Apr 2023 14:47:59 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id d8da741e-d877-11ed-b21e-6b7b168915f2; Tue, 11 Apr 2023 16:47:58 +0200 (CEST) Received: from [192.168.42.10] (dslb-178-008-103-092.178.008.pools.vodafone-ip.de [178.8.103.92]) (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 0D72E13CF2 for ; Tue, 11 Apr 2023 16:47:56 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: d8da741e-d877-11ed-b21e-6b7b168915f2 Message-ID: Date: Tue, 11 Apr 2023 16:47:55 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:102.0) Gecko/20100101 Thunderbird/102.9.0 To: mirageos-devel Content-Language: en-US From: Hannes Mehnert Subject: MirageOS meeting 2023-04-12 (tomorrow) 14:00 CEST Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, tomorrow at 14:00 CEST we'll have our next bi-wekkly MirageOS meeting at https://whereby.com/ocamllabs. The (not very populated) agenda is at https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose additional items by adding them to the pad. Looking forward to see you tomorrow, Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Apr 12 12:04:26 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Apr 2023 12:04:26 +0000 Received: from list by lists.xenproject.org with outflank-mailman.520189.807512 (Exim 4.92) (envelope-from ) id 1pmZD0-0003O3-8N; Wed, 12 Apr 2023 12:04:18 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 520189.807512; Wed, 12 Apr 2023 12:04:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pmZD0-0003Nw-4d; Wed, 12 Apr 2023 12:04:18 +0000 Received: by outflank-mailman (input) for mailman id 520189; Wed, 12 Apr 2023 12:04:17 +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 1pmZCz-0003Nq-4Z for mirageos-devel@lists.xenproject.org; Wed, 12 Apr 2023 12:04:17 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 241679a7-d92a-11ed-8611-37d641c3527e; Wed, 12 Apr 2023 14:04:14 +0200 (CEST) Received: from [192.168.9.141] (p549e8026.dip0.t-ipconnect.de [84.158.128.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 C1E3B17470 for ; Wed, 12 Apr 2023 14:04:13 +0200 (CEST) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 241679a7-d92a-11ed-8611-37d641c3527e Message-ID: <4f103b27-e8a0-cf9c-4ced-f681b771709f@mehnert.org> Date: Wed, 12 Apr 2023 14:04:01 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:102.0) Gecko/20100101 Thunderbird/102.9.0 Subject: Re: MirageOS meeting 2023-04-12 (tomorrow) 14:00 CEST To: mirageos-devel@lists.xenproject.org References: Content-Language: en-US From: Hannes Mehnert In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 11/04/2023 16:47, Hannes Mehnert wrote: > Hey, > > tomorrow at 14:00 CEST we'll have our next bi-wekkly MirageOS meeting at > https://whereby.com/ocamllabs. > > The (not very populated) agenda is at > https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose > additional items by adding them to the pad. Since whereby.com/ocamllabs is a closed meeting room ("waiting for the host to let you in"), let's meet on IRC: libera.chat #mirage in case you're interested. Hannes From mirageos-devel-bounces@lists.xenproject.org Wed Apr 12 12:43:01 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Apr 2023 12:43:01 +0000 Received: from list by lists.xenproject.org with outflank-mailman.520208.807546 (Exim 4.92) (envelope-from ) id 1pmZoN-00083q-E4; Wed, 12 Apr 2023 12:42:55 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 520208.807546; Wed, 12 Apr 2023 12:42: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 1pmZoN-00083j-BS; Wed, 12 Apr 2023 12:42:55 +0000 Received: by outflank-mailman (input) for mailman id 520208; Wed, 12 Apr 2023 12:42:54 +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 1pmZoM-00083d-6M for mirageos-devel@lists.xenproject.org; Wed, 12 Apr 2023 12:42:54 +0000 Received: from mta3.cl.cam.ac.uk (mta3.cl.cam.ac.uk [2001:630:212:200::25:3]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 87ce5d08-d92f-11ed-8611-37d641c3527e; Wed, 12 Apr 2023 14:42:49 +0200 (CEST) Received: from auth2-smtp.messagingengine.com ([66.111.4.228]:49965) (dnseec=no) by mta3.cl.cam.ac.uk:587 [128.232.25.23] with esmtpsa auth as avsm2+fm (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) id 1pmZoH-009MMa-5C (envelope-from ); Wed, 12 Apr 2023 13:42:49 +0100 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailauth.nyi.internal (Postfix) with ESMTP id 87ECD27C005A; Wed, 12 Apr 2023 08:42:45 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Wed, 12 Apr 2023 08:42:45 -0400 Received: by mail.messagingengine.com (Postfix) with ESMTPA; Wed, 12 Apr 2023 08:42:44 -0400 (EDT) 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: 87ce5d08-d92f-11ed-8611-37d641c3527e DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cl.cam.ac.uk; s=mta3; 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=1k/eTAVmrjEjVUhRNN+N0kDUUjw8Z6kEF9PcvtSwWG4=; t=1681303370; x=1682167370; b=hFVJSdQ5AJ7U6+gJD1Pol7iiwlOBLvk8WsDNX4fmdrPs0d6g/ODZKeGHpJb2obuWKTNVtwB8czD iY0nD5FBiV3bPOsX42zZYLC1JtX6XOATDmW4LXZSBwEwtm7c4YzIpznP5iWfOSD6nP55LoT8dnEda 6hDqz/2/WoRmjDWOEO63Ow0flwgznrVmKUcxSyYm5XtHB90/bOz1Hw24yqx1b6v7FpCVgmQCT9O7f uSbehQBhC2uGp8rVVbQvhD6BgJUwStrOq1V2nCdg7l8riMyipYJieq94sfZUWhiUxU1uTxIY8Ec3K RSevnWOOakb8oHmzRJeOWOvI86+KALz0NuNw==; X-CL-Received-SPF: neutral (mta3.cl.cam.ac.uk: ) client-ip=66.111.4.228; envelope-from=avsm2@cl.cam.ac.uk; helo=auth2-smtp.messagingengine.com X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvhedrvdekiedgheeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffktgggufffjgevvfhfofesrgdtmherhhdtvdenucfhrhhomheptehnihhl ucforgguhhgrvhgrphgvugguhicuoegrvhhsmhdvsegtlhdrtggrmhdrrggtrdhukheqne cuggftrfgrthhtvghrnhepkedviedvudevheevvefhteejvdektdduvdejfefgtdegveet heeljeduvdevieetnecuffhomhgrihhnpeifhhgvrhgvsgihrdgtohhmpdgurghtrgdrtg hoohhppdhjihhtrdhsihenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgr ihhlfhhrohhmpegrvhhsmhdvodhmvghsmhhtphgruhhthhhpvghrshhonhgrlhhithihqd duvdehvdekfedujeefqddvkeduleejgeeiledqrghvshhmvdeppegtlhdrtggrmhdrrggt rdhukhesfhhmrdgtlhdrtggrmhdrrggtrdhukh X-ME-Proxy: Feedback-ID: i9ebc46d9:Fastmail From: Anil Madhavapeddy Message-Id: <15C3E3B5-F1D9-4928-8D15-DB65B6D83B4E@cl.cam.ac.uk> Content-Type: multipart/alternative; boundary="Apple-Mail=_D2410434-1F6E-47AD-90DC-6C9C69C1D93A" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.400.51.1.1\)) Subject: Re: MirageOS meeting 2023-04-12 (tomorrow) 14:00 CEST Date: Wed, 12 Apr 2023 13:42:32 +0100 In-Reply-To: <4f103b27-e8a0-cf9c-4ced-f681b771709f@mehnert.org> Cc: mirageos-devel@lists.xenproject.org To: Hannes Mehnert References: <4f103b27-e8a0-cf9c-4ced-f681b771709f@mehnert.org> X-Mailer: Apple Mail (2.3731.400.51.1.1) X-cl-SRS: mirageos-devel@lists.xenproject.org vs mirageos-devel@lists.xenproject.org --Apple-Mail=_D2410434-1F6E-47AD-90DC-6C9C69C1D93A Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii On 12 Apr 2023, at 13:04, Hannes Mehnert wrote: >=20 > On 11/04/2023 16:47, Hannes Mehnert wrote: >> Hey, >> tomorrow at 14:00 CEST we'll have our next bi-wekkly MirageOS meeting = at https://whereby.com/ocamllabs. >> The (not very populated) agenda is at = https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose = additional items by adding them to the pad. >=20 > Since whereby.com/ocamllabs is a closed meeting room ("waiting for the = host to let you in"), let's meet on IRC: libera.chat #mirage in case = you're interested. >=20 I was travelling and couldn't make this one, but apologies for closed = meeting room. Perhaps we should shift to Jitsi https://meet.jit.si/? = I've had success with it in recent months again. Thomas Leonard and I = tried and failed to get it to work in Matrix chat recently, though. -Anil --Apple-Mail=_D2410434-1F6E-47AD-90DC-6C9C69C1D93A Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii On 12 Apr = 2023, at 13:04, Hannes Mehnert <hannes@mehnert.org> = wrote:

On 11/04/2023 16:47, = Hannes Mehnert wrote:
Hey,
tomorrow at = 14:00 CEST we'll have our next bi-wekkly MirageOS meeting at = https://whereby.com/ocamllabs.
The (not very populated) agenda is at = https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose = additional items by adding them to the pad.

Since = whereby.com/ocamllabs is a closed meeting room ("waiting for the host to = let you in"), let's meet on IRC: libera.chat #mirage in case you're = interested.


I was = travelling and couldn't make this one, but apologies for closed meeting = room. Perhaps we should shift to Jitsi https://meet.jit.si/? I've had = success with it in recent months again. Thomas Leonard and I tried and = failed to get it to work in Matrix chat recently, = though.

-Anil

= --Apple-Mail=_D2410434-1F6E-47AD-90DC-6C9C69C1D93A--