From mirageos-devel-bounces@lists.xenproject.org Mon May 09 09:12:50 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 May 2022 09:12:50 +0000 Received: from list by lists.xenproject.org with outflank-mailman.324306.546287 (Exim 4.92) (envelope-from ) id 1nnzRV-0000mf-11; Mon, 09 May 2022 09:12:37 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 324306.546287; Mon, 09 May 2022 09:12:36 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nnzRU-0000mY-TY; Mon, 09 May 2022 09:12:36 +0000 Received: by outflank-mailman (input) for mailman id 324306; Mon, 09 May 2022 09:12:36 +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 1nnzRU-0000mS-9e for mirageos-devel@lists.xenproject.org; Mon, 09 May 2022 09:12:36 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 29a1261a-cf78-11ec-a406-831a346695d4; Mon, 09 May 2022 11:12:34 +0200 (CEST) Received: from [192.168.42.80] (dslb-088-072-097-050.088.072.pools.vodafone-ip.de [88.72.97.50]) (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 908D51390B for ; Mon, 9 May 2022 11:12:33 +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: 29a1261a-cf78-11ec-a406-831a346695d4 Content-Type: multipart/mixed; boundary="------------qYWvYmkI1L7YlCKDJPwPhopn" Message-ID: Date: Mon, 9 May 2022 11:12:32 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Content-Language: en-US To: mirageos-devel@lists.xenproject.org From: Hannes Mehnert Subject: upcoming meeting 2022-05-11 14:00 CEST This is a multi-part message in MIME format. --------------qYWvYmkI1L7YlCKDJPwPhopn Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hi, on Wednesday May 11th at 14:00 CEST we'll have the next meeting. Please find the ics attached. We'll meet at https://whereby.com/ocamllabs and have agenda & notes in https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg# See you soon, Hannes --------------qYWvYmkI1L7YlCKDJPwPhopn Content-Type: application/x-unknown-content-type; name="mirage-20220511.ics" Content-Disposition: attachment; filename="mirage-20220511.ics" Content-Transfer-Encoding: 7bit BEGIN:VCALENDAR PRODID:-//Mozilla.org/NONSGML Mozilla Calendar V1.1//EN VERSION:2.0 BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10 END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:019dbaec-edd2-41cb-9435-cd1cd120680f DTSTAMP:20220428T131513Z DTSTART;TZID=Europe/Paris:20220511T140000 DTEND;TZID=Europe/Paris:20220511T150000 CREATED:20220428T131447Z LAST-MODIFIED:20220428T131513Z SUMMARY:mirage meeting TRANSP:OPAQUE LOCATION:https://whereby.com/ocamllabs DESCRIPTION;ALTREP="data:text/html,%3Cbody%3Ehttps:%2F%2Fpad.data.coop%2FUYg4LbYLSNySD50QiQrPYg%23%3C%2Fbody%3E":https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg# BEGIN:VALARM ACTION:DISPLAY TRIGGER;VALUE=DURATION:-PT5M DESCRIPTION:Default Mozilla Description END:VALARM END:VEVENT END:VCALENDAR --------------qYWvYmkI1L7YlCKDJPwPhopn-- From mirageos-devel-bounces@lists.xenproject.org Mon May 16 08:11:11 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 16 May 2022 08:11:11 +0000 Received: from list by lists.xenproject.org with outflank-mailman.329678.552924 (Exim 4.92) (envelope-from ) id 1nqVoh-0004Bc-2h; Mon, 16 May 2022 08:10:59 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 329678.552924; Mon, 16 May 2022 08:10:59 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nqVoh-0004BV-03; Mon, 16 May 2022 08:10:59 +0000 Received: by outflank-mailman (input) for mailman id 329678; Mon, 16 May 2022 08:10:57 +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 1nqVof-0004BO-En for mirageos-devel@lists.xenproject.org; Mon, 16 May 2022 08:10:57 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id b54b7d47-d4ef-11ec-b8b8-f95467ff1ed0; Mon, 16 May 2022 10:10:56 +0200 (CEST) Received: from [192.168.42.80] (dslb-188-102-145-081.188.102.pools.vodafone-ip.de [188.102.145.81]) (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 9B4231191B for ; Mon, 16 May 2022 10:10:53 +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: b54b7d47-d4ef-11ec-b8b8-f95467ff1ed0 Content-Type: multipart/mixed; boundary="------------Wg7CA5BseXKt697DzfqgTCTP" Message-ID: <928a2cfb-f49d-d366-615d-89754f9c3e7f@mehnert.org> Date: Mon, 16 May 2022 10:10:53 +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 meeting 2022-05-11 14:00 CEST Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert In-Reply-To: This is a multi-part message in MIME format. --------------Wg7CA5BseXKt697DzfqgTCTP Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello again, the next meeting will be May 25th at 14:00 CEST (ics attached). Below are the minutes of the meeting. Best, Hannes # MirageOS 2022 05 11 attendees: Thomas Leonhard (@talex5), Romain (@dinosaure), Christiano (@haesbaert), @TImada, Renato, Hannes (@hannesm), Thomas Gazagnaire (@samoht) # Introductions - hannes: likes to deploy mirageos - christiano: was involved in MirageOS, 15 years of OpenBSD, figuring out what is the current state - talex5: not much MirageOS atm, but from next month on eio (and how to get it run under MirageOS), and virtio-gpu - dinosaure: working on MirageOS, deploying on KVM - timada: MirageOS on microcontrollers, real-time OS, integrate Linux and another real-time OS on a soc, wants to integrate MirageOS with other OS in a multi-core SoC - renato: from Brazil, background in web development, adding random features to random programming languages (like emoji for Java), implemented a socks client for MirageOS, working at Mariegold - samoht: OCaml, MirageOS, Irmin: finding new use cases # MirageOS 4.1.1 - new release of "opam monorepo" - only one opam file (instead of two: switch vs unikernel) - cros-compilation (zarith) support - chamelon device (yomimonos little file system) # how o trace a unikernel - https://github.com/hannesm/memtrace-mirage - should be updated from janestreet/memtrace (supporting external allocations etc.) - https://blog.janestreet.com/finding-memory-leaks-with-memtrace/ # Performance - C: what are the benchmarks? - there's iperf https://github.com/TImada/mirage_iperf/ - a report on the qubes firewall https://github.com/mirage/qubes-mirage-firewall/issues/130 - cstruct discussions: copying vs non-copying -- we're not zero-copy anymore - bytes: issue with memory-mapped stuff (xen), also moving (which may go away with ocaml 5) - page alignment (io-page, used in xen) vs copying (solo5) - netmap for solo5 https://github.com/solo5-netmap/solo5/tree/netmap - https://github.com/ocaml-multicore/eio/issues/140 - solo5: minimal & secure, can use virtio, or hvt/spt - unikraft: well maintained, lacking a ocaml-unikraft (OCaml runtime) -- who's in charge of driving the build? # Binaries that work everywhere - https://github.com/dinosaure/esperanto (based on https://github.com/jart/cosmopolitan) On 09/05/2022 11:12, Hannes Mehnert wrote: > Hi, > > on Wednesday May 11th at 14:00 CEST we'll have the next meeting. Please > find the ics attached. We'll meet at https://whereby.com/ocamllabs and > have agenda & notes in https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg# > > > See you soon, > > Hannes --------------Wg7CA5BseXKt697DzfqgTCTP Content-Type: text/calendar; charset=UTF-8; name="20220525-mirage.ics" Content-Disposition: attachment; filename="20220525-mirage.ics" Content-Transfer-Encoding: base64 QkVHSU46VkNBTEVOREFSDQpQUk9ESUQ6LS8vTW96aWxsYS5vcmcvTk9OU0dNTCBNb3ppbGxh IENhbGVuZGFyIFYxLjEvL0VODQpWRVJTSU9OOjIuMA0KQkVHSU46VlRJTUVaT05FDQpUWklE OkV1cm9wZS9QYXJpcw0KQkVHSU46REFZTElHSFQNClRaT0ZGU0VURlJPTTorMDEwMA0KVFpP RkZTRVRUTzorMDIwMA0KVFpOQU1FOkNFU1QNCkRUU1RBUlQ6MTk3MDAzMjlUMDIwMDAwDQpS UlVMRTpGUkVRPVlFQVJMWTtCWURBWT0tMVNVO0JZTU9OVEg9Mw0KRU5EOkRBWUxJR0hUDQpC RUdJTjpTVEFOREFSRA0KVFpPRkZTRVRGUk9NOiswMjAwDQpUWk9GRlNFVFRPOiswMTAwDQpU Wk5BTUU6Q0VUDQpEVFNUQVJUOjE5NzAxMDI1VDAzMDAwMA0KUlJVTEU6RlJFUT1ZRUFSTFk7 QllEQVk9LTFTVTtCWU1PTlRIPTEwDQpFTkQ6U1RBTkRBUkQNCkVORDpWVElNRVpPTkUNCkJF R0lOOlZFVkVOVA0KVUlEOmU3YTE1MWE1LWI0ZGYtNDYyYi1hNDFlLWJiYTYxNTNiMTE5NQ0K RFRTVEFNUDoyMDIyMDUxNlQwODA5NDNaDQpEVFNUQVJUO1RaSUQ9RXVyb3BlL1BhcmlzOjIw MjIwNTI1VDE0MDAwMA0KRFRFTkQ7VFpJRD1FdXJvcGUvUGFyaXM6MjAyMjA1MjVUMTUwMDAw DQpDUkVBVEVEOjIwMjIwNDI4VDEzMTQ0N1oNCkxBU1QtTU9ESUZJRUQ6MjAyMjA1MTZUMDgw OTQzWg0KU1VNTUFSWTptaXJhZ2UgbWVldGluZw0KWC1NT1otTEFTVEFDSzoyMDIyMDUxMVQx MTU3MzdaDQpUUkFOU1A6T1BBUVVFDQpMT0NBVElPTjpodHRwczovL3doZXJlYnkuY29tL29j YW1sbGFicw0KREVTQ1JJUFRJT047QUxUUkVQPSJkYXRhOnRleHQvaHRtbCwlM0Nib2R5JTNF JTBBJTNDZGl2JTNFaHR0cHM6JTJGJTJGcGFkLmRhdGEuY29vcCUyRjhnRjR4aUg0UjJ1WEI4 WmtFS1FGU1ElMjMlM0MlMkZkaXYlM0UlMEElM0MlMkZib2R5JTNFIjpodHRwczovL3BhZC5k YXRhLmNvb3AvOGdGNHhpSDRSMnVYQjhaa0VLUUZTUSNcbg0KWC1NT1otR0VORVJBVElPTjoy DQpCRUdJTjpWQUxBUk0NCkFDVElPTjpESVNQTEFZDQpUUklHR0VSO1ZBTFVFPURVUkFUSU9O Oi1QVDVNDQpERVNDUklQVElPTjpEZWZhdWx0IE1vemlsbGEgRGVzY3JpcHRpb24NCkVORDpW QUxBUk0NCkVORDpWRVZFTlQNCkVORDpWQ0FMRU5EQVINCg== --------------Wg7CA5BseXKt697DzfqgTCTP-- From mirageos-devel-bounces@lists.xenproject.org Tue May 24 19:31:11 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 24 May 2022 19:31:11 +0000 Received: from list by lists.xenproject.org with outflank-mailman.336732.561119 (Exim 4.92) (envelope-from ) id 1ntaF9-0000Wg-Is; Tue, 24 May 2022 19:30:59 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 336732.561119; Tue, 24 May 2022 19:30:59 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ntaF9-0000WZ-G0; Tue, 24 May 2022 19:30:59 +0000 Received: by outflank-mailman (input) for mailman id 336732; Tue, 24 May 2022 19:30:58 +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 1ntaF8-0000WT-AC for mirageos-devel@lists.xenproject.org; Tue, 24 May 2022 19:30:58 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 0741e7df-db98-11ec-bd2c-47488cf2e6aa; Tue, 24 May 2022 21:30:56 +0200 (CEST) Received: from [192.168.9.148] (p549e8fb9.dip0.t-ipconnect.de [84.158.143.185]) (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 71D0917FBD for ; Tue, 24 May 2022 21:30:53 +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: 0741e7df-db98-11ec-bd2c-47488cf2e6aa Content-Type: multipart/mixed; boundary="------------id4Nkwkob1usu3fyMI0mlWZG" Message-ID: <73b5057c-c0ec-7a20-d29f-258ad27526f2@mehnert.org> Date: Tue, 24 May 2022 21:30:42 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Content-Language: en-US To: mirageos-devel@lists.xenproject.org From: Hannes Mehnert Subject: upcoming meeting 2022-05-25 14:00 CEST This is a multi-part message in MIME format. --------------id4Nkwkob1usu3fyMI0mlWZG Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hey, tomorrow (in 16.5h) we'll meet again on https://whereby.com/ocamllabs Agenda and minutes will be in https://pad.data.coop/8gF4xiH4R2uXB8ZkEKQFSQ# See you, Hannes --------------id4Nkwkob1usu3fyMI0mlWZG Content-Type: application/x-unknown-content-type; name="20220525-mirage.ics" Content-Disposition: attachment; filename="20220525-mirage.ics" Content-Transfer-Encoding: 7bit BEGIN:VCALENDAR PRODID:-//Mozilla.org/NONSGML Mozilla Calendar V1.1//EN VERSION:2.0 BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10 END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:e7a151a5-b4df-462b-a41e-bba6153b1195 DTSTAMP:20220516T080943Z DTSTART;TZID=Europe/Paris:20220525T140000 DTEND;TZID=Europe/Paris:20220525T150000 CREATED:20220428T131447Z LAST-MODIFIED:20220516T080943Z SUMMARY:mirage meeting X-MOZ-LASTACK:20220511T115737Z TRANSP:OPAQUE LOCATION:https://whereby.com/ocamllabs DESCRIPTION;ALTREP="data:text/html,%3Cbody%3E%0A%3Cdiv%3Ehttps:%2F%2Fpad.data.coop%2F8gF4xiH4R2uXB8ZkEKQFSQ%23%3C%2Fdiv%3E%0A%3C%2Fbody%3E":https://pad.data.coop/8gF4xiH4R2uXB8ZkEKQFSQ#\n X-MOZ-GENERATION:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;VALUE=DURATION:-PT5M DESCRIPTION:Default Mozilla Description END:VALARM END:VEVENT END:VCALENDAR --------------id4Nkwkob1usu3fyMI0mlWZG-- From mirageos-devel-bounces@lists.xenproject.org Fri May 27 10:08:51 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 27 May 2022 10:08:51 +0000 Received: from list by lists.xenproject.org with outflank-mailman.337897.562601 (Exim 4.92) (envelope-from ) id 1nuWtb-00075i-Jp; Fri, 27 May 2022 10:08:39 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 337897.562601; Fri, 27 May 2022 10:08:39 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nuWtb-00075b-Gs; Fri, 27 May 2022 10:08:39 +0000 Received: by outflank-mailman (input) for mailman id 337897; Fri, 27 May 2022 10:08: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 1nuWta-00075V-Mk for mirageos-devel@lists.xenproject.org; Fri, 27 May 2022 10:08:38 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id f934446b-dda4-11ec-837f-e5687231ffcc; Fri, 27 May 2022 12:08:37 +0200 (CEST) Received: from [192.168.9.148] (p549e8e29.dip0.t-ipconnect.de [84.158.142.41]) (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 CCC092BA for ; Fri, 27 May 2022 12:08: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: f934446b-dda4-11ec-837f-e5687231ffcc Content-Type: multipart/mixed; boundary="------------FqPXxUypDVdbtTNIPnuJ899Y" Message-ID: <133723f5-3673-4c7e-d13e-882603834eff@mehnert.org> Date: Fri, 27 May 2022 12:08:25 +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 meeting 2022-05-25 14:00 CEST Content-Language: en-US From: Hannes Mehnert To: mirageos-devel@lists.xenproject.org References: <73b5057c-c0ec-7a20-d29f-258ad27526f2@mehnert.org> In-Reply-To: <73b5057c-c0ec-7a20-d29f-258ad27526f2@mehnert.org> This is a multi-part message in MIME format. --------------FqPXxUypDVdbtTNIPnuJ899Y Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, thanks for the interesting discussions at the meeting last Wednesday. The next meeting will be on June 8th at 14:00 CEST (again on https://whereby.com/ocamllabs). The agenda and minutes at https://pad.data.coop/jgZ3NnyETWaaIT-5FM8ceA# (ics attached) The minutes from last meeting are below. Best, Hannes # Mirage 2022-05-25 attendees: Pierre (@palainp), Taka (@TImada), Thomas (@talex5), Mindy (@yomimono), renato, Romain (@dinosaure) # Introduction - hannes worked a bit on qubes-mirage-firewall and boot issues (see https://github.com/QubesOS/qubes-issues/issues/6162 and https://github.com/Solo5/solo5/pull/516) - pierre wants to integrae the qubes-mirage-firewall into the qubes community repository so others can easily install that; also sshfs unikernel (using yomimono's file system (chamelon)); features he'd like: (a) a size function [mirage-fs has this functionality, mirage-kv does not] - mindy wrote a file system, someone is using it -- terrifying;; there's no `append` in mirage-kv (what is the general kv/fs story in mirage and its commuity?) - taka enjoys porting mirageos to embedded microcontrollers, developed a tender layer of solo5 for microcontrollers -- TI does not provide any hardware abstraction layers for the boards -- big issue is device drivers - thomas didn't do much on mirageos, but next week wants to update CI to unblock various PRs (e.g. mirage-crypto eio support) - renato from brazil, works at mariegold on tezos, wasm vm on a layer 2 blockchain, worked on a socks client for mirageos, also some hardware hacking (cortex m0, entirely in C [no asm needed]), how to get OCaml onto small devices (16KB memory or less): linear types, statically allocated stuff - dinosaure focused on cosmopolitan & esperanto, ported pthread library needed for OCaml by using pth (https://www.gnu.org/software/pth/), works fine with lwt # memprof tracing - revised on current memtrace library at: https://github.com/roburio/memtrace-mirage (also opam install memtrace-mirage) - integrated together with dynamic log level adjustment and metrics export at https://github.com/roburio/mirage-monitoring (also opam install mirage-monitoring) # qubes-mirage-firewall - we still need to trigger the garbage collector every now and then - dlmalloc footprint just gives the address of the highest address (never goes down) - PRs: ocaml-solo5 [dlmalloc], mirage-xen [expose that info], qubes-firewall [mirage4 port] -> reproducible build infrastructure targeting mirage 4 # mirage-xen - unikernels that are executed with `--help` trigger an infinite loop # mirage-kv vs mirage-fs - we used to have both, but they were so similar that we merged them - mirage-kv was then extended for the caldav implementation, and it is implemented by irmin - extend mirage-kv with e.g. append? what about partial reads? - or revive mirage-fs? - there won't be any atomic move in chamelon! - directories in mirage-kv are a bit weird - feature request (a) replace something in the middle of the file: - `write_in_the_middle : t -> path -> offsent -> data -> unit, error Lwt.t` - feature request (b) read to return chunks (or read in the middle) - `read_in_the_middle : t -> path -> offset -> length -> data, error Lwt.t` - feature request (c) rename (key1 -> key2): currently read data of key1, write to key2 (tricky to rename a directory) - let's get a PR to mirage-kv and discuss there, palainp will do that and mention @yomimono # retreat in mirleft in late september / early october (details soon) --------------FqPXxUypDVdbtTNIPnuJ899Y Content-Type: text/calendar; charset=UTF-8; name="mirage-20220608.ics" Content-Disposition: attachment; filename="mirage-20220608.ics" Content-Transfer-Encoding: base64 QkVHSU46VkNBTEVOREFSClBST0RJRDotLy9Nb3ppbGxhLm9yZy9OT05TR01MIE1vemlsbGEg Q2FsZW5kYXIgVjEuMS8vRU4KVkVSU0lPTjoyLjAKQkVHSU46VlRJTUVaT05FClRaSUQ6RXVy b3BlL1BhcmlzCkJFR0lOOkRBWUxJR0hUClRaT0ZGU0VURlJPTTorMDEwMApUWk9GRlNFVFRP OiswMjAwClRaTkFNRTpDRVNUCkRUU1RBUlQ6MTk3MDAzMjlUMDIwMDAwClJSVUxFOkZSRVE9 WUVBUkxZO0JZREFZPS0xU1U7QllNT05USD0zCkVORDpEQVlMSUdIVApCRUdJTjpTVEFOREFS RApUWk9GRlNFVEZST006KzAyMDAKVFpPRkZTRVRUTzorMDEwMApUWk5BTUU6Q0VUCkRUU1RB UlQ6MTk3MDEwMjVUMDMwMDAwClJSVUxFOkZSRVE9WUVBUkxZO0JZREFZPS0xU1U7QllNT05U SD0xMApFTkQ6U1RBTkRBUkQKRU5EOlZUSU1FWk9ORQpCRUdJTjpWRVZFTlQKVUlEOjQzOWU0 MDgzLWFiZTMtNDRiZC1iODU2LTJlMmQ5NTIyMTE4NgpEVFNUQU1QOjIwMjIwNTI3VDEwMDQw NVoKRFRTVEFSVDtUWklEPUV1cm9wZS9QYXJpczoyMDIyMDYwOFQxNDAwMDAKRFRFTkQ7VFpJ RD1FdXJvcGUvUGFyaXM6MjAyMjA2MDhUMTUwMDAwCkNSRUFURUQ6MjAyMjA1MjdUMTAwMzMw WgpMQVNULU1PRElGSUVEOjIwMjIwNTI3VDEwMDQwNVoKU1VNTUFSWTptaXJhZ2VvcyBtZWV0 aW5nClRSQU5TUDpPUEFRVUUKTE9DQVRJT046aHR0cHM6Ly93aGVyZWJ5LmNvbS9vY2FtbGxh YnMKREVTQ1JJUFRJT047QUxUUkVQPSJkYXRhOnRleHQvaHRtbCwlM0Nib2R5JTNFaHR0cHM6 JTJGJTJGcGFkLmRhdGEuY29vcCUyRmpnWjNObnlFVFdhYUlULTVGTThjZUElMjMlM0MlMkZi b2R5JTNFIjpodHRwczovL3BhZC5kYXRhLmNvb3AvamdaM05ueUVUV2FhSVQtNUZNOGNlQSMK QkVHSU46VkFMQVJNCkFDVElPTjpESVNQTEFZClRSSUdHRVI7VkFMVUU9RFVSQVRJT046LVBU NU0KREVTQ1JJUFRJT046RGVmYXVsdCBNb3ppbGxhIERlc2NyaXB0aW9uCkVORDpWQUxBUk0K RU5EOlZFVkVOVApFTkQ6VkNBTEVOREFSCg== --------------FqPXxUypDVdbtTNIPnuJ899Y--