From mirageos-devel-bounces@lists.xenproject.org Tue Oct 11 09:24:54 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 11 Oct 2022 09:24:54 +0000 Received: from list by lists.xenproject.org with outflank-mailman.419462.664239 (Exim 4.92) (envelope-from ) id 1oiBVC-0002SB-Lp; Tue, 11 Oct 2022 09:24:42 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 419462.664239; Tue, 11 Oct 2022 09:24: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 1oiBVC-0002S4-IQ; Tue, 11 Oct 2022 09:24:42 +0000 Received: by outflank-mailman (input) for mailman id 419462; Tue, 11 Oct 2022 09:24:41 +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 1oiBVB-0002Ry-An for mirageos-devel@lists.xenproject.org; Tue, 11 Oct 2022 09:24:41 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3fa668c8-4946-11ed-8fd0-01056ac49cbb; Tue, 11 Oct 2022 11:22:40 +0200 (CEST) Received: from [192.168.42.80] (dslb-094-223-108-229.094.223.pools.vodafone-ip.de [94.223.108.229]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 83EFA1C8E4 for ; Tue, 11 Oct 2022 11:24:35 +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: 3fa668c8-4946-11ed-8fd0-01056ac49cbb Message-ID: <25ceda0a-dc41-3c82-b92c-f18d7d449d7e@mehnert.org> Date: Tue, 11 Oct 2022 11:24:33 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 From: Hannes Mehnert Subject: upcoming MirageOS meeting 2022-09-21 To: mirageos-devel@lists.xenproject.org Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, tomorrow from 14:00 CEST we'll have the next mirageos meeting at https://whereby.com/ocamlllabs (notes https://pad.data.coop/1Rja2gqyQDW8zdyhd7dObg#) If you've agenda items, feel free to put them in the pad. Best and see you tomorrow, Hannes From mirageos-devel-bounces@lists.xenproject.org Tue Oct 11 09:26:41 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 11 Oct 2022 09:26:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.419469.664243 (Exim 4.92) (envelope-from ) id 1oiBX6-0002o2-Sg; Tue, 11 Oct 2022 09:26:40 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 419469.664243; Tue, 11 Oct 2022 09:26:40 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1oiBX6-0002nv-PZ; Tue, 11 Oct 2022 09:26:40 +0000 Received: by outflank-mailman (input) for mailman id 419469; Tue, 11 Oct 2022 09:26:38 +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 1oiBX4-0002nl-Mg for mirageos-devel@lists.xenproject.org; Tue, 11 Oct 2022 09:26:38 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id cd46d0ed-4946-11ed-91b4-6bf2151ebd3b; Tue, 11 Oct 2022 11:26:37 +0200 (CEST) Received: from [192.168.42.80] (dslb-094-223-108-229.094.223.pools.vodafone-ip.de [94.223.108.229]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id BB4E81F8FB for ; Tue, 11 Oct 2022 11:26:35 +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: cd46d0ed-4946-11ed-91b4-6bf2151ebd3b Message-ID: <19337cda-6ccd-f2be-9915-f76bbf68be4b@mehnert.org> Date: Tue, 11 Oct 2022 11:26:35 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: upcoming MirageOS meeting 2022-10-12 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <25ceda0a-dc41-3c82-b92c-f18d7d449d7e@mehnert.org> From: Hannes Mehnert In-Reply-To: <25ceda0a-dc41-3c82-b92c-f18d7d449d7e@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit sorry, the mail I sent just now had the old subject -- fixed in this mail. It'll be tomorrow (Wednesday, Oct 12th). Hannes On 11/10/2022 11:24, Hannes Mehnert wrote: > Hey, > > tomorrow from 14:00 CEST we'll have the next mirageos meeting at > https://whereby.com/ocamlllabs (notes > https://pad.data.coop/1Rja2gqyQDW8zdyhd7dObg#) > > If you've agenda items, feel free to put them in the pad. > > > Best and see you tomorrow, > > Hannes > > From mirageos-devel-bounces@lists.xenproject.org Wed Oct 12 12:01:22 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Oct 2022 12:01:22 +0000 Received: from list by lists.xenproject.org with outflank-mailman.421060.666250 (Exim 4.92) (envelope-from ) id 1oiaQB-0000wz-NS; Wed, 12 Oct 2022 12:01:11 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 421060.666250; Wed, 12 Oct 2022 12:01:11 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1oiaQB-0000ws-KL; Wed, 12 Oct 2022 12:01:11 +0000 Received: by outflank-mailman (input) for mailman id 421060; Wed, 12 Oct 2022 12:01: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 1oiaQA-0000wI-E9 for mirageos-devel@lists.xenproject.org; Wed, 12 Oct 2022 12:01:10 +0000 Received: from mail-oa1-x31.google.com (mail-oa1-x31.google.com [2001:4860:4864:20::31]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 8e609ac6-4a25-11ed-8fd0-01056ac49cbb; Wed, 12 Oct 2022 14:01:09 +0200 (CEST) Received: by mail-oa1-x31.google.com with SMTP id 586e51a60fabf-132fb4fd495so19171841fac.12 for ; Wed, 12 Oct 2022 05:01:08 -0700 (PDT) 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: 8e609ac6-4a25-11ed-8fd0-01056ac49cbb DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=y5LZCptGptBPN+xGAci+68k3kHr5MlNdIJmyG/NkxLU=; b=dF0FHYfzh79fRbQspANSSLWOV66fQrqj7bjNvCwTAhbYF5wDXddpZmvbFxZMuqYYPQ P4qCQFLth2nXhf1c+FE9XEsIq6mHuBSDvg+M3LuJwV0b+Yv0VIBAIMqcy45JGvxfgZrR WANJLNtSI1IOMnwUpbzNTOA5cMr5TT56PqRkJ3sj93KogVCqTkrIs3/TfEZjZxQ54bMU 7yGIlV4/iK6BgZ5lUdjCCzx4I8pnrhJ1MllO8pYRkEvYN3AYuPYltOApDyApFQWWkMKW NEvpyVLbzmG5MYp/FwUntPAe3eCYkJui1KTO5ix1QMRkbCFqeP9kZIJHB03pCRxDRVR+ NJ/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=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=y5LZCptGptBPN+xGAci+68k3kHr5MlNdIJmyG/NkxLU=; b=QKAMQcy2dL7gD7Iu25MYBMG3FeBySaY4qDlzOd8oHnEt4mq9STMaguCFp0ZasOYvht Jas4aFIcsjKjn6bauuQMCn1taL8XvO3SzpE2zeuV/Pchb57O85SjhWQIOClJqkrRbWYU O/iNp9UaVHhYUhomLDV7fIqt/hJvO5dzhTwZAa/NPaYeHlrqQDzCtinpdu6we+GjraxF Noq7B+uNfEoFGpkk1h/SeQ9QizENoMEuqrQDd9qTdRHwfWWJWSONi6g+jFcpUVLpY4EH wmNq7tjp+zG0SOUsbV4LKXgsEomYI0z0ntmEjPss/wpZYX68MzPqWDSmx5767nuLuLTP PSDA== X-Gm-Message-State: ACrzQf0/qk6S9urGzS8rj9ghGU4GJn/UP5lgkpBeGN2owVZawyk0t+Q9 DhlACsff41L89hrVQwm6L7RanxGUTM5VZhUr+dm2EUcepyA= X-Google-Smtp-Source: AMsMyM7KIutYIOWbbAlCWm9jcWrfoB74PH1nH09Tbm/Osd9Wl0GVyfiha48OUMYi5/QwmuSaBqlBvKsAdZda363BW9A= X-Received: by 2002:a05:6870:2394:b0:130:de3a:dd99 with SMTP id e20-20020a056870239400b00130de3add99mr2209133oap.54.1665576065628; Wed, 12 Oct 2022 05:01:05 -0700 (PDT) MIME-Version: 1.0 References: <25ceda0a-dc41-3c82-b92c-f18d7d449d7e@mehnert.org> <19337cda-6ccd-f2be-9915-f76bbf68be4b@mehnert.org> In-Reply-To: <19337cda-6ccd-f2be-9915-f76bbf68be4b@mehnert.org> From: Thomas Leonard Date: Wed, 12 Oct 2022 13:00:53 +0000 Message-ID: Subject: Re: upcoming MirageOS meeting 2022-10-12 To: Hannes Mehnert Cc: mirageos-devel@lists.xenproject.org Content-Type: text/plain; charset="UTF-8" > On 11/10/2022 11:24, Hannes Mehnert wrote: > > Hey, > > > > tomorrow from 14:00 CEST we'll have the next mirageos meeting at > > https://whereby.com/ocamlllabs (notes > > https://pad.data.coop/1Rja2gqyQDW8zdyhd7dObg#) URL should be https://whereby.com/ocamllabs (only two 'l'). -- talex5 (GitHub/Twitter) http://roscidus.com/blog/ From mirageos-devel-bounces@lists.xenproject.org Wed Oct 12 13:01:07 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Oct 2022 13:01:07 +0000 Received: from list by lists.xenproject.org with outflank-mailman.421130.666313 (Exim 4.92) (envelope-from ) id 1oibM7-0000Na-R4; Wed, 12 Oct 2022 13:01:03 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 421130.666313; Wed, 12 Oct 2022 13:01:03 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1oibM7-0000NT-ON; Wed, 12 Oct 2022 13:01:03 +0000 Received: by outflank-mailman (input) for mailman id 421130; Wed, 12 Oct 2022 13:01: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 1oibM6-0000NN-7n for mirageos-devel@lists.xenproject.org; Wed, 12 Oct 2022 13:01:02 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id eb55bc5f-4a2d-11ed-8fd0-01056ac49cbb; Wed, 12 Oct 2022 15:01:00 +0200 (CEST) Received: from [192.168.42.80] (dslb-094-223-108-229.094.223.pools.vodafone-ip.de [94.223.108.229]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 361D86BC2 for ; Wed, 12 Oct 2022 15:00:59 +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: eb55bc5f-4a2d-11ed-8fd0-01056ac49cbb Message-ID: <3da79e7f-e19f-9db3-1d1a-48f63c4e91f6@mehnert.org> Date: Wed, 12 Oct 2022 15:00:59 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: upcoming MirageOS meeting 2022-10-12 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <25ceda0a-dc41-3c82-b92c-f18d7d449d7e@mehnert.org> <19337cda-6ccd-f2be-9915-f76bbf68be4b@mehnert.org> From: Hannes Mehnert In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit # MirageOS 2022-10-12 participants: pierre, thomas, taka, lucas, christiano, jules, hannes ## reports from the retreat - qubes firewall (just released 0.8.2) - raspberry pi 4 (starting from romain's gilbraltar, fixed compilation with gcc11 + gcc12, with sonja worked on a jack driver): we can now play sound :) - https://github.com/dinosaure/gilbraltar - https://github.com/pitag-ha/rpi/tree/interrupts - next step is: bare-metal with multiple cpus (one unikernel per cpu) - how to boot? u-boot? maybe one unikernel boots on one core, and then starts the other unikernels (i.e. one OCaml runtime per CPU) - or have pthread (user-space) support (and even multiple domains per vcpu) - ocaml 5 compilation of ocaml-solo5: compiles, but doesn't link yet: - https://github.com/kit-ty-kate/mirage-solo5/tree/500 - albatross and nixos: still not working in production (due to lack of time) https://github.com/roburio/albatross/pull/119 https://github.com/roburio/albatross/pull/120 - we again used DHCP and DNS resolver unikernels https://github.com/roburio/dnsvizor - we also used the opam-mirror unikernel https://git.robur.io/robur/opam-mirror - jan developed mirage-hole (a pi-hole in mirageos) https://github.com/jmid/mirage-hole - various other PR and bugfixes (including DNS-over-UDP) - raphael wrote https://raphael-proust.gitlab.io/code/mirage-retreat-2022-10.html ## cstruct using bytes - https://github.com/hannesm/ocaml-cstruct/tree/no-bigarray - also mirage-tcpip and mirage-crypto - needs some further benchmarking on unikernels ## memory stuff - maybe something similar to mbuf: appending, prepending, injecting, reserving - faraday, also in eio (doesn't allow for e.g. checksum) - You can ask it for the final iovec and then modify that, though - put_be_64, etc. ## MirageOS/Solo5 porting to MCUs https://github.com/TImada/solo5-embedded Current status: - Initial implementation finished (Target: ARM Cortex-R5F core @ 800MHz in TI AM64x series processors) - Support only a console device - Having better implementation and documents in progress (will be available soon) Future plan: - Support a wired network device on TI AM64x - Support a different MCU (ARM Cortex-M7 core @ 1GHz in NXP i.MX RT1170 Crossover MCUs)