From mirageos-devel-bounces@lists.xenproject.org Wed Feb 01 12:07:34 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 01 Feb 2023 12:07:34 +0000 Received: from list by lists.xenproject.org with outflank-mailman.488283.756295 (Exim 4.92) (envelope-from ) id 1pNBtc-0003zh-LA; Wed, 01 Feb 2023 12:07:24 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 488283.756295; Wed, 01 Feb 2023 12:07:24 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pNBtc-0003za-IP; Wed, 01 Feb 2023 12:07:24 +0000 Received: by outflank-mailman (input) for mailman id 488283; Wed, 01 Feb 2023 12:07:22 +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 1pNBta-0003zS-SU for mirageos-devel@lists.xenproject.org; Wed, 01 Feb 2023 12:07:22 +0000 Received: from mail-ed1-x531.google.com (mail-ed1-x531.google.com [2a00:1450:4864:20::531]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id fa8fc9c7-a228-11ed-933c-83870f6b2ba8; Wed, 01 Feb 2023 13:07:22 +0100 (CET) Received: by mail-ed1-x531.google.com with SMTP id cw4so12320961edb.13 for ; Wed, 01 Feb 2023 04:07:20 -0800 (PST) Received: from [192.168.0.69] (80-167-221-21-cable.dk.customer.tdc.net. [80.167.221.21]) by smtp.gmail.com with ESMTPSA id q6-20020a1709064cc600b0084d494b24dcsm9882817ejt.161.2023.02.01.04.07.19 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 01 Feb 2023 04:07:19 -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: fa8fc9c7-a228-11ed-933c-83870f6b2ba8 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=SawXG6ja/UeNoO2fJmzTNZVHqsMH5891ikcDe9WMMO0=; b=p/7P2jQQXmEnYYKDT2t5VzjrakfKYOhwe1sTTfPpCxyipNrIo8E7Zf0DeSGy8XsSoz ndSfZljJtNv9nORLZIJoQ4bO/Ux0XSh1ItnTNikNDJSZ4RokLdY0ys/r7AQ3kp9YNy9F X/cj9VHyx+WpZbOqg6/T6gzstmltZ8HTCRVjh7VW0CRUEmwIgPpofqjULp/0flXhSQzL ok9zZJZpndRcUzMwyRd5GNRdmaBBMdtJ1o8+DV26f23idjSjfNmzxxP5vaQIap/uVMqL 7K00zvzInYEROcc2PURG2NSQLh73LTUNPC/GcJY0diJGyYw9BbVLWJrfC2k3FfszzirV zFew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=SawXG6ja/UeNoO2fJmzTNZVHqsMH5891ikcDe9WMMO0=; b=VdWRqAd8DHcJXkAkCB0TvYuBq7zbDE20OPtwQl7Fx7oko0w38d9wH/KbfMLfNPocCN PZCC7oqPwRrPWf3Yh+DEOocuDTlVDCUm3Sf6gHage84aLKyYHGRwemAA+cAMw6BLGhWW Z1Ei3nyEjc5lG5jDixwdSdMnli0g2aBBBmS88kyZSPGkcFUkBKfoI6/z6EyZ6JiCvIYY wdQ2r9OxmhBLx7QU/+fOwBkh8FkUv9CojkeFY78Ov70O256DxNfOFbCwKXAoQvLyb6hr LD38Oa1RgVDkGBqoPD2v4fhoicbFqBQf8MYubUzhLqMwzzZUYK371Edn55eLmHP+p4IY QOVA== X-Gm-Message-State: AO0yUKX6Z1T8khWQp9maMWJzZOzLxM/DrDMb98EZnaiAY2Se668QD3qz JaDLMC+XufMIynOdbmWC6O6XX2xgK+g= X-Google-Smtp-Source: AK7set9gjB/u0lBdb4UDr14q3AznUHy9nf4owfetwlHcDJN0oZiNmx0AVtDSdgx8ljiNHFqjEWWFMw== X-Received: by 2002:a05:6402:228a:b0:498:8c60:d7d9 with SMTP id cw10-20020a056402228a00b004988c60d7d9mr1868960edb.12.1675253240191; Wed, 01 Feb 2023 04:07:20 -0800 (PST) Message-ID: <56bb9212-63f9-ea4a-a470-3279645c3540@gmail.com> Date: Wed, 1 Feb 2023 13:07:18 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 Subject: Re: MirageOS biweekly call today 14:00 CET Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <2b81e4d6-0ac2-e04f-3186-94fa0c6bb3b0@mehnert.org> From: Reynir In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Quick reminder that the meeting is today in an hour (14:00 CET, Feb 1). Best, Reynir On 19/01/2023 12:41, Hannes Mehnert wrote: > some notes from yesterday's meeting -- next one in 2 weeks (Feb 1st, > 14:00 CET, https://whereby.com/ocamllabs). From mirageos-devel-bounces@lists.xenproject.org Wed Feb 01 13:16:49 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 01 Feb 2023 13:16:49 +0000 Received: from list by lists.xenproject.org with outflank-mailman.488292.756311 (Exim 4.92) (envelope-from ) id 1pNCyc-00058r-SH; Wed, 01 Feb 2023 13:16:38 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 488292.756311; Wed, 01 Feb 2023 13:16:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pNCyc-00058k-Oa; Wed, 01 Feb 2023 13:16:38 +0000 Received: by outflank-mailman (input) for mailman id 488292; Wed, 01 Feb 2023 13:16:38 +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 1pNCyc-00058e-BR for mirageos-devel@lists.xenproject.org; Wed, 01 Feb 2023 13:16:38 +0000 Received: from mail-ej1-x62f.google.com (mail-ej1-x62f.google.com [2a00:1450:4864:20::62f]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id a549a105-a232-11ed-b63b-5f92e7d2e73a; Wed, 01 Feb 2023 14:16:34 +0100 (CET) Received: by mail-ej1-x62f.google.com with SMTP id qw12so35384285ejc.2 for ; Wed, 01 Feb 2023 05:16:32 -0800 (PST) Received: from [192.168.0.69] (80-167-221-21-cable.dk.customer.tdc.net. [80.167.221.21]) by smtp.gmail.com with ESMTPSA id jz6-20020a17090775e600b00880dbd4b6d4sm7417527ejc.136.2023.02.01.05.16.31 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 01 Feb 2023 05:16:31 -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: a549a105-a232-11ed-b63b-5f92e7d2e73a DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:subject:from:content-language:to :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=flaOhdfsrgi7UziPf7PSoDOgv8lT86k3veSYBty2cSw=; b=d+vOvsD42GMx85Sj5+OwykBT28jl3oMbJpHxOQTJNVdrDHJozMtiAo2qAAEYZd9HRq qNQsyYsXcYDz0kAdWTR6N9ThCmrIhkQunlYdj9vHL9bxWH5PScwDTsq4HKSFmebQ5ZUJ 9CajSG1anm2azVznU1oTAk5v1oVq3jslL0emxcNqKLHG6f5sUQMn+pb3PkcWhiF7iSDT 63FEg6+6HPdt4qXRcTmQs2sZmwvJqy78UTqnh5Dd9ve3K2C5PhOfXeHXAWUPJY2BuEe0 PTqnWCBFxL9xhvmwgqkBoo8zXLPJFJKg62ww6gr6FT9miAUGTB5WU4D8zr8IvKU8MilH +pRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:subject:from:content-language:to :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=flaOhdfsrgi7UziPf7PSoDOgv8lT86k3veSYBty2cSw=; b=goTUQU8+PaeHh7KM3tuN1DnVBLL/djq5Gn5H7404pG4QURxATiAM9a4OZrAs+zDbsy DThG/89E/582iBv9JAyS3CMyUxiSvsoQKUnMFuNQ19YouJfXFtSTiE9tPHkZIE0Jloqs LI/T0WWkdD7CrUJW+vUrj2E3DNHG1U0xpuO0j415aq+kHZTKyZrH4n/+qPDQ+qfP1ETG SF/SVWsPKTprcOrOJ2bREX47IqEeccpw2UDxZj+8ytUEJ/M/Ufyxyf+suUHywH7DHH/0 Zmjpc4NWjmgFWuWd2CwxCo1GWNbDbIqVLemPYpDwiulWNzx9689cClyeQALSkVPIZzMl t5cg== X-Gm-Message-State: AO0yUKWzLH038vCjM4o6nhgHNJ15d2PGT99/dpAEgYXyP6utCsAjHAi4 NGTwaigqHpScDdPPrP+rXAcal2C7Sfc= X-Google-Smtp-Source: AK7set/5P4i6X17h8TuMtL/v8f7/G9yBUm2Tfov4nKOFDd29nkfXI+z+Z9YScbiuQ1J4675YugbUVg== X-Received: by 2002:a17:906:b74e:b0:87c:539c:73b9 with SMTP id fx14-20020a170906b74e00b0087c539c73b9mr2163559ejb.43.1675257392132; Wed, 01 Feb 2023 05:16:32 -0800 (PST) Message-ID: <5f806836-2c5c-884b-e155-61de05bf29cc@gmail.com> Date: Wed, 1 Feb 2023 14:16:30 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 To: mirageos-devel Content-Language: en-US From: Reynir Subject: MirageOS biweekly meeting Feb 15 2023 14 CET Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, We will have another MirageOS meeting on Feb 15 at 14:00 CET at https://whereby.com/ocamllabs. At the meeting today it was dinosaure and myself. We discussed briefly a bug we found in http-mirage-client and an issue with the mirage tool and opam-monorepo when working with local packages. Best, Reynir From mirageos-devel-bounces@lists.xenproject.org Wed Feb 15 14:02:38 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 15 Feb 2023 14:02:38 +0000 Received: from list by lists.xenproject.org with outflank-mailman.496016.766518 (Exim 4.92) (envelope-from ) id 1pSIMZ-00026H-Qs; Wed, 15 Feb 2023 14:02:23 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 496016.766518; Wed, 15 Feb 2023 14:02: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 1pSIMZ-00026A-NK; Wed, 15 Feb 2023 14:02:23 +0000 Received: by outflank-mailman (input) for mailman id 496016; Wed, 15 Feb 2023 14:02:22 +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 1pSIMY-000264-Nx for mirageos-devel@lists.xenproject.org; Wed, 15 Feb 2023 14:02:22 +0000 Received: from mail-ej1-x635.google.com (mail-ej1-x635.google.com [2a00:1450:4864:20::635]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 5cd4d6fc-ad39-11ed-933c-83870f6b2ba8; Wed, 15 Feb 2023 15:02:22 +0100 (CET) Received: by mail-ej1-x635.google.com with SMTP id b2so2301749ejz.9 for ; Wed, 15 Feb 2023 06:02:20 -0800 (PST) Received: from [192.168.0.69] (80-167-221-21-cable.dk.customer.tdc.net. [80.167.221.21]) by smtp.gmail.com with ESMTPSA id mf3-20020a170906cb8300b00883c1bcb25bsm9719022ejb.109.2023.02.15.06.02.18 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 15 Feb 2023 06:02:18 -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: 5cd4d6fc-ad39-11ed-933c-83870f6b2ba8 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:to:references :content-language:subject:from:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=OcWcWRhwy60ofGhvpgLsDohbE3ckVDdLmjdEwh12dzM=; b=PnZapcWrHUFKJSWA/Idhifr1DIQZrer+Xf+VwrqoXF3a7B8OmaeIKq4IEAAXApYV/k Wsel15cVqqxFA3l3quNhewYFRFu1XPd0tyIDqq6qnJyuerQ52R7HzQHa9IFV3GVz46vL k6Ctvg5gxF4bDeagomaxaSXKW+2dGVPle0ypVcJiOYFgKdTAIyaPAN/LyBAqDX34omk9 R/VmhfxdPYWaJHC/NKxDGhVRnxk1RwTwmIWavhyQ/EHnzp7aTNAZMqQb3J4Qo2Ja7jSI 66REnrEJXlkDGu8n6HAX7dB2Wbtzd8sYr0tdNdsEq9fqEqrk58FElvjoN0kA0HDWKeVu QsVQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:to:references :content-language:subject:from:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=OcWcWRhwy60ofGhvpgLsDohbE3ckVDdLmjdEwh12dzM=; b=nUR9/dTSSPy/xOM1yTRuzUbW6qhEtzQFa38GST7at1u4k4bhyOujCqiKhDFE6ZBYU5 /nKJ21P+KDk4qV3rO2JwNh8lOaxonaVnZlNygShDTaBz+t5kMn7lrJ2CkKv50Ys9u7iQ j9h9EW3zTNTbTtsxVLAEKMYI9V2lppXreKF9xyYG1Mfd7lWCjiHANvFwUKgf07Mba3b1 zeBxAqOHVRdWsePbhFv28pechw9AE4x0k2ayE8SMeuyssgQsYg+oN2ZMXkvOIy0dH28x Y1oSlPp/3PTJEY7k7jbypkI+brtgsanlafKZX6JYjPJCAZyEfWPFpFbxPUN+Wm4rIl3K UEMA== X-Gm-Message-State: AO0yUKWIEZHa//0Tseqp8HYMEWVPaV7XlK5ZQgRYYKWbvqA5hWmL0skn +dJEgQ9SIa7arGJ6YMFGJ7J3NVtur3A= X-Google-Smtp-Source: AK7set+gWdse7qICZVzRysMUDNtFYRoGEnZLF83/w06ishM6oRwiBty+tAR0cDTr21LPGiDJYm8p1Q== X-Received: by 2002:a17:906:230f:b0:8b1:383d:cd50 with SMTP id l15-20020a170906230f00b008b1383dcd50mr2378892eja.48.1676469739672; Wed, 15 Feb 2023 06:02:19 -0800 (PST) Message-ID: <2ad7ed36-9816-1c82-174c-1a922ae33b9a@gmail.com> Date: Wed, 15 Feb 2023 15:02:18 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 From: Reynir Subject: MirageOS biweekly meeting Mar 1 2023 14:00 CET Content-Language: en-US References: To: mirageos-devel In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear list, The next MirageOS meeting happens first of March at 14:00 CET online at https://whereby.com/ocamllabs. The agenda and notes will be at https://pad.data.coop/5LXClhXMQl29VJ87_Xkfmg Please find the (short) notes from today's meeting here: https://pad.data.coop/WofRkousQO6Dl-uhABw6XA?view# Best, Reynir From mirageos-devel-bounces@lists.xenproject.org Fri Feb 24 09:46:27 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 24 Feb 2023 09:46:27 +0000 Received: from list by lists.xenproject.org with outflank-mailman.500874.772402 (Exim 4.92) (envelope-from ) id 1pVUeb-0003NQ-IP; Fri, 24 Feb 2023 09:46:13 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 500874.772402; Fri, 24 Feb 2023 09:46:13 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pVUeb-0003NJ-Fh; Fri, 24 Feb 2023 09:46:13 +0000 Received: by outflank-mailman (input) for mailman id 500874; Fri, 24 Feb 2023 09:46:12 +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 1pVUea-0003ND-BJ for mirageos-devel@lists.xenproject.org; Fri, 24 Feb 2023 09:46:12 +0000 Received: from mail-ed1-x536.google.com (mail-ed1-x536.google.com [2a00:1450:4864:20::536]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 120b1cdb-b428-11ed-88bb-e56d68cac8db; Fri, 24 Feb 2023 10:46:11 +0100 (CET) Received: by mail-ed1-x536.google.com with SMTP id o12so52953880edb.9 for ; Fri, 24 Feb 2023 01:46:11 -0800 (PST) Received: from [192.168.1.98] ([80.208.66.225]) by smtp.gmail.com with ESMTPSA id lx22-20020a170906af1600b008ec4333fd65sm2044247ejb.188.2023.02.24.01.46.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 24 Feb 2023 01:46:10 -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: 120b1cdb-b428-11ed-88bb-e56d68cac8db DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=subject:from:content-language:to:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=rZjTzs7J0OoYe2fpQZCy8ZBG94Wj48tn58tdsuA/nxU=; b=H4HzEex714TGnAsvsTpsPJ8ZvvCvsNosVq/nTvp5VEiDectOSJxxxyz7bGvTi8fXvU xiD5VAwhjTtsOX5mJLw1BNttDf0upUWxrIeqMDu2xHowOxHiiV6T4GKdssarxD7rQklE +PbOpjWtVt3/b8ClW8OyXPmhBer1n74lKrEul8VDr3nEY42CGihHWEtn+r4P7Ho5BSz5 fpdBmw6I5EQaLTzrs6+g30kPZ98elAHINYcGHppvUjCAI0swa5ge9xnMXZr2y0Sgcxbp 3rxR1mgQjQ+ynVo99ovGokE+GKEI9e+bVBYr9x5wvdHljh9mbOYH/oOPpf/F3JGlnV/e wApw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=subject:from:content-language:to:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=rZjTzs7J0OoYe2fpQZCy8ZBG94Wj48tn58tdsuA/nxU=; b=ijaAbQNOkRX2h2MFNYM1KC97YZe314msIfSgZvaWLnSeYWRKpY8jzyHEkzPOrJ8oGa z+JLl0ps2SZ7Z8uTg1l2nSQDkkAV6IQ8pQhVCHVbonAokrX8o17Rj5/2uzvwe+O/FuSp TVKFtFlPLEmI8mPTtQ/DhmLrn8Hj7uXLllFcedbMkp1oYKIu/R/36bOYzYk5Pnn/uO88 HyulAydcL57rz0OQN+Jcy7hIqTIMvuymNCxBXqtIASs5n8HjfVmozIs8rEa9CwfaypBX zkzIB1q4tmntYo4OZh2u2tuIk9A7+e0wUIO21qZ9Go0l8fKIpM3dwplEa9AV/v0ocQKI 5pxg== X-Gm-Message-State: AO0yUKWG4TfmAps3M7HsqeqJrjUICq+l7D9Z+CdNmUWhsK90wiNQYJcQ TjwyPFryur3B4rrW5HN4koyY+ZVqPZI= X-Google-Smtp-Source: AK7set8W270xvK+da73O+21LIr5BLf5JHHQlLV3mVHXHJsy81hcjlPnXyVnAa+Io441ndB6TlejJOw== X-Received: by 2002:a17:906:8419:b0:88a:1ea9:a5ea with SMTP id n25-20020a170906841900b0088a1ea9a5eamr19063290ejx.65.1677231970936; Fri, 24 Feb 2023 01:46:10 -0800 (PST) Content-Type: multipart/alternative; boundary="------------eBhdofZale6JZpmddfRj0tYR" Message-ID: <5f4e7cc1-d611-3dc4-52fb-1255150140d8@gmail.com> Date: Fri, 24 Feb 2023 10:46:09 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 To: mirageos-devel Content-Language: en-US From: Reynir Subject: Outreachy and Mirage This is a multi-part message in MIME format. --------------eBhdofZale6JZpmddfRj0tYR Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello list, We are pleased to announce that the OCaml community will have three Outreachy projects on MirageOS! As some of you may have noticed already we have created an issue on the mirage/mirage repository for organizing among applicants and mentors. You are welcome to help out, of course. As there is expected to be a certain level of chatter you may want to unsubscribe notifications from the issue if it's not of interest to you: https://github.com/mirage/mirage/issues/1402 The three projects are * Extending the conntest[0] network testing tool with visualizations * MIDI with MirageOS * Persistent storage in MirageOS The mentors, besides myself, are Moazzam, rand, Sonja and Oskar Please feel free to reach out if you have comments or concerns. Best regards, Reynir --------------eBhdofZale6JZpmddfRj0tYR Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit

Hello list,

We are pleased to announce that the OCaml community will have three Outreachy projects on MirageOS! As some of you may have noticed already we have created an issue on the mirage/mirage repository for organizing among applicants and mentors. You are welcome to help out, of course. As there is expected to be a certain level of chatter you may want to unsubscribe notifications from the issue if it's not of interest to you: https://github.com/mirage/mirage/issues/1402

The three projects are

  • Extending the conntest[0] network testing tool with visualizations
  • MIDI with MirageOS
  • Persistent storage in MirageOS

The mentors, besides myself, are Moazzam, rand, Sonja and Oskar

Please feel free to reach out if you have comments or concerns.

Best regards,
Reynir

--------------eBhdofZale6JZpmddfRj0tYR-- From mirageos-devel-bounces@lists.xenproject.org Tue Feb 28 22:23:42 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 28 Feb 2023 22:23:42 +0000 Received: from list by lists.xenproject.org with outflank-mailman.503790.776097 (Exim 4.92) (envelope-from ) id 1pX8Nb-0001xJ-O7; Tue, 28 Feb 2023 22:23:27 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 503790.776097; Tue, 28 Feb 2023 22:23: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 1pX8Nb-0001xC-LG; Tue, 28 Feb 2023 22:23:27 +0000 Received: by outflank-mailman (input) for mailman id 503790; Tue, 28 Feb 2023 22:23: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 1pX8Na-0001x6-OV for mirageos-devel@lists.xenproject.org; Tue, 28 Feb 2023 22:23:26 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 83e79461-b7b6-11ed-a550-8520e6686977; Tue, 28 Feb 2023 23:23:24 +0100 (CET) Received: from [192.168.42.80] (dslb-094-223-117-073.094.223.pools.vodafone-ip.de [94.223.117.73]) (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 243C214CF8 for ; Tue, 28 Feb 2023 23:23:23 +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: 83e79461-b7b6-11ed-a550-8520e6686977 Message-ID: <47ec0127-9286-e18a-1a1b-f29d7abf4377@mehnert.org> Date: Tue, 28 Feb 2023 23:23:21 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 Subject: Re: MirageOS biweekly meeting Mar 1 2023 14:00 CET To: mirageos-devel References: <2ad7ed36-9816-1c82-174c-1a922ae33b9a@gmail.com> Content-Language: en-US From: Hannes Mehnert In-Reply-To: <2ad7ed36-9816-1c82-174c-1a922ae33b9a@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit As a reminder, this is today (Wednesday March 1st) at 14:00 CET. See you there, Hannes On 15/02/2023 15:02, Reynir wrote: > Dear list, > > The next MirageOS meeting happens first of March at 14:00 CET online at > https://whereby.com/ocamllabs. The agenda and notes will be at > https://pad.data.coop/5LXClhXMQl29VJ87_Xkfmg > > Please find the (short) notes from today's meeting here: > https://pad.data.coop/WofRkousQO6Dl-uhABw6XA?view# > > Best, > Reynir >