From mirageos-devel-bounces@lists.xenproject.org Fri Apr 22 13:42:08 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 22 Apr 2022 13:42:08 +0000 Received: from list by lists.xenproject.org with outflank-mailman.310928.527898 (Exim 4.92) (envelope-from ) id 1nhtXo-0005Rx-GT; Fri, 22 Apr 2022 13:41:56 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 310928.527898; Fri, 22 Apr 2022 13:41:56 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nhtXo-0005Rq-Dd; Fri, 22 Apr 2022 13:41:56 +0000 Received: by outflank-mailman (input) for mailman id 310928; Fri, 22 Apr 2022 13:41:54 +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 1nhtXm-0005Rh-R8 for mirageos-devel@lists.xenproject.org; Fri, 22 Apr 2022 13:41:54 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f696ee6b-c241-11ec-a405-831a346695d4; Fri, 22 Apr 2022 15:41:53 +0200 (CEST) Received: from [192.168.42.80] (dslb-188-102-157-060.188.102.pools.vodafone-ip.de [188.102.157.60]) (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 2AB6CEE5 for ; Fri, 22 Apr 2022 15:23:47 +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: f696ee6b-c241-11ec-a405-831a346695d4 Content-Type: multipart/mixed; boundary="------------rhUjbh0bdTGdLGWoTWIJ0Zm0" Message-ID: <830a3a04-c765-e700-6426-d74bd538e82b@mehnert.org> Date: Fri, 22 Apr 2022 15:23:46 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 To: mirageos-devel@lists.xenproject.org Content-Language: en-US From: Hannes Mehnert Subject: Restarting MirageOS bi-weekly meetings This is a multi-part message in MIME format. --------------rhUjbh0bdTGdLGWoTWIJ0Zm0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, we will restart bi-weekly MirageOS meetings to have a space for the community to discuss topics. The first one will be the upcoming Wednesday April 27th at 14:00 CEST (until 15:00) on https://whereby.com/ocamllabs (please find an ics attached). Everyone is welcome. Feel free to suggest agenda items by editing https://pad.data.coop/qindjTRDT4mSKz37llLv9g# The next dates will be May 11th, May 25th, ... Looking forward to see you soon and discuss MirageOS unikernels with you, Hannes --------------rhUjbh0bdTGdLGWoTWIJ0Zm0 Content-Type: text/calendar; charset=UTF-8; name="20220427-mirage.ics" Content-Disposition: attachment; filename="20220427-mirage.ics" Content-Transfer-Encoding: base64 QkVHSU46VkNBTEVOREFSDQpQUk9ESUQ6LS8vTW96aWxsYS5vcmcvTk9OU0dNTCBNb3ppbGxh IENhbGVuZGFyIFYxLjEvL0VODQpWRVJTSU9OOjIuMA0KQkVHSU46VlRJTUVaT05FDQpUWklE OkV1cm9wZS9QYXJpcw0KQkVHSU46REFZTElHSFQNClRaT0ZGU0VURlJPTTorMDEwMA0KVFpP RkZTRVRUTzorMDIwMA0KVFpOQU1FOkNFU1QNCkRUU1RBUlQ6MTk3MDAzMjlUMDIwMDAwDQpS UlVMRTpGUkVRPVlFQVJMWTtCWURBWT0tMVNVO0JZTU9OVEg9Mw0KRU5EOkRBWUxJR0hUDQpC RUdJTjpTVEFOREFSRA0KVFpPRkZTRVRGUk9NOiswMjAwDQpUWk9GRlNFVFRPOiswMTAwDQpU Wk5BTUU6Q0VUDQpEVFNUQVJUOjE5NzAxMDI1VDAzMDAwMA0KUlJVTEU6RlJFUT1ZRUFSTFk7 QllEQVk9LTFTVTtCWU1PTlRIPTEwDQpFTkQ6U1RBTkRBUkQNCkVORDpWVElNRVpPTkUNCkJF R0lOOlZFVkVOVA0KVUlEOmQ0MmZhMDQyLTM3ODYtNGI5Yi1hZGQxLThjNmRjNTI3MjFiZA0K RFRTVEFNUDoyMDIyMDQyMlQxMzIwMjlaDQpEVFNUQVJUO1RaSUQ9RXVyb3BlL1BhcmlzOjIw MjIwNDI3VDE0MDAwMA0KRFRFTkQ7VFpJRD1FdXJvcGUvUGFyaXM6MjAyMjA0MjdUMTUwMDAw DQpDUkVBVEVEOjIwMjIwNDEzVDEzMjAwMFoNCkxBU1QtTU9ESUZJRUQ6MjAyMjA0MjJUMTMy MDI5Wg0KU1VNTUFSWTptaXJhZ2UgbWVldGluZw0KVFJBTlNQOk9QQVFVRQ0KTE9DQVRJT046 aHR0cHM6Ly93aGVyZWJ5LmNvbS9vY2FtbGxhYnMNCkRFU0NSSVBUSU9OO0FMVFJFUD0iZGF0 YTp0ZXh0L2h0bWwsJTNDYm9keSUzRWh0dHBzOiUyRiUyRnBhZC5kYXRhLmNvb3AlMkZxaW5k alRSRFQ0bVNLejM3bGxMdjlnJTIzJTNDJTJGYm9keSUzRSI6aHR0cHM6Ly9wYWQuZGF0YS5j b29wL3FpbmRqVFJEVDRtU0t6MzdsbEx2OWcjDQpYLU1PWi1HRU5FUkFUSU9OOjINCkJFR0lO OlZBTEFSTQ0KQUNUSU9OOkRJU1BMQVkNClRSSUdHRVI7VkFMVUU9RFVSQVRJT046LVBUNU0N CkRFU0NSSVBUSU9OOkRlZmF1bHQgTW96aWxsYSBEZXNjcmlwdGlvbg0KRU5EOlZBTEFSTQ0K RU5EOlZFVkVOVA0KRU5EOlZDQUxFTkRBUg0K --------------rhUjbh0bdTGdLGWoTWIJ0Zm0-- From mirageos-devel-bounces@lists.xenproject.org Thu Apr 28 13:17:41 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 28 Apr 2022 13:17:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.316526.535451 (Exim 4.92) (envelope-from ) id 1nk41S-00008d-Ej; Thu, 28 Apr 2022 13:17:30 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 316526.535451; Thu, 28 Apr 2022 13:17:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nk41S-00008W-BN; Thu, 28 Apr 2022 13:17:30 +0000 Received: by outflank-mailman (input) for mailman id 316526; Thu, 28 Apr 2022 13:17:29 +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 1nk41R-00008Q-Eg for mirageos-devel@lists.xenproject.org; Thu, 28 Apr 2022 13:17:29 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 8b52f2f0-c6f5-11ec-a405-831a346695d4; Thu, 28 Apr 2022 15:17:28 +0200 (CEST) Received: from [192.168.42.80] (dslb-092-078-249-147.092.078.pools.vodafone-ip.de [92.78.249.147]) (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 F3C4E21ED2 for ; Thu, 28 Apr 2022 15:17:22 +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: 8b52f2f0-c6f5-11ec-a405-831a346695d4 Content-Type: multipart/mixed; boundary="------------kOQ6de9ixhe0pe8sRb6iRIGq" Message-ID: <83892f34-1d39-4d71-faab-b93d8f8b07be@mehnert.org> Date: Thu, 28 Apr 2022 15:17:22 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: Restarting MirageOS bi-weekly meetings, next: 2022-05-11 14:00 CEST Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <830a3a04-c765-e700-6426-d74bd538e82b@mehnert.org> From: Hannes Mehnert In-Reply-To: <830a3a04-c765-e700-6426-d74bd538e82b@mehnert.org> This is a multi-part message in MIME format. --------------kOQ6de9ixhe0pe8sRb6iRIGq Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Thanks for attending the meeting yesterday, notes below -- I'll send a reminder for May 11th (14:00 CEST) on Friday May 6th (ICS attached), pad https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg# Best, Hannes # MirageOS meeting 2022-04-27 attendees: Taka (@timada), Romain (@dinosaure), magnus (@magnuss), pierre (@palainp), gwen (@clecat), Thomas Leonard (@talex5), Mindy (@yomimono) https://somerandomidiot.com, hannes (@hannesm), thomas (@samoht), Lucas (@thelortex) ## Brief introductions - H: getting MirageOS unikernels deployed - Y: Web App & File system - M: Motivation is everything compiled to a single binary, interesting network applications w/composable stack - TL: last main thing was mirage-qubes-firewall, now OCaml 5 and effects - P: teaching at university, bringing computing to students - G: surrounding libraries like decompress etc. - Taka: joined OCamlLabs in 2016 for 1 year, working on real-time OS vendor, MirageOS talking to embedded microcontrollers - TG: leading Tarides team including (Multicore) OCaml compiler, tooling, goal is making MirageOS a sustainable OS community, getting shared funding - L: since 2018 working with MirageOS & OCaml, now at Tarides, did the MirageOS 4.0 release (cross-compiling, interested in multicore) - D: deploying MirageOS unikernels, worked on various libraries ## MirageOS for microcontrollers: - Taka has a board with one SOC (ARM cortex 53/64) - similar to raspberry Pi3 (32 bit) - also some more cores (ARM & texas instruments) - TI AM64X - goal is: real-time video streaming (with MirageOS) - https://www.ti.com/product/AM6442?keyMatch=AM64X - Taka opened various PRs for OCaml-solo5 & solo5 & ... 32 bit support - Bare-metal MirageOS on ARM64 by dinosaure (including device drivers, how to handle interrupts, ...) -- see https://github.com/dinosaure/gilbraltar - Plan: use a hardware abstraction layer for device drivers, see https://www.st.com/resource/en/user_manual/dm00105879-description-of-stm32f4-hal-and-ll-drivers-stmicroelectronics.pdf - TG: we looked into riot os for device drivers (and reuse their drivers), M: there will be a presentation in a few weeks (Tarides had two internships about that; target was to run on a SoC from nordic semiconductors) ## Unikraft - TG joined their discourse instance - Lots of activity there, including deployment stories - Unikraft is a set of libraries to run your unikernel on - Basically a split of mini-os into different libraries - They have open weekly meetings Thursday 10:00 CEST - Lively community, let's collaborate (and have a Mirage-unikraft story) - Comparison between unikraft and solo5: unikraft tries to support a lot of syscalls (is there a way to exclude some, and minimize the binary?) - Do they support SMP? Not yet, they're working on it. - Effect system of OCaml 5 with unikraft - L: Build system is much more complex, we need to figure out a way to have the build systems of unikraft and mirage collaborate - Y: there may be others building on top of unikraft - L: root build system is unikraft, mirageos is only one module - TG: we want mirage to drive the build, let's discuss this with unikraft people ## OCaml 5 - L: first let's get effects in MirageOS and a single domain - L: as a second step, get multi domain support in MirageOS - H: let's also investigate the performance of MirageOS unikernels on single core - TL: we'd have to rewrite the drivers (to use multiple cpus) - let's get a performance harness (firewall, video streaming, web server) in place to measure and improve - Taka: something like the perf command in Linux - TG: we have memtrace (of the OCaml runtime), OCaml 5 has a new API and better event tracing system (of low level tracing) - Taka: there is mirage-tracing which does not support solo5 - TL: hannes has a memtrace with MirageOS, mirage-tracing needs a shared memory buffer (and works when the unikernel crashes) - Taka: wants performance tracing for solo5 ## magic-trace - TG: anyone used magic-trace? would be nice to get it working with VMs - L: works only on Linux - TG: could be used with spt unikernels? ## multiboot and MirageOS - P: doesn't work anymore, worked with earlier versions of xen & qubes & solo5 - Y: this is a really good question for qubes-devel - H: try use a binary from https://builds.robur.coop/job/qubes-firewall/ (mirage3 + solo5 0.6) ## next meeting May 11th 14:00 CEST https://whereby.com/ocamllabs --------------kOQ6de9ixhe0pe8sRb6iRIGq Content-Type: text/calendar; charset=UTF-8; name="mirage-20220511.ics" Content-Disposition: attachment; filename="mirage-20220511.ics" Content-Transfer-Encoding: base64 QkVHSU46VkNBTEVOREFSDQpQUk9ESUQ6LS8vTW96aWxsYS5vcmcvTk9OU0dNTCBNb3ppbGxh IENhbGVuZGFyIFYxLjEvL0VODQpWRVJTSU9OOjIuMA0KQkVHSU46VlRJTUVaT05FDQpUWklE OkV1cm9wZS9QYXJpcw0KQkVHSU46REFZTElHSFQNClRaT0ZGU0VURlJPTTorMDEwMA0KVFpP RkZTRVRUTzorMDIwMA0KVFpOQU1FOkNFU1QNCkRUU1RBUlQ6MTk3MDAzMjlUMDIwMDAwDQpS UlVMRTpGUkVRPVlFQVJMWTtCWURBWT0tMVNVO0JZTU9OVEg9Mw0KRU5EOkRBWUxJR0hUDQpC RUdJTjpTVEFOREFSRA0KVFpPRkZTRVRGUk9NOiswMjAwDQpUWk9GRlNFVFRPOiswMTAwDQpU Wk5BTUU6Q0VUDQpEVFNUQVJUOjE5NzAxMDI1VDAzMDAwMA0KUlJVTEU6RlJFUT1ZRUFSTFk7 QllEQVk9LTFTVTtCWU1PTlRIPTEwDQpFTkQ6U1RBTkRBUkQNCkVORDpWVElNRVpPTkUNCkJF R0lOOlZFVkVOVA0KVUlEOjAxOWRiYWVjLWVkZDItNDFjYi05NDM1LWNkMWNkMTIwNjgwZg0K RFRTVEFNUDoyMDIyMDQyOFQxMzE1MTNaDQpEVFNUQVJUO1RaSUQ9RXVyb3BlL1BhcmlzOjIw MjIwNTExVDE0MDAwMA0KRFRFTkQ7VFpJRD1FdXJvcGUvUGFyaXM6MjAyMjA1MTFUMTUwMDAw DQpDUkVBVEVEOjIwMjIwNDI4VDEzMTQ0N1oNCkxBU1QtTU9ESUZJRUQ6MjAyMjA0MjhUMTMx NTEzWg0KU1VNTUFSWTptaXJhZ2UgbWVldGluZw0KVFJBTlNQOk9QQVFVRQ0KTE9DQVRJT046 aHR0cHM6Ly93aGVyZWJ5LmNvbS9vY2FtbGxhYnMNCkRFU0NSSVBUSU9OO0FMVFJFUD0iZGF0 YTp0ZXh0L2h0bWwsJTNDYm9keSUzRWh0dHBzOiUyRiUyRnBhZC5kYXRhLmNvb3AlMkZVWWc0 TGJZTFNOeVNENTBRaVFyUFlnJTIzJTNDJTJGYm9keSUzRSI6aHR0cHM6Ly9wYWQuZGF0YS5j b29wL1VZZzRMYllMU055U0Q1MFFpUXJQWWcjDQpCRUdJTjpWQUxBUk0NCkFDVElPTjpESVNQ TEFZDQpUUklHR0VSO1ZBTFVFPURVUkFUSU9OOi1QVDVNDQpERVNDUklQVElPTjpEZWZhdWx0 IE1vemlsbGEgRGVzY3JpcHRpb24NCkVORDpWQUxBUk0NCkVORDpWRVZFTlQNCkVORDpWQ0FM RU5EQVINCg== --------------kOQ6de9ixhe0pe8sRb6iRIGq--