From mirageos-devel-bounces@lists.xenproject.org Wed Jan 04 13:55:55 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 04 Jan 2023 13:55:55 +0000 Received: from list by lists.xenproject.org with outflank-mailman.471189.730929 (Exim 4.92) (envelope-from ) id 1pD4F3-0001VU-Og; Wed, 04 Jan 2023 13:55:41 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 471189.730929; Wed, 04 Jan 2023 13:55:41 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pD4F3-0001VN-Ld; Wed, 04 Jan 2023 13:55:41 +0000 Received: by outflank-mailman (input) for mailman id 471189; Wed, 04 Jan 2023 13:55:39 +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 1pD4F1-0001VH-Gi for mirageos-devel@lists.xenproject.org; Wed, 04 Jan 2023 13:55:39 +0000 Received: from mail-ej1-x633.google.com (mail-ej1-x633.google.com [2a00:1450:4864:20::633]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 764ae632-8c37-11ed-b8d0-410ff93cb8f0; Wed, 04 Jan 2023 14:55:37 +0100 (CET) Received: by mail-ej1-x633.google.com with SMTP id m18so82564425eji.5 for ; Wed, 04 Jan 2023 05:55:35 -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: 764ae632-8c37-11ed-b8d0-410ff93cb8f0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=z4qnLWH9McbnOiSg7ShodqBICHwy3+1WNxsVCpNeWps=; b=qFtZzjiSVQiu9isOhmuH8YBDK0K4VpMghEyzDz1NOqADuijGbeGmT9NWNmMBlMxXv2 Hpjxr+gznelDrjSsdYTV0xxyyP9EApIvVAYKGI3GY4rjPEJvjfJnfSou+6NOi4wtVHxo usr+Ec4En8n5wtBpj8VvlYKsUujbVkaKHBn/Yjz8eer8KsRYl2L6tvvUzAzq3QBTmiP+ Qf3KX+BIRJdzJHQ6qL7GIEk7/nwa4r7J32nGJV0WZEqiMEjjk5yELToniAMz01D7Blo7 +GuwCW2p0/KX9hXEirKHyXaNF+sEPu+PZ3UEvh0UcfgcjplG++UaYv8vxvtbfEpKWXR7 7usw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=z4qnLWH9McbnOiSg7ShodqBICHwy3+1WNxsVCpNeWps=; b=tUaYS9ps2c1lKDFI1llLF//U0C5r6eVaO1oEsrHCsgVDZ1Bo1bBw8ngLgybQ7st7sS jSgQQ1fJDdYFXtVeILrSaxp15iF+RgnjzX8KQuXlHTUdcWDALSi14VW2L8NfnwhAGpgT ElqNr6cmeDqc/nwBPMK1ORgahrd3KlcujoSdURWgd2cL8wCfopJotM19jMR3X/1MTUg/ BeQOrK+qHBJgl5HlLhKS0lE7FhbKLBWqGy4b6Tjsa02rmNJN0LRVT8lBWM/zmq6H2Ox+ zhP3g5+o2mE52SSvdjLDk4A+45eIiCIRNhCf74QzsdozTT8scK0O+/2qTK4psT/WC5YS xEqg== X-Gm-Message-State: AFqh2koZx7TBTjoZ0jxdlnkMJB2o2j8hU/YkKEH+gJttcdZbFb5gS7P7 2yL8e+QUht8ZQZZ209YxeVUfIFBMuUHikrJDOB+fulzFD1ipiw== X-Google-Smtp-Source: AMrXdXvnLPDaj/TA7avYVxk7gMMagh0NXb63Eb3zQXVX6X1P3oEYKxIhNlxyf4D52/STMMf7FRnwb6ZBy3htzJL/DSE= X-Received: by 2002:a17:907:3c12:b0:838:1dd7:5951 with SMTP id gh18-20020a1709073c1200b008381dd75951mr3612452ejc.119.1672840534897; Wed, 04 Jan 2023 05:55:34 -0800 (PST) MIME-Version: 1.0 From: Romain Calascibetta Date: Wed, 4 Jan 2023 14:55:22 +0100 Message-ID: Subject: MirageOS meeting (04/01/2023) To: mirageos-devel Content-Type: multipart/alternative; boundary="000000000000d938ce05f17089fe" --000000000000d938ce05f17089fe Content-Type: text/plain; charset="UTF-8" Hello everyone and happy new year, Today the MirageOS meeting was held with Pierre and myself. We mainly talked about the PR initiated by Kate at the MirageOS retreat for OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122 It seems that the Hello World example and the qubes-firewall work with this PR which is very good news for this new year. I'll probably get busy next week to clean up the PR and test with KVM. Thanks to Pierre and Christiano for their work. Otherwise, as usual, the next meeting will be on 18 January (14:00 CET). Best, -- Romain Calascibetta - http://blog.osau.re/ --000000000000d938ce05f17089fe Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello everyone and happy new year,
<= br>
Today the MirageOS meeting was held with Pierre and myself. W= e mainly talked about the PR initiated by Kate at the MirageOS retreat for = OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122
<= div>
It seems that the Hello World example and the qubes-fire= wall work with this PR which is very good news for this new year. I'll = probably get busy next week to clean up the PR and test with KVM. Thanks to= Pierre and Christiano for their work.

Otherwise, as usual, the next= meeting will be on 18 January (14:00 CET).

Best,<= br>

--
Romain Calascibetta - http://blog.osau.re/
--000000000000d938ce05f17089fe-- From mirageos-devel-bounces@lists.xenproject.org Wed Jan 04 13:57:40 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 04 Jan 2023 13:57:40 +0000 Received: from list by lists.xenproject.org with outflank-mailman.471192.730933 (Exim 4.92) (envelope-from ) id 1pD4Gw-0001hD-W0; Wed, 04 Jan 2023 13:57:38 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 471192.730933; Wed, 04 Jan 2023 13:57: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 1pD4Gw-0001h6-Sz; Wed, 04 Jan 2023 13:57:38 +0000 Received: by outflank-mailman (input) for mailman id 471192; Wed, 04 Jan 2023 13:57: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 1pD4Gw-0001h0-ET for mirageos-devel@lists.xenproject.org; Wed, 04 Jan 2023 13:57:38 +0000 Received: from mail-lj1-x231.google.com (mail-lj1-x231.google.com [2a00:1450:4864:20::231]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id be27b915-8c37-11ed-b8d0-410ff93cb8f0; Wed, 04 Jan 2023 14:57:36 +0100 (CET) Received: by mail-lj1-x231.google.com with SMTP id i19so22571748ljg.8 for ; Wed, 04 Jan 2023 05:57:36 -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: be27b915-8c37-11ed-b8d0-410ff93cb8f0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=haesbaert-org.20210112.gappssmtp.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=yWV3y4QEx+wWnMFW6tKEWHGwKoVzVV7o2N3nSZlTHZo=; b=ag46Qon1PvsTurGgt8kzrjjZix526tdDK94kQv8PkZVHZBwBfT5vSicPFtjzU4z/ZX dC95B0aIndoke3YSNMLpx8Voy9EsZOEOuE4GlKJDiRwNooWEQPNLX77zN7a3xP0rLn7W /DxWer+kvhIAMRgtCdiWmSJsZIlYoDHX6abwJ+70LpHaguJe+V7gBHb6PL0RVo3VREia W0va9OUzvCXB5gSP+xVrBquDSnRktjGY0XkpwHGSwbR7Rei8LTTpHFLY1G9K81I+CrOK En1YUSScYZMjX5xEUw5Fk3YsC4gtl8hHeDfwKun9Y+rbxqrAF/RPyJ6c9GXUKiWiTXXt /G8A== 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=yWV3y4QEx+wWnMFW6tKEWHGwKoVzVV7o2N3nSZlTHZo=; b=DseO5l5ffbOX3S6VIlyvJoe2gY6V92c5cFYAjsogMLN1OcCQhm07Zp0xb9Qoe+BTI/ sZzBvDvEF9wMFqGB3u4VU5KIVpsHZBaVibhyAwA1wc2TriiuEbRRc8JEoDhhkUQ8GCoz j6KK0JVrQ1BR4FelE0EYjZSZj7tcdPV5V+GbzpWzsfZg0ufOM/f5VCHBw1oQK5GnGnCR 0DGrfIN+ooPllfJx4glYtGUM8W8Y11U4YnS6vXkw1tZ5Yh3m4OAX9mSditXyRkEOBYLD 9kt1Hn6NWMN0usBzFX0kAG5MT1OnLE7BqJJUT8h8y2RMYPW5TzCyxSSWa+JS3CFh5cNQ +IgQ== X-Gm-Message-State: AFqh2kpsIPvfmdhaMstviEn1zxD+EyNtJy3ZMmGANteGYO1vpqq+Foo1 D1rIgp0RRtZbpY0iTvQYFFssij4R06j7gU/++V75UfLU X-Google-Smtp-Source: AMrXdXu/QRHcYMg2+0nc9IHMbPDmw8hRFc0NPe16EJkCc4GzrPi8HJCk3EbqkgEOO06piPtHcSSKikN8b2ZLhJMDqW8= X-Received: by 2002:a2e:9594:0:b0:27f:b32a:3d59 with SMTP id w20-20020a2e9594000000b0027fb32a3d59mr2269740ljh.432.1672840655432; Wed, 04 Jan 2023 05:57:35 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: "Christiano F. Haesbaert" Date: Wed, 4 Jan 2023 14:57:21 +0100 Message-ID: Subject: Re: MirageOS meeting (04/01/2023) To: Romain Calascibetta Cc: mirageos-devel Content-Type: text/plain; charset="UTF-8" On Wed, 4 Jan 2023 at 14:56, Romain Calascibetta wrote: > > Hello everyone and happy new year, > > Today the MirageOS meeting was held with Pierre and myself. We mainly talked about the PR initiated by Kate at the MirageOS retreat for OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122 > > It seems that the Hello World example and the qubes-firewall work with this PR which is very good news for this new year. I'll probably get busy next week to clean up the PR and test with KVM. Thanks to Pierre and Christiano for their work. > > Otherwise, as usual, the next meeting will be on 18 January (14:00 CET). > That's awesome ! But all work was done by Pierre, I just play a programmer on TV. From mirageos-devel-bounces@lists.xenproject.org Sun Jan 08 18:13:34 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 08 Jan 2023 18:13:34 +0000 Received: from list by lists.xenproject.org with outflank-mailman.473236.733737 (Exim 4.92) (envelope-from ) id 1pEaAa-0004u3-Re; Sun, 08 Jan 2023 18:13:20 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 473236.733737; Sun, 08 Jan 2023 18:13:20 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pEaAa-0004tw-Oh; Sun, 08 Jan 2023 18:13:20 +0000 Received: by outflank-mailman (input) for mailman id 473236; Sun, 08 Jan 2023 18:13:19 +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 1pEaAZ-0004tq-Do for mirageos-devel@lists.xenproject.org; Sun, 08 Jan 2023 18:13:19 +0000 Received: from sonic312-21.consmr.mail.bf2.yahoo.com (sonic312-21.consmr.mail.bf2.yahoo.com [74.6.128.83]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 1f02f269-8f80-11ed-91b6-6bf2151ebd3b; Sun, 08 Jan 2023 19:13:17 +0100 (CET) Received: from sonic.gate.mail.ne1.yahoo.com by sonic312.consmr.mail.bf2.yahoo.com with HTTP; Sun, 8 Jan 2023 18:13:15 +0000 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: 1f02f269-8f80-11ed-91b6-6bf2151ebd3b DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1673201595; bh=F1FmA9FtO0nFkJlSrZcHk4TVUU9O60ZOWuH1XE76ZRk=; h=Date:From:Reply-To:To:In-Reply-To:References:Subject:From:Subject:Reply-To; b=EZ9tlZ+yrhKC/W1RENZ1Hr8wQLyVJyydCfLbEjHvVD+bWntre5wUjgiihebFIidpI4joVPWFcWmmCIG4I/UOOSJ7QMh0xQUk9pFToW7LSSYnxqyX+ZqYfZbDBVQ+loMxuJZZwcxYuHMrniu0wXE8Ut2iFSO0Ncwz2OEtxRcPaUtok1OwVZm/ksOH/ukFoGTTUvzVz58057JG2HQFGASXwZBVx5ZVW3dA2kRG0eeIVc3r3LP9khuY8GkAmr1onRQZSk//huD+kQ5VkCMkRn2QuI7+gVPIWKOgqAZKTD8vmq5LvtQkiosk1qC3tJU6uJkK7uGWN3QyvlwIolyrdYLqSQ== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1673201595; bh=wL3GBNy/EZljDituPyQKxmDgRwiFp4LcPUiBGti0g0+=; h=X-Sonic-MF:Date:From:To:Subject:From:Subject; b=rzMu6zaoXQkoSyUoIhHr9uKGyYq+P/jo6qKuDlo3yII+9glMqFAMMIhOYA2+KYZMtJKuF+IANMpJyvgYkNXKtSNq9XZqF88xlvN6aBcaZT0Sw2fC1iGxE75mAszCaA8bPGoAUkAPQXdJryaxYEW666FlWmOmv7nciPyX/X7+nWWZgaqMOudUO8X8oWqdfXn0nTB1QHcP65ExQA/wCRwX7zZs4x13SBgBdHkkmOpWHu7O3Wn8tHAqTaRHUdvVsBQ/3gINHKiW4cSmc7jyvVZZFYwJxGBWMhp03dp/cUjxWhbLfqi++NT8FxFJH6kc/Avk4x2mXVjGg9TvvV2umKTFyg== X-YMail-OSG: lQVTAqMVM1mKIeMySgFAhm0Zaz1CrmGurdlrWbNZnc.fpC83U_hVpx48fh0wWIT uruD_4zTslwrs5qK83UNbQg8Xx8ZRmroUB3bn48xaN77gmUdxPiPJDT8uwLDHFbM4KesUt3murwg LfTFjE_Sv3ny6yfgXfd5F6BCtfuas9A70EZyWWwOMyTp3qen5HhK4wT6E55GCr_aU0nX8xkHlRV6 KcjhAM4nSvn3uurWpJdCPsrLKydTL5Oxu9LyQzQPC2aFpJtnet.HQ_iGlfCDSXOYKrqCdt534M2m gaxF9PUKiE2n_wnIlcV2AnmunFCq4KdvFmv103B2xAcTR5U_zXJKiTP0yO3Niabu8TIwM.No3CF8 dAgJ0w.2jXCPFi585Oe9LQ1ctouHE4jBnDGgDVx_Y_cR8.NiD6vacNbuPpWZ__LBAv_.NhX2aJDN TRB8lXhALP5UMq5WBl80Pk9VRCIuYecp_w1ubrE.QomL5upYQrMbBxsoam57L4bbPI3zvIFSvT6s v3XJltPxnlXpedxxvXPr1T4XurRH2cB0EjtA3ZuHBVV.9i3NOq83fOpISMmZzyK7AwHwZ59BZXgP JkaLPoqBa4G_gea_DNjgiVJq9ITfqCTDlWCYcgFGtIqG0CZGIbspzuW5JLTW_B_xnmIZ78Sj8MkR EyRpb.Sq8wt4IGquHFQzecotkMhsi8EiWvYsoAgeRQrtB9zfESnLodB_fIo_J2MAqw_ylg0B_qb2 xdkkovqSFWtU4CS8M5Tr_T_A8b7Nk6xSHOiaTwdMlxQN9My1NC0dudfkSsFWrwGsAMUlQxbStLlb i4c1mj1fnnxEPClBvUZcQYDy.kfOUZtt6i6Q4t5ognZ_GNjBYTWXFvVuCb.bj1w3OpK0a1NkZhIJ ZHKN7itLwkMO1y2v.eZdwdNc5Jquh2udzvPUupz0OX71jTnGXbnOtNckRHUhdfwILzsx.ccEKTYM rVW1QELseeex02wr1Se7uWElCkyaCB1LKRbMjuppeCJlZH0ofogaUTAduIhy9HzGKV_tPdHb8huc draXCr3OxLoNfuz15jsvlV1YhZPPpQGbvjx7FZZSYTjkC1nOK5HYLDPXY.5zdsPa2mjCwzJbk7gC zX63de7ZegEJLVbJezgbfpIeRlZAdY3VPlB_SCyXc3a_9nhssyPN3FZbzs_Soakbx_55hI0NrPu7 .rSluGNMugdaWyQ2_cmUeP.QiLXa3xD.Vi4JbWugOGUJ6I4C.jjBkuD76FXGgACoxr3E6KlMDV3N FBhl1GuS_ytMLhUxoE8.CwsTF7zyGNOEoMIILGbg2TUpd_QtnRRnPR6PYsDO_frMdWc2xSFj2mHN 1W7PHjOLN1wzYyt0DM005Kv2C2QmiDbI2eBkbnUE8KJ6R.Gp0ViWSmvwLYU.WsDtXMBPL3H4e0cs n9pdxsgXP.Ex79Bv5yxp_69SUaRcLjAhDyKjnX4xVbVCT_nhm1GG14DLV8YkB..bUIOtZ5_xaexg TnEJh_grBq1cojtxrOzL.liT158Jap2D3ApH8RXPm9MPzkmx04YrILrP74G8YOnBkww1zuSdSNVa JGEQGSr3ulS0RAKMS9V2yISeJCaJNkeiwyAn91sWKbd3x0JpsJHeWMvC64Kypsu_2ybMXxFhblT6 dzR6nnugF_qf9tyoktTC2hHKChfM8EuZIjGyuhGYc.r.R20J45D5MUf13CwbYmyZpmK6LL8MrRHA MOzyX1W_693BQXTutQ5oJd7QkSE7NxT1TEEWnIZer0oH8_gM2GXSGmY0W6rqX324EM5X3f3JMFzQ F.yyqIhPv7QmnsCQPHtTXaBvwPkiVlnFlbBCle0XDbJvaapwjnmgQ1Q8Fo1ofY93I_6vT2s_LOGt jFcmDmUTT2vqQN98cSNR.m08N.hug63RGwFOSoLEe8lbPAP3gg4eMWUX6AuWQql0McMOdVpeJlAF xq4rdkyfXouiE7GHUNrRimcJ9k.5x9vlnx2wZWb141LIuFeB6pU8ffBuotWC80rzVat0GjuuCMQl jQpO.uvneMzvTc0_cxYLqzjo.k8u9PpPbcm8xSzfJIl3vYjGXvnCW6c3kAb2pdOYIkxf6zmk_n50 W84L1hzIBH8IqXtQrI8SNZb0FYNtywzjY_3MqvvYMWQ9BD3.pG.zmPZQ0HhL26pRrtdi6nGugkz2 pjr_SQzp.titp3sm70h9Hva01RqrvYK2IK_ffh5gwJywUGHnfEi8z2vq3xsPeLSfngIvRJPuxRhG 9snDf_6D2_GNLLnrbA7Mznty4fKGXmLARaoxIHk9BLAZMNc4cZIQSZG2R8Y4WLxMip68NY8aZScv IWwckg9mK1.NgF19RK.gqeqxRaRqEiZx_pkwP8Fmb2R4y.1yrbo5wQw014SuzMOPAyejCQZTevHC jl2EubOy5940z_qTUDajh X-Sonic-MF: Date: Sun, 8 Jan 2023 18:13:06 +0000 (UTC) From: Jason Long Reply-To: Jason Long To: Romain Calascibetta , mirageos-devel Message-ID: <514259004.4422374.1673201586351@mail.yahoo.com> In-Reply-To: References: Subject: Re: MirageOS meeting (04/01/2023) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_4422373_627113182.1673201586349" X-Mailer: WebService/1.1.20982 YahooMailAndroidMobile Content-Length: 3017 ------=_Part_4422373_627113182.1673201586349 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Hello,How about KVM? The MirageOS is with Xen. Am I wrong? Tnx. Sent from Yahoo Mail on Android On Wed, Jan 4, 2023 at 5:25 PM, Romain Calascibetta wrote: Hello everyone and happy new year, Today the MirageOS meeting was held with Pierre and myself. We mainly talked about the PR initiated by Kate at the MirageOS retreat for OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122 It seems that the Hello World example and the qubes-firewall work with this PR which is very good news for this new year. I'll probably get busy next week to clean up the PR and test with KVM. Thanks to Pierre and Christiano for their work. Otherwise, as usual, the next meeting will be on 18 January (14:00 CET). Best, -- Romain Calascibetta - http://blog.osau.re/ ------=_Part_4422373_627113182.1673201586349 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hello,
How about KVM? The MirageOS is with Xen. Am I wrong?
<= br>
Tnx.


On Wed, Jan 4, 2023 at 5:25 PM, Romain Calascibetta=
<romain.calascibetta@gmail.com> wrote:
Hello everyone and ha= ppy new year,

Today the MirageOS meeti= ng was held with Pierre and myself. We mainly talked about the PR initiated= by Kate at the MirageOS retreat for OCaml 5 support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pu= ll/122

It seems that the Hello World example a= nd the qubes-firewall work with this PR which is very good news for this ne= w year. I'll probably get busy next week to clean up the PR and test with K= VM. Thanks to Pierre and Christiano for their work.

Otherwise, as us= ual, the next meeting will be on 18 January (14:00 CET).

Best,

--
Romain Calascibetta - http://blog.osau= .re/
------=_Part_4422373_627113182.1673201586349-- From mirageos-devel-bounces@lists.xenproject.org Mon Jan 09 09:23:25 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 Jan 2023 09:23:25 +0000 Received: from list by lists.xenproject.org with outflank-mailman.473448.734058 (Exim 4.92) (envelope-from ) id 1pEoN2-0001TF-NT; Mon, 09 Jan 2023 09:23:08 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 473448.734058; Mon, 09 Jan 2023 09:23:08 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pEoN2-0001T7-J7; Mon, 09 Jan 2023 09:23:08 +0000 Received: by outflank-mailman (input) for mailman id 473448; Mon, 09 Jan 2023 09:23:07 +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 1pEoN0-0001Si-Ve for mirageos-devel@lists.xenproject.org; Mon, 09 Jan 2023 09:23:07 +0000 Received: from mail-ed1-x529.google.com (mail-ed1-x529.google.com [2a00:1450:4864:20::529]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 37bef0eb-8fff-11ed-91b6-6bf2151ebd3b; Mon, 09 Jan 2023 10:23:05 +0100 (CET) Received: by mail-ed1-x529.google.com with SMTP id v30so11575533edb.9 for ; Mon, 09 Jan 2023 01:23:03 -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: 37bef0eb-8fff-11ed-91b6-6bf2151ebd3b 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=vmAKBJcWipue/8E6QSivimgGAlcfFHlxGuoYfNWVRU0=; b=Yc79tDfrI4Uc0IGhfRHs0SJy+jKCy9O3pJmzyzIQb33i70P3p3dyoEEqtB8WvxHRaE QQhJdIckldNgLqlzCl8qhkeT85cbgZGhDrG7TvRkFhX1eaoOFQbzNUXMU9d7mqoFEE+D BzQzuuKWe6RHMlhXyiVld3u+E2vZ1hxcsWGVICSz6M712P6vwilAOhGgPQM/Ch8Ms4Kv GqAcNtNSIgFJr2LTiHHAE1PVt1RqwIpl4fzVK1icZYcsB+M4U9w0W/DpWVobX4mdzsWa Cw2sSwFExeKiV1OVoFOtelQXyc+mmB96wx/ywB5u22MVJwusKvTLmPVVikUroPQyvpYK GzkA== 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=vmAKBJcWipue/8E6QSivimgGAlcfFHlxGuoYfNWVRU0=; b=1038stivI1zj5P8bdHhCEWFoma/X7h7K4l8BaXCWH0ahAFZ4k0VYBwZ50IqoZvtLrm WqQW0V7HG8sZ3XxLwedPRuqnjz5RcDzQoD2QWblYLjfXPWmh0fNNl0UGh2rr8On72zJr 9iEbUG8xId0HjKWV9wQtgV9arhdAe2uqjIg3/aYCh3srHbJxpF3sOZS/g4xr4wk+sga3 7DyqM/OGZPk4eMk4mj7fduyTDJLQCAdiYMvQ++AcpSsFveJeYMRxdDKZsULx/E+b1Oxe ed3eeuLym2HRQAyKM03v5oi0Ec3+Y4JZh2Ggepg369yN6NlE0Ws661/jIT37b89JiVxX QreQ== X-Gm-Message-State: AFqh2koQf2wFpDwbs3ZqrVUbHY2arcKoasgEjyKTYK/UOpP3HHNWjTI7 4qxFYpNBNDUDttOSgb3QjYXVGloNqRioxCtVi5BFv+Y5 X-Google-Smtp-Source: AMrXdXuMQwB7F6LCaQZBb42VNi1JzCBkPqvV8R/jb+0vm6wJlrm53VybTKt815iuQX0SPb45Yi0fbIeuReG23kPJe2w= X-Received: by 2002:a05:6402:1948:b0:47a:d7c7:578d with SMTP id f8-20020a056402194800b0047ad7c7578dmr6439418edz.345.1673256182828; Mon, 09 Jan 2023 01:23:02 -0800 (PST) MIME-Version: 1.0 References: <514259004.4422374.1673201586351@mail.yahoo.com> In-Reply-To: <514259004.4422374.1673201586351@mail.yahoo.com> From: Romain Calascibetta Date: Mon, 9 Jan 2023 10:22:50 +0100 Message-ID: Subject: Re: MirageOS meeting (04/01/2023) To: Jason Long Cc: mirageos-devel Content-Type: multipart/alternative; boundary="00000000000065545905f1d1506d" --00000000000065545905f1d1506d Content-Type: text/plain; charset="UTF-8" Hi, I will try to check the support of KVM (Solo5/hvt) this week with OCaml 5 but it seems that the support of Xen works fine. The difference between them is not so huge at this level (ocaml-solo5) so it will probably work. Of course, we will ensure the support of all of these targets (including seccomp) as we do currently :) (for OCaml 4.{12,13,14}). On Sun, Jan 8, 2023 at 7:13 PM Jason Long wrote: > Hello, > How about KVM? The MirageOS is with Xen. Am I wrong? > > Tnx. > > Sent from Yahoo Mail on Android > > > On Wed, Jan 4, 2023 at 5:25 PM, Romain Calascibetta > wrote: > Hello everyone and happy new year, > > Today the MirageOS meeting was held with Pierre and myself. We mainly > talked about the PR initiated by Kate at the MirageOS retreat for OCaml 5 > support in `ocaml-solo5`: https://github.com/mirage/ocaml-solo5/pull/122 > > It seems that the Hello World example and the qubes-firewall work with > this PR which is very good news for this new year. I'll probably get busy > next week to clean up the PR and test with KVM. Thanks to Pierre and > Christiano for their work. > > Otherwise, as usual, the next meeting will be on 18 January (14:00 CET). > > Best, > > -- > Romain Calascibetta - http://blog.osau.re/ > > -- Romain Calascibetta - http://din.osau.re/ --00000000000065545905f1d1506d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

I will try to check the = support of KVM (Solo5/hvt) this week with OCaml 5 but it seems that the sup= port of Xen works fine. The difference between them is not so huge at this = level (ocaml-solo5) so it will probably work.
Of course, we will = ensure the support of all of these targets (including seccomp) as we do cur= rently :) (for OCaml 4.{12,13,14}).

On Sun, Jan 8, 2023 at 7:13 PM= Jason Long <hack3rcon@yahoo.com<= /a>> wrote:
H= ello,
How about KVM? The MirageOS is with Xen. Am I wrong?
Tnx.

Sent from Yahoo Mail on Android

On Wed, Jan 4, 2023 at 5:25 PM, Romain Calascibetta
<r= omain.calascibetta@gmail.com> wrote:
Hell= o everyone and happy new year,

Today t= he MirageOS meeting was held with Pierre and myself. We mainly talked about= the PR initiated by Kate at the MirageOS retreat for OCaml 5 support in `o= caml-solo5`: https://github.com/mira= ge/ocaml-solo5/pull/122

It seems that the Hell= o World example and the qubes-firewall work with this PR which is very good= news for this new year. I'll probably get busy next week to clean up t= he PR and test with KVM. Thanks to Pierre and Christiano for their work.
Otherwise, as usual, the next meeting will be on 18 January (14:00 CET= ).

Best,

--
Romain Calascibetta - http://blog.osau.re/


-= -
Romain Calascibetta - http://din.osau.re/
--00000000000065545905f1d1506d-- From mirageos-devel-bounces@lists.xenproject.org Mon Jan 09 10:42:19 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 Jan 2023 10:42:19 +0000 Received: from list by lists.xenproject.org with outflank-mailman.473483.734120 (Exim 4.92) (envelope-from ) id 1pEpbV-0003gq-KF; Mon, 09 Jan 2023 10:42:09 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 473483.734120; Mon, 09 Jan 2023 10:42:09 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pEpbV-0003gj-HG; Mon, 09 Jan 2023 10:42:09 +0000 Received: by outflank-mailman (input) for mailman id 473483; Mon, 09 Jan 2023 10:21: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 1pEpHu-0001nM-NW for mirageos-devel@lists.xenproject.org; Mon, 09 Jan 2023 10:21:54 +0000 Received: from x25519.net (x25519.net [76.8.60.93]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 6e8a1cf2-9007-11ed-91b6-6bf2151ebd3b; Mon, 09 Jan 2023 11:21:52 +0100 (CET) Received: from x25519.net by x25519.net via tcp with esmtp id <0000000E@x25519.net> for ; Mon, 9 Jan 2023 10:21:51 GMT Received: from x25519.net by x25519.net via tcp with esmtp id <00000005@x25519.net> for ; Mon, 9 Jan 2023 10:21:51 GMT Received: from mail-ej1-f46.google.com by x25519.net via tcp with esmtp id <00000005@x25519.net> for ; Mon, 9 Jan 2023 10:21:51 GMT Received: by mail-ej1-f46.google.com with SMTP id jo4so18824186ejb.7 for ; Mon, 09 Jan 2023 02:21:50 -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: 6e8a1cf2-9007-11ed-91b6-6bf2151ebd3b DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=x25519.net; s=s1; q=dns/txt; bh=jZl6pjKPjX4ygUj6FTqEB4zkJn7nRDbhl8txJr5PVgs=; h=message-id:subject:to:from; b=PM8Ib3L9eTMw0kjJoWko7sFciFPhrGpdvsWYsMrKVDi7 ifiELKA/Igl0q2DJnEtPd168CnUl29HAHYetPL4+wGtgE+FgwHLAJ7q1yq5nHf1KgV0C0csWxnJl k7KHO3IV/LuOBMESJ5rZw8N53AaGhTivgsg71fyHoU7LhgRTPKOxorhzijvlnoqFSxQO1EGV1G9Je azgpf0W2enpHCDx3rO0z2mVH7hqFudFwX9K5u26mBy6kFLdM13tNtzBcekoFL6Rtdyw3EfnDrRL3/ YvpGrmv5gX8VLi574/DOS8KvO2/bXn/xmtwJH7/DPnTfGAWrMeofZRr5oHGtWGvDYshQ==; X-Gm-Message-State: AFqh2kqwikcm2PAKPUDpSO1abPcIsVQKFXso3ch0RUY0DnfHUYo8LjwG Wo9Zz/CJ4kDPjnzdP8LlKUEm2xlkafUB26uar8I= X-Google-Smtp-Source: AMrXdXsQ8/67pkwshlPvdurnowG58i0cP/mh481KV1RD4yUERxrLkrSY4rE+1PMQnQuhFsnAw9ajD5uOHWqGn+ZQHyg= X-Received: by 2002:a17:907:9c04:b0:84d:439c:f646 with SMTP id ld4-20020a1709079c0400b0084d439cf646mr306061ejc.119.1673259709644; Mon, 09 Jan 2023 02:21:49 -0800 (PST) MIME-Version: 1.0 From: Romain Calascibetta Date: Mon, 9 Jan 2023 11:21:37 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: A full SMTP stack with MirageOS To: mirageos-devel Content-Type: multipart/alternative; boundary="0000000000009c472b05f1d2224f" --0000000000009c472b05f1d2224f Content-Type: text/plain; charset="UTF-8" Dear MirageOS user, I am contacting you today from my new email address dinosaure@x25519.net. This address is only managed by unikernels! As a proof of concept (which reminds me of my first implementation of the Git push in OCaml that I published with my code), this stack seems to work "pretty much". Which means that the time for experimentation starts now. The reason I'm sending you this email is: 1) notify you of the 3 articles we wrote explaining step by step how to deploy **your** email service 2) extend the experiment to a larger group, the MirageOS group In doing so, you can get an email address of x25519.net if you wish. You just have to send me an email (preferably to romain.calascibetta @ gmail.com so that it doesn't get lost in the Cstruct.t of `mirage-tcpip`) with the local part you want and the desired password hashed in BLAKE2B (you can use `digestif` for that). Be careful though, this service is clearly not operational (Return-Path is missing). I **very** strongly advise against using these email addresses for important communications. However, if you want to have a junk email address, this may be a good opportunity! This will allow us to see if our infrastructure is holding up and if it is resilient. Regarding privacy (since we are talking about emails), no emails are stored, an analysis is done just to recognize incoming emails as spam or not. Of course, for the Core team members, I can give them access to the email machine if they give me their public SSH keys with the relative information to create an email address. In technique, I advise you to read these 3 articles explaining step by step the deployment: https://blog.osau.re/articles/smtp_1.html https://blog.osau.re/articles/smtp_2.html https://blog.osau.re/articles/smtp_3.html Finally, I remind you that this is only a test (a little more grand nature than me talking to myself). This service is not intended to be permanent - again, do not use it for important communications. So, if you report bugs, emails that should have arrived or strange behaviour, it would be a great help to improve the stack and to really use it and replace our good old email servers with unikernels! Best, --0000000000009c472b05f1d2224f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear MirageOS user,

I am contacting you toda= y from my new email address dinosau= re@x25519.net. This address is only managed by unikernels! As a proof of concept=20 (which reminds me of my first implementation of the Git push in OCaml=20 that I published with my code), this stack seems to work "pretty much&= quot;.

Which means that the time for experimentation starts now. The= reason I'm sending you this email is:
1) notify you of the 3 articl= es we wrote explaining step by step how to deploy **your** email service2) extend the experiment to a larger group, the MirageOS group

In d= oing so, you can get an email address of x255= 19.net if you wish. You just have to send me an email (preferably to ro= main.calascibetta @ gmail.com so that it doesn't get lost in the Cstruct.t of `mirage-tcpip`) with= =20 the local part you want and the desired password hashed in BLAKE2B (you=20 can use `digestif` for that).

Be careful though, this service is=20 clearly not operational (Return-Path is missing). I **very** strongly=20 advise against using these email addresses for important communications. However, if you want to have a junk email address, this may be a good=20 opportunity! This will allow us to see if our infrastructure is holding=20 up and if it is resilient.

Regarding privacy (since we are=20 talking about emails), no emails are stored, an analysis is done just to recognize incoming emails as spam or not. Of course, for the Core team=20 members, I can give them access to the email machine if they give me=20 their public SSH keys with the relative information to create an email=20 address.

In technique, I advise you to read these 3 articles ex= plaining step by step the deployment:
https://blog.osau.re/articles/smtp_1.html
Finally, I remind you that this is only a test (a little more grand nature than=20 me talking to myself). This service is not intended to be permanent -=20 again, do not use it for important communications. So, if you report=20 bugs, emails that should have arrived or strange behaviour, it would be a great help to improve the stack and to really use it and replace our=20 good old email servers with unikernels!

Best,
--0000000000009c472b05f1d2224f-- From mirageos-devel-bounces@lists.xenproject.org Mon Jan 09 16:37:18 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 09 Jan 2023 16:37:18 +0000 Received: from list by lists.xenproject.org with outflank-mailman.473877.734712 (Exim 4.92) (envelope-from ) id 1pEv93-0001Ss-2y; Mon, 09 Jan 2023 16:37:09 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 473877.734712; Mon, 09 Jan 2023 16:37:09 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pEv92-0001Sl-W8; Mon, 09 Jan 2023 16:37:08 +0000 Received: by outflank-mailman (input) for mailman id 473877; Mon, 09 Jan 2023 16:37:08 +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 1pEv91-0001Sf-JR for mirageos-devel@lists.xenproject.org; Mon, 09 Jan 2023 16:37:08 +0000 Received: from mta3.cl.cam.ac.uk (mta3.cl.cam.ac.uk [2001:630:212:200::25:3]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id d9ca61bd-903b-11ed-91b6-6bf2151ebd3b; Mon, 09 Jan 2023 17:37:06 +0100 (CET) Received: from c-73-222-115-228.hsd1.ca.comcast.net ([73.222.115.228]:64322 helo=smtpclient.apple) (dnseec=no) by mta3.cl.cam.ac.uk:587 [128.232.25.23] with esmtpsa auth as avsm2+recoil (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) id 1pEv8y-001hOr-NC (envelope-from ); Mon, 09 Jan 2023 16:37:04 +0000 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: d9ca61bd-903b-11ed-91b6-6bf2151ebd3b 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=GZh1uBxdaXQN+hS7WqSvZrzZYdIfh7WysnQqZEIhvQM=; t=1673282226; x=1674146226; b=ZfhvqnHFC6cCIusZhPOM1XBf9TUFeUBhdWGEAoZcd6jDXRYy0/pU8TxMIoioPa6qQQkWMjh/AWe Wan4jkmu9GdQJ1GH5b19DLHJrQAfyZaaGcIrK+Nqzy9PYJVqunen65HPIU53N/oUi+z4c+Qbi5ZwP 1/lCtjiVcLZVe3GZkAJkMqyn4Phg5hMx9esP6UPImuiSTJLXLFkmwf6repT7nGm1ZUDX0w8ZsvSML P2FPGK3qTzG2XwJV+be+zEJnHYbcHIXbsRucJR6ukyeJiUkp7ib6NknHxeS5CiOsfFzCWnBwT6jER Q/q6pCd3KEpCUUI+yl/Wljab5VsXoDhPZUoQ==; From: Anil Madhavapeddy Message-Id: <11F67148-B08E-4684-B2D4-AD5BAB2C3A1B@cl.cam.ac.uk> Content-Type: multipart/alternative; boundary="Apple-Mail=_B4C2BC49-2B73-44B7-A976-6A6AA516C16F" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.200.110.1.12\)) Subject: Re: A full SMTP stack with MirageOS Date: Mon, 9 Jan 2023 08:36:48 -0800 In-Reply-To: Cc: mirageos-devel To: Romain Calascibetta References: X-Mailer: Apple Mail (2.3731.200.110.1.12) Received-SPF: neutral client-ip=73.222.115.228; envelope-from=avsm2@cl.cam.ac.uk; helo=smtpclient.apple --Apple-Mail=_B4C2BC49-2B73-44B7-A976-6A6AA516C16F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii This is a huge milestone, congratulations! I look forward to deploying = my own on this in 2023 :-) Is this where it all started? = https://watch.ocaml.org/videos/watch/98a7972d-9323-46b3-81cc-dd86a4cc1ab3 best, Anil > On 9 Jan 2023, at 02:21, Romain Calascibetta = wrote: >=20 > Dear MirageOS user, >=20 > I am contacting you today from my new email address = dinosaure@x25519.net . This address is only = managed by unikernels! As a proof of concept (which reminds me of my = first implementation of the Git push in OCaml that I published with my = code), this stack seems to work "pretty much". >=20 > Which means that the time for experimentation starts now. The reason = I'm sending you this email is: > 1) notify you of the 3 articles we wrote explaining step by step how = to deploy **your** email service > 2) extend the experiment to a larger group, the MirageOS group >=20 > In doing so, you can get an email address of x25519.net = if you wish. You just have to send me an email = (preferably to romain.calascibetta @ gmail.com so = that it doesn't get lost in the Cstruct.t of `mirage-tcpip`) with the = local part you want and the desired password hashed in BLAKE2B (you can = use `digestif` for that). >=20 > Be careful though, this service is clearly not operational = (Return-Path is missing). I **very** strongly advise against using these = email addresses for important communications. However, if you want to = have a junk email address, this may be a good opportunity! This will = allow us to see if our infrastructure is holding up and if it is = resilient. >=20 > Regarding privacy (since we are talking about emails), no emails are = stored, an analysis is done just to recognize incoming emails as spam or = not. Of course, for the Core team members, I can give them access to the = email machine if they give me their public SSH keys with the relative = information to create an email address. >=20 > In technique, I advise you to read these 3 articles explaining step by = step the deployment: > https://blog.osau.re/articles/smtp_1.html > https://blog.osau.re/articles/smtp_2.html > https://blog.osau.re/articles/smtp_3.html >=20 > Finally, I remind you that this is only a test (a little more grand = nature than me talking to myself). This service is not intended to be = permanent - again, do not use it for important communications. So, if = you report bugs, emails that should have arrived or strange behaviour, = it would be a great help to improve the stack and to really use it and = replace our good old email servers with unikernels! >=20 > Best, --Apple-Mail=_B4C2BC49-2B73-44B7-A976-6A6AA516C16F Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii This is a huge milestone, congratulations! I look forward to deploying my own on this in 2023 :-)


best,
Anil

On 9 Jan 2023, at 02:21, Romain Calascibetta <dinosaure@x25519.net> wrote:

Dear MirageOS user,

I am contacting you today from my new email address dinosaure@x25519.net. This address is only managed by unikernels! As a proof of concept (which reminds me of my first implementation of the Git push in OCaml that I published with my code), this stack seems to work "pretty much".

Which means that the time for experimentation starts now. The reason I'm sending you this email is:
1) notify you of the 3 articles we wrote explaining step by step how to deploy **your** email service
2) extend the experiment to a larger group, the MirageOS group

In doing so, you can get an email address of x25519.net if you wish. You just have to send me an email (preferably to romain.calascibetta @ gmail.com so that it doesn't get lost in the Cstruct.t of `mirage-tcpip`) with the local part you want and the desired password hashed in BLAKE2B (you can use `digestif` for that).

Be careful though, this service is clearly not operational (Return-Path is missing). I **very** strongly advise against using these email addresses for important communications. However, if you want to have a junk email address, this may be a good opportunity! This will allow us to see if our infrastructure is holding up and if it is resilient.

Regarding privacy (since we are talking about emails), no emails are stored, an analysis is done just to recognize incoming emails as spam or not. Of course, for the Core team members, I can give them access to the email machine if they give me their public SSH keys with the relative information to create an email address.

In technique, I advise you to read these 3 articles explaining step by step the deployment:

Finally, I remind you that this is only a test (a little more grand nature than me talking to myself). This service is not intended to be permanent - again, do not use it for important communications. So, if you report bugs, emails that should have arrived or strange behaviour, it would be a great help to improve the stack and to really use it and replace our good old email servers with unikernels!

Best,

--Apple-Mail=_B4C2BC49-2B73-44B7-A976-6A6AA516C16F-- From mirageos-devel-bounces@lists.xenproject.org Wed Jan 18 10:31:35 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 18 Jan 2023 10:31:35 +0000 Received: from list by lists.xenproject.org with outflank-mailman.480464.744898 (Exim 4.92) (envelope-from ) id 1pI5iz-0002Gu-Kc; Wed, 18 Jan 2023 10:31:21 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 480464.744898; Wed, 18 Jan 2023 10:31:21 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pI5iz-0002Gn-I3; Wed, 18 Jan 2023 10:31:21 +0000 Received: by outflank-mailman (input) for mailman id 480464; Wed, 18 Jan 2023 10:31:20 +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 1pI5iy-0002Gh-NK for mirageos-devel@lists.xenproject.org; Wed, 18 Jan 2023 10:31:20 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 3b487e30-971b-11ed-91b6-6bf2151ebd3b; Wed, 18 Jan 2023 11:31:15 +0100 (CET) Received: from [192.168.42.80] (dslb-094-223-114-075.094.223.pools.vodafone-ip.de [94.223.114.75]) (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 3FE6C143F2 for ; Wed, 18 Jan 2023 11:31:12 +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: 3b487e30-971b-11ed-91b6-6bf2151ebd3b Message-ID: <2b81e4d6-0ac2-e04f-3186-94fa0c6bb3b0@mehnert.org> Date: Wed, 18 Jan 2023 11:31:09 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 To: mirageos-devel Content-Language: en-US From: Hannes Mehnert Subject: MirageOS biweekly call today 14:00 CET Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, in 2.5 hours we'll have our next MirageOS call at https://whereby.com/ocamllabs The agenda and notes will appear on https://pad.data.coop/emXipN9qQWWTJgfOOI2m3Q See you soon, Hannes From mirageos-devel-bounces@lists.xenproject.org Thu Jan 19 11:41:52 2023 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 19 Jan 2023 11:41:52 +0000 Received: from list by lists.xenproject.org with outflank-mailman.480966.745616 (Exim 4.92) (envelope-from ) id 1pITIX-0003Y9-Tm; Thu, 19 Jan 2023 11:41:37 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 480966.745616; Thu, 19 Jan 2023 11:41:37 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pITIX-0003Y2-Qy; Thu, 19 Jan 2023 11:41:37 +0000 Received: by outflank-mailman (input) for mailman id 480966; Thu, 19 Jan 2023 11:41:36 +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 1pITIW-0003Xv-KD for mirageos-devel@lists.xenproject.org; Thu, 19 Jan 2023 11:41:36 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3554d0b3-97ee-11ed-b8d1-410ff93cb8f0; Thu, 19 Jan 2023 12:41:28 +0100 (CET) Received: from [192.168.42.80] (dslb-178-008-096-066.178.008.pools.vodafone-ip.de [178.8.96.66]) (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 0EEBA6EC7 for ; Thu, 19 Jan 2023 12:41:29 +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: 3554d0b3-97ee-11ed-b8d1-410ff93cb8f0 Message-ID: Date: Thu, 19 Jan 2023 12:41:28 +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 call today 14:00 CET Content-Language: en-US From: Hannes Mehnert To: mirageos-devel References: <2b81e4d6-0ac2-e04f-3186-94fa0c6bb3b0@mehnert.org> In-Reply-To: <2b81e4d6-0ac2-e04f-3186-94fa0c6bb3b0@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hi, some notes from yesterday's meeting -- next one in 2 weeks (Feb 1st, 14:00 CET, https://whereby.com/ocamllabs). Take care, Hannes # Mirage 2023-01-18 participants: reynir, Pierre, Thomas Leonard, Taka, Christiano Haesbaert, Hannes, dinosaure ## OCaml-solo5 and OCaml 5 - https://github.com/mirage/ocaml-solo5/pull/124 (earlier https://github.com/mirage/ocaml-solo5/pull/122) - Thread Local Storage (TLS) (related https://github.com/Solo5/solo5/pull/420 https://github.com/Solo5/solo5/pull/436) - idea: have a specific ELF section for TLS, protected left and right by zones without any permissions - solo5 and TLS for clang/ld.lld: adjust flags/linker script - copy tdata out for each domain - maybe move malloc (back) to solo5? ~> first get ocaml-solo5 and mirage and solo5 and ocaml5 to work nicely together on a single core - solver issue about base domain in opam-monorepo wrt. ocaml 5 & mirage https://github.com/tarides/opam-monorepo/issues/340 - upstream issue/PR for max_number_of_domains (which may be removed from the OCaml runtime at some point), we'd appreciate a configuration flag ## Mirage website - difficulties in making adjustments on the website and conducting local builds - among others https://github.com/mirage/mirage-www/issues/792 ## tls-eio plans - https://github.com/mirleft/ocaml-tls/issues/464 ## Mirage retreat May 1st - 7th in Marrakesh (see http://retreat.mirage.io) ## Tar: remove Tar.Make etc. https://github.com/mirage/ocaml-tar/issues/107 ## qubes-mirage-firewall bandwidth stats - https://data.robur.coop/qubes-mirage-firewall-stats.png ## if you want an email address @x25519.net, ask dinosaure - it's a SMTP stack all written in OCaml + MirageOS On 18/01/2023 11:31, Hannes Mehnert wrote: > Hello, > > in 2.5 hours we'll have our next MirageOS call at > https://whereby.com/ocamllabs > > The agenda and notes will appear on > https://pad.data.coop/emXipN9qQWWTJgfOOI2m3Q > > > See you soon, > > Hannes >