From mirageos-devel-bounces@lists.xenproject.org Mon Nov 07 13:15:43 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 07 Nov 2022 13:15:43 +0000 Received: from list by lists.xenproject.org with outflank-mailman.439395.693439 (Exim 4.92) (envelope-from ) id 1os1yM-0000vI-8l; Mon, 07 Nov 2022 13:15:30 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 439395.693439; Mon, 07 Nov 2022 13:15: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 1os1yM-0000vB-5v; Mon, 07 Nov 2022 13:15:30 +0000 Received: by outflank-mailman (input) for mailman id 439395; Mon, 07 Nov 2022 13:15: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 1os1yL-0000v5-Dr for mirageos-devel@lists.xenproject.org; Mon, 07 Nov 2022 13:15:29 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 3e616bb0-5e9e-11ed-91b5-6bf2151ebd3b; Mon, 07 Nov 2022 14:15:28 +0100 (CET) Received: from [192.168.42.80] (dslb-178-008-099-001.178.008.pools.vodafone-ip.de [178.8.99.1]) (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 6D013200C6 for ; Mon, 7 Nov 2022 14:15:25 +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: 3e616bb0-5e9e-11ed-91b5-6bf2151ebd3b Message-ID: Date: Mon, 7 Nov 2022 14:15:24 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: Retreat October 3rd - 9th in Mirleft Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <498086cb-6a20-f531-ae89-3014b002d411@mehnert.org> From: Hannes Mehnert In-Reply-To: <498086cb-6a20-f531-ae89-3014b002d411@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hey, we have some blog posts about the retreat happened -- read and share them if you like: * Raphaël https://raphael-proust.gitlab.io/code/mirage-retreat-2022-10.html * Jules, Sayo, Enguerrand, Sonja, Jan, Lucas https://tarides.com/blog/2022-10-28-the-mirageos-retreat-a-journey-of-food-cats-and-unikernels * Pierre http://blog.enssat.fr/2022/10/pierre-alain-enssat-teacher-at-11th.html * Hannes (with the torch on not-yet-covered projects such as FSCQ and OCaml 5 -- and a picture from the stormy sea) https://mirage.io/blog/2022-11-07.retreat Happy reading, Hannes From mirageos-devel-bounces@lists.xenproject.org Mon Nov 07 20:12:40 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 07 Nov 2022 20:12:40 +0000 Received: from list by lists.xenproject.org with outflank-mailman.439617.693665 (Exim 4.92) (envelope-from ) id 1os8Tt-0003jc-Kz; Mon, 07 Nov 2022 20:12:29 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 439617.693665; Mon, 07 Nov 2022 20:12:29 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1os8Tt-0003jV-Go; Mon, 07 Nov 2022 20:12:29 +0000 Received: by outflank-mailman (input) for mailman id 439617; Mon, 07 Nov 2022 20:12:28 +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 1os8Tr-0003jP-9x for mirageos-devel@lists.xenproject.org; Mon, 07 Nov 2022 20:12:28 +0000 Received: from GBR01-LO2-obe.outbound.protection.outlook.com (mail-lo2gbr01olkn0151.outbound.protection.outlook.com [104.47.21.151]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 7e4ffd54-5ed8-11ed-91b5-6bf2151ebd3b; Mon, 07 Nov 2022 21:12:24 +0100 (CET) Received: from CWXP265MB1368.GBRP265.PROD.OUTLOOK.COM (2603:10a6:401:3b::15) by LO0P265MB5543.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:240::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5791.27; Mon, 7 Nov 2022 20:12:23 +0000 Received: from CWXP265MB1368.GBRP265.PROD.OUTLOOK.COM ([fe80::2d53:ef05:7bc:3642]) by CWXP265MB1368.GBRP265.PROD.OUTLOOK.COM ([fe80::2d53:ef05:7bc:3642%2]) with mapi id 15.20.5791.026; Mon, 7 Nov 2022 20:12:23 +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: 7e4ffd54-5ed8-11ed-91b5-6bf2151ebd3b ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IbaDCm6BNdKHBG7M03BQbTOrr4W0Oe8WpnEuPnvDm8VtOuTSw23fHnlC6MFKhBaHQ5nJKR/8Zu1xcGDWVtAXTrT/6ziCNN4rh7mGEeIZFOwA0Wp3RjdO/oZZuA56x64Cm95WI7MYu/rPOwFtwNO3+iPXU3viaEdb8GmivnCozEcpE/tf7Ty4Fm7fz0a4rrree2J/cK19LtF0j/XkPbpJ8fGz/TA9h5SZheHjNZOwUPKPm+9iFDzqp/H9d4JEAIVKQL8WHyqtmSrr+bg8vgGNo7LaaY0+7omOinEmd/f7lnimorqzxHVBelyhfq27fq10wf8rKHTFoLvzndYrFs2tMg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=EBI87u6az6xsomLL74LRSAUJ9VX8hdwW0n4kESiaz7s=; b=XxTwRCxndTjHh6I0lGBx0bxvkEKneTO42zuLB+BQyUlL80Z5G5BHAyBkxIJwRqpxSx6SihmLXp+l6b3MAgLMj2Apcn4bnoia5aKvXW9ph6QSbY6CVx9+KXtU/ijqTKTbfrhWSxd8yRjfLi2Zu8mfAtmevFdNSCbNdIAgEObdeKJ06wWZmYWBLXAHw0HDe4FBh2pbAGZDohvWrztOlDluASoHKSPIBMicQcsTDqdmKNjUMAwDfsDnO/cN7QlxYVgKhvNwRRk5dMJjK0aXgL0PP24Q8Y6EQpt8YaI7Q3RY5FPBc1ELgY3XERIpSWBPjPgyb5IU/j14NURl2oSwqGS7aw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=EBI87u6az6xsomLL74LRSAUJ9VX8hdwW0n4kESiaz7s=; b=tycv+nUeTQDHQDCutRCfXGhSyNdy6LFZU/gYPIaK0pUzMm2/7Tm+oq/KDFBBIbhoe3z+bzHZXPUOWJgQmfQ/ZDmxr5X2UdoTczTZcUGb1hpoTNzLsnWE3DQNJbjrlIsMIwTOwaLhPDsR3uKLrOkTAUffXc9q6+cHHONCu/mwG6tJT16gLAJF0q/D5yse+WM3H1s6BUqmW4DIOo3YhAibo6kjdNI1ks3xtUpx22VoDmu1Kt4Vk59OMSoZOgm99kT9KtPRfAmwS7OIfWnG2wUraGcoK1vwoKT1t3uPYWP9KZg0c1Bqddw0TVjh13th01WueXf9SQieHh173cgrHKeOrg== From: Kate D To: "mirageos-devel@lists.xenproject.org" Subject: Fast rolling-updates on Google Compute Engine (GCE) instances? Thread-Topic: Fast rolling-updates on Google Compute Engine (GCE) instances? Thread-Index: AQHY8uDa2dGo+dJ9dEGxgIFtXy5Ynw== Date: Mon, 7 Nov 2022 20:12:23 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-tmn: [ES0+q3C/PPIHtTHX++rWC+57EJFNQvv3HZBbD+EmX/YxyNtBtIn9iK0GxOdw12WT/vxo8cWk8M4=] x-ms-publictraffictype: Email x-ms-traffictypediagnostic: CWXP265MB1368:EE_|LO0P265MB5543:EE_ x-ms-office365-filtering-correlation-id: 0c29bfb7-ce21-4e9e-7b7a-08dac0fc61de x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: zHqG7JvEv2anhLh43djKcUgqSje2y9DkO0wEJSElgF8oFPlHlbwUwOap9CV1eqt4WAdksmwro1gaUGoMhpQno/QYij5cY2fcwjH2+tUfPRmcOMJDVM34y/adTUBfJNzCRj/KSMqYXeDfYkifkujeucHOYmIjRYz/7WLyTLRhyvlqNwbNNHM7DF9ELCdQRGQIylcW/x1UqUk5comArhzEQLlNvruAILgGEZmKATLPeSWTvI9aI50v/zesW54x4amAWbsLrGgiT8jW64M+nv2QW4NCnmKLKnSmToShmC1I5TB5wBd0yYd1Fj/7X22tq4MDKP97fzlPEaEOWRTLht3df5BScvgDPd1pfJMoqt2N3oWWaQfSqmhqQeKahAxBtqovfyde1JD2/T23gbNYVMAIq/CS4QxMpvU4fIUImPCSz0pq8qDrnKuouDJ8exZcxeqkn8KFWovB1ufm+ns+mFvMZvGuEhNunPTgTURXHA5Vj+dOqmH3DwSRg1h5kiTCYWCT5ovJvRa2bRQKWHXB1vaFPhmdF5SVXI6oawjJz6ZZiI6GKjh+qvmORdg6al9gQG9cFuJ5mXO0PSpqZC53sgKetJEjShJXMZyPdOHG49VCgqSV/SLGEUcJsLeRVcJKPJzmgumBV6RUL/SLO/589BzP5Wjx2bof6eVzVPAEwreRJSN6Ax3wYChA2+dShLjZoEPj x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?M2NPbDlDUUxxSXhVTkYwaUFhVXhzcC9wK3ZLd0JhRktobmVPeGFnVTlzVmVQ?= =?utf-8?B?UlFwOUJTankxVVdVamt4d3BDZGJNYWlSTkw3TU5DUzVjb2h6NUQ1ZUpEZGlS?= =?utf-8?B?TXE4UjVDRStLaTNtR3FwQzA5UktVZ3FtRHNZc1JIYkh5ZXBKQ2ZkUklnQmVn?= =?utf-8?B?dnF3WmhUem9rRWN1dTJ0NjRnNnFNaUwzRFN0ZWZBeDQ2RlZJT0l5bERBZzRW?= =?utf-8?B?VEV4QVlQczJzamovT2R6RkxsOC9GMlVhcDhpeHhlcUNUUUFLZ1A4cmNnQjNE?= =?utf-8?B?UEhUcUN3T1RNdm14ZzQ5cnR4cGtLNkRhWDJKKzRxQVVtcnU0THY2MXo1SVFt?= =?utf-8?B?ckUwSDFLVzM4Q1Z4d096RnpTN2xkRENSZ2YwTFhJdzRLMmRwbUVTaWhRQUVG?= =?utf-8?B?WGFWSS9RNTJVKzJGOExrOTBUdStSckNGRDltbnNUSS9zdVJtMGxtb2pVMGty?= =?utf-8?B?UDZBbHcvL2NLQ3c1bmpaUk02NlRKWm1tdjUyMjF3QWxyNjh0aW1ock5SWjE3?= =?utf-8?B?L0M1LzQrc2xaOFFHcTA0bElwTmdIeUp4ZCttZjQvY2gwR3JGZUxaR0xYNXRQ?= =?utf-8?B?QXd0bjJBQjBOWjRYdm1hVU44UXFqSkJ4YktDY2xTbGxwaHQvUUc1N04vUDB0?= =?utf-8?B?YjdyZUVCYVE2Z1RSVStwME9Lcmk5aHVVOUxETXBvcmEzTFZoNFUrZDhjUEZz?= =?utf-8?B?UGxlVlpmT2dOYWp2WllxYUNEcXA4VzIybTZVM041ZHdXM2VNL3psN0dXa25a?= =?utf-8?B?TWEyc3dvR2l3WTRZVElVRllyQ0tFNVpTTXVzZFJKM0xWNlkzTXlZVVZiNEFM?= =?utf-8?B?RGpIM2srVXcrQllVSmV3OFh1NEY1cHNsUmFlYmhITW5pN09SZXJFV3BoaE1r?= =?utf-8?B?NWJHdHgzVmtHaVhNNkJyM2dueDkzZWNQckVuZjJTU1N4cHNMTEtxZTRHbjBn?= =?utf-8?B?TEdYZVpXMWhDbkFxeGtJVHF0bGRQL2pHNGRLd3ZCM29CbXFReGhnbUN4MEZC?= =?utf-8?B?Y3ovRXJQc1dlR2VLZWFpVnZiNFZlTTE5VG0vZHVQK3pMQUZ6a0hCL0lsbkJO?= =?utf-8?B?T1VsWWNmMDMraUZWdGlXUTF6dnhvVEs4REkyK252YzlhbWRoYTB0R1hFQ0JN?= =?utf-8?B?QkE0eEJ1M25FUWJXcWxGVUlZTUM2OEhuejhzTHZ2WWt4bkc2MUJqNWJ2aVpE?= =?utf-8?B?U0xncmJXSzFQR0xBSm1KYWN3V2FhOUtlS2dKVnhVMGUyNU5wcWVxV1BoYTVL?= =?utf-8?B?bkxiSFBIV2NTdnZpN2lpaGFkWFp2UjEySGZjbitUTWhBdTZVN1hJSS85Y2VG?= =?utf-8?B?V2VLVXNwWXZ5VVdZV1ltcGFqZEtwS2JEd0lUY3BKREF1a2NnTFplbk5pdHE4?= =?utf-8?B?eU40RlBqb2crbmpxazlIMFYxSE5WUmo2S1p5VXlyZ082a2ZGdUtianoxT0dL?= =?utf-8?B?Y1d0UGtQekY4WTdOaXhudm1XOTU2SWU4bkd2YTl1SmZzWi9TbGVlQmN4RXBW?= =?utf-8?B?cUx3KzZWRUhhTUZiUm5rVUp3ejVoS0N1Zm9KYWxTRUFjVXhUVmVPUkxuZUVq?= =?utf-8?B?L1NHOFRkMXJwMlpNVUtwb2pzUjlWS2VWeEE3M2ZtNU4ycWNHWGliQUNQeWJs?= =?utf-8?B?UHp2aUxSamd6QXlQNWo1ZlA1UURPNHlyZk0zd21zRjJ6YWhCQXNmYjc2SGc0?= =?utf-8?B?ZWpTTENBNHVHbU5ZbmJ5WTFnYjlIZlQzRmltOUIzVU1CMHRZSDBnQ2VhMXBz?= =?utf-8?B?bHJMb1JqNmRLZTRsbVVIZVV2bXpEMEEzNG9iWjJPbkxyNlNoK2poUkthZ0N4?= =?utf-8?B?OFBTbDVlYUVMd3RjdXh4dz09?= Content-Type: multipart/alternative; boundary="_000_CWXP265MB13682D68BA731F0169B2FC5CBC3C9CWXP265MB1368GBRP_" MIME-Version: 1.0 X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CWXP265MB1368.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-Network-Message-Id: 0c29bfb7-ce21-4e9e-7b7a-08dac0fc61de X-MS-Exchange-CrossTenant-originalarrivaltime: 07 Nov 2022 20:12:23.2139 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB5543 --_000_CWXP265MB13682D68BA731F0169B2FC5CBC3C9CWXP265MB1368GBRP_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SGksDQoNCkkgbWFkZSBhIGxpdHRsZSB0b3kgbWlyYWdlIHByb2plY3Qgb3ZlciB0aGUgd2Vla2Vu ZCBtZWFudCB0byBiZSBkZXBsb3llZCBpbiBHQ0UuDQpJIGhhdmUgbm93IGEgc2VtaS1hdXRvbWF0 ZWQgd2F5IHRvIGJ1aWxkIHRoZSBpbWFnZSBhbmQgZGVwbG95IGl0IGJ1dCB0aGUgZGVwbG95bWVu dCBpcyBmYWlybHkgc2xvdyBhbmQgcmVxdWlyZXMgdGhlIHdlYnNpdGUgdG8gZ28gZG93biBmb3Ig YSBmZXcgbWludXRlcyBldmVyeSB0aW1lIHlvdSBuZWVkIHRvIHVwZGF0ZSB0aGUgaW1hZ2UgKHNv bWV0aGluZyByYXRoZXIgcHJldmFsZW50IHdpdGggc29tZSBNaXJhZ2UgcHJvamVjdHMpDQoNCmh0 dHBzOi8vZ2l0aHViLmNvbS9raXQtdHkta2F0ZS9leG4uc3QvYmxvYi8zOTJkYjdkZmY4MDkwY2Rh NWI2NmZlYWRhYTg5YzI1NGQ3YWViM2NhL3VwZGF0ZS5zaCNMMzUNCg0KSSBmb3VuZCBhIGJsb2cg cG9zdCBieSBTZWFuIEdyb3ZlIChodHRwczovL3d3dy5yaXNlb3MuY29tL2Jsb2cvMjAxNi8wOS8x My9jb250aW51b3VzbHktZGVwbG95aW5nLW1pcmFnZS11bmlrZXJuZWxzLXRvLWdvb2dsZS1jb21w dXRlLWVuZ2luZS11c2luZy1jaXJjbGUtY2kuaHRtbCkgdGFsa2luZyBhYm91dCBhIGdjbG91ZCBh bHBoYSBjb21wdXRlIHJvbGxpbmctdXBkYXRlcyDigItjb21tYW5kIHdoaWNoIHN1cHBvc2VkbHkg aXMgYSB6ZXJvLWRvd250aW1lIHdheSBvZiBkb2luZyB0aGF0LCBidXQgdGhlIGJsb2ctcG9zdCBp cyB1bmZpbmlzaGVkIGFuZCB0aGUgY29tbWFuZCBpdHNlbGYgZG9lc24ndCBzZWVtIHRvIHdvcmsg YW55bW9yZS4NCk90aGVyIG9ubGluZSByZXNvdXJjZXMgZG8gdGFsayBhYm91dCB0aGlzIGNvbW1h bmQgYnV0IHRoZSB3YXkgdG8gbWFrZSBpdCB3b3JrIGlzIG5ldmVyIGNsZWFyLg0KDQpEb2VzIGFu eW9uZSBoYXZlIGFueSBleHBlcmllbmNlIHdpdGggcm9sbGluZyB1cGRhdGVzIGluIEdDRSBieSBh bnkgY2hhbmNlPw0KDQpUaGFua3MsDQpLYXRlDQpDb250aW51b3VzbHkgRGVwbG95aW5nIE1pcmFn ZSBVbmlrZXJuZWxzIHRvIEdvb2dsZSBDb21wdXRlIEVuZ2luZSB1c2luZyBDaXJjbGVDSSDCtyBT ZWFuIEdyb3ZlPGh0dHBzOi8vd3d3LnJpc2Vvcy5jb20vYmxvZy8yMDE2LzA5LzEzL2NvbnRpbnVv dXNseS1kZXBsb3lpbmctbWlyYWdlLXVuaWtlcm5lbHMtdG8tZ29vZ2xlLWNvbXB1dGUtZW5naW5l LXVzaW5nLWNpcmNsZS1jaS5odG1sPg0KVHJ5aW5nIHRvIGJsb3cgdGhlIGJ1enp3b3JkIG1ldGVy IHdpdGggdGhhdCB0aXRsZS4uLg0Kd3d3LnJpc2Vvcy5jb20NCu6ckQ0KDQpbaHR0cHM6Ly9vcGVu Z3JhcGguZ2l0aHViYXNzZXRzLmNvbS83MTAxNmIyNTBkYzJmYTQ1ZWVhZTc2NWQwZGYyYjlhZTY4 ZjgxNGFhZmNmZGZhYjJjNDU1YzQwOTk5OTVhN2MwL2tpdC10eS1rYXRlL2V4bi5zdF08aHR0cHM6 Ly9naXRodWIuY29tL2tpdC10eS1rYXRlL2V4bi5zdC9ibG9iLzM5MmRiN2RmZjgwOTBjZGE1YjY2 ZmVhZGFhODljMjU0ZDdhZWIzY2EvdXBkYXRlLnNoI0wzNT4NCmV4bi5zdC91cGRhdGUuc2ggYXQg MzkyZGI3ZGZmODA5MGNkYTViNjZmZWFkYWE4OWMyNTRkN2FlYjNjYSDCtyBraXQtdHkta2F0ZS9l eG4uc3Q8aHR0cHM6Ly9naXRodWIuY29tL2tpdC10eS1rYXRlL2V4bi5zdC9ibG9iLzM5MmRiN2Rm ZjgwOTBjZGE1YjY2ZmVhZGFhODljMjU0ZDdhZWIzY2EvdXBkYXRlLnNoI0wzNT4NCkNvbnRyaWJ1 dGUgdG8ga2l0LXR5LWthdGUvZXhuLnN0IGRldmVsb3BtZW50IGJ5IGNyZWF0aW5nIGFuIGFjY291 bnQgb24gR2l0SHViLg0KZ2l0aHViLmNvbQ0K7pyRDQrunJENCu6ckQ0K7pyRDQoNCg== --_000_CWXP265MB13682D68BA731F0169B2FC5CBC3C9CWXP265MB1368GBRP_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyIgc3R5bGU9 ImRpc3BsYXk6bm9uZTsiPiBQIHttYXJnaW4tdG9wOjA7bWFyZ2luLWJvdHRvbTowO30gPC9zdHls ZT4NCjwvaGVhZD4NCjxib2R5IGRpcj0ibHRyIj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBD YWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNv bG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQtY29sb3I6IHJnYigyNTUsIDI1NSwgMjU1KTsi IGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+DQpIaSw8L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFt aWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEy cHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQtY29sb3I6IHJnYigyNTUsIDI1NSwg MjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgc3R5bGU9 ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250 LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQtY29sb3I6IHJnYigy NTUsIDI1NSwgMjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+DQpJIG1hZGUgYSBsaXR0bGUg dG95IG1pcmFnZSBwcm9qZWN0IG92ZXIgdGhlIHdlZWtlbmQgbWVhbnQgdG8gYmUgZGVwbG95ZWQg aW4gR0NFLjwvZGl2Pg0KPGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IENhbGlicmksIEFyaWFsLCBI ZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAw KTsgYmFja2dyb3VuZC1jb2xvcjogcmdiKDI1NSwgMjU1LCAyNTUpOyIgY2xhc3M9ImVsZW1lbnRU b1Byb29mIENvbnRlbnRQYXN0ZWQ1Ij4NCkkgaGF2ZSBub3cgYSBzZW1pLWF1dG9tYXRlZCB3YXkg dG8gYnVpbGQgdGhlIGltYWdlIGFuZCBkZXBsb3kgaXQgYnV0IHRoZSBkZXBsb3ltZW50IGlzIGZh aXJseSBzbG93IGFuZCByZXF1aXJlcyB0aGUgd2Vic2l0ZSB0byBnbyBkb3duIGZvciBhIGZldyBt aW51dGVzIGV2ZXJ5IHRpbWUgeW91IG5lZWQgdG8gdXBkYXRlIHRoZSBpbWFnZSAoc29tZXRoaW5n IHJhdGhlciBwcmV2YWxlbnQgd2l0aCBzb21lIE1pcmFnZSBwcm9qZWN0cyk8YnI+DQo8L2Rpdj4N CjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5z LXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQt Y29sb3I6IHJnYigyNTUsIDI1NSwgMjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiI+DQo8YnI+ DQo8L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0 aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJh Y2tncm91bmQtY29sb3I6IHJnYigyNTUsIDI1NSwgMjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9v ZiBDb250ZW50UGFzdGVkMCI+DQo8YSBocmVmPSJodHRwczovL2dpdGh1Yi5jb20va2l0LXR5LWth dGUvZXhuLnN0L2Jsb2IvMzkyZGI3ZGZmODA5MGNkYTViNjZmZWFkYWE4OWMyNTRkN2FlYjNjYS91 cGRhdGUuc2gjTDM1IiBpZD0iTFBsbmtPV0FMaW5rUHJldmlldyI+aHR0cHM6Ly9naXRodWIuY29t L2tpdC10eS1rYXRlL2V4bi5zdC9ibG9iLzM5MmRiN2RmZjgwOTBjZGE1YjY2ZmVhZGFhODljMjU0 ZDdhZWIzY2EvdXBkYXRlLnNoI0wzNTwvYT48L2Rpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5 OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7 IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQtY29sb3I6IHJnYigyNTUsIDI1NSwgMjU1 KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiBDb250ZW50UGFzdGVkMCI+DQo8YnI+DQo8L2Rpdj4N CjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5z LXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQt Y29sb3I6IHJnYigyNTUsIDI1NSwgMjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiBDb250ZW50 UGFzdGVkMCBDb250ZW50UGFzdGVkMyI+DQpJIGZvdW5kIGEgYmxvZyBwb3N0IGJ5IFNlYW4gR3Jv dmUgKDxhIGhyZWY9Imh0dHBzOi8vd3d3LnJpc2Vvcy5jb20vYmxvZy8yMDE2LzA5LzEzL2NvbnRp bnVvdXNseS1kZXBsb3lpbmctbWlyYWdlLXVuaWtlcm5lbHMtdG8tZ29vZ2xlLWNvbXB1dGUtZW5n aW5lLXVzaW5nLWNpcmNsZS1jaS5odG1sIiBpZD0iTFBsbmtPV0FMaW5rUHJldmlld18xIj5odHRw czovL3d3dy5yaXNlb3MuY29tL2Jsb2cvMjAxNi8wOS8xMy9jb250aW51b3VzbHktZGVwbG95aW5n LW1pcmFnZS11bmlrZXJuZWxzLXRvLWdvb2dsZS1jb21wdXRlLWVuZ2luZS11c2luZy1jaXJjbGUt Y2kuaHRtbDwvYT4pDQogdGFsa2luZyBhYm91dCBhPGNvZGUgY2xhc3M9IkNvbnRlbnRQYXN0ZWQy Ij4gZ2Nsb3VkIGFscGhhIGNvbXB1dGUgcm9sbGluZy11cGRhdGVzDQo8c3BhbiBzdHlsZT0iZm9u dC1mYW1pbHk6IENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsiPuKAi2NvbW1hbmQgd2hp Y2ggc3VwcG9zZWRseSBpcyBhIHplcm8tZG93bnRpbWUgd2F5IG9mIGRvaW5nIHRoYXQsIGJ1dA0K PC9zcGFuPjwvY29kZT48c3Bhbj48L3NwYW4+dGhlIGJsb2ctcG9zdCBpcyB1bmZpbmlzaGVkIGFu ZCB0aGUgY29tbWFuZCBpdHNlbGYgZG9lc24ndCBzZWVtIHRvIHdvcmsgYW55bW9yZS48L2Rpdj4N CjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBDYWxpYnJpLCBBcmlhbCwgSGVsdmV0aWNhLCBzYW5z LXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQt Y29sb3I6IHJnYigyNTUsIDI1NSwgMjU1KTsiIGNsYXNzPSJlbGVtZW50VG9Qcm9vZiBDb250ZW50 UGFzdGVkMCBDb250ZW50UGFzdGVkMyBDb250ZW50UGFzdGVkNCI+DQpPdGhlciBvbmxpbmUgcmVz b3VyY2VzIGRvIHRhbGsgYWJvdXQgdGhpcyBjb21tYW5kIGJ1dCB0aGUgd2F5IHRvIG1ha2UgaXQg d29yayBpcyBuZXZlciBjbGVhci48YnI+DQo8YnI+DQpEb2VzIGFueW9uZSBoYXZlIGFueSBleHBl cmllbmNlIHdpdGggcm9sbGluZyB1cGRhdGVzIGluIEdDRSBieSBhbnkgY2hhbmNlPzxicj4NCjxi cj4NClRoYW5rcyw8YnI+DQpLYXRlPGJyPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSJfRW50aXR5IF9F VHlwZV9PV0FMaW5rUHJldmlldyBfRUlkX09XQUxpbmtQcmV2aWV3XzEgX0VSZWFkb25seV8xIj4N CjxkaXYgaWQ9IkxQQm9yZGVyX0dUYUhSMGNITTZMeTkzZDNjdWNtbHpaVzl6TG1OdmJTOWliRzlu THpJd01UWXZNRGt2TVRNdlkyOXVkR2x1ZFc5MWMyeDVMV1JsY0d4dmVXbHVaeTF0YVhKaFoyVXRk VzVwYTJWeWJtVnNjeTEwYnkxbmIyOW5iR1V0WTI5dGNIVjBaUzFsYm1kcGJtVXRkWE5wYm1jdFky bHlZMnhsTFdOcExtaDBiV3cuIiBjbGFzcz0iTFBCb3JkZXIxMjI3MDciIHN0eWxlPSJ3aWR0aDog MTAwJTsgbWFyZ2luLXRvcDogMTZweDsgbWFyZ2luLWJvdHRvbTogMTZweDsgcG9zaXRpb246IHJl bGF0aXZlOyBtYXgtd2lkdGg6IDgwMHB4OyBtaW4td2lkdGg6IDQyNHB4OyI+DQo8dGFibGUgaWQ9 IkxQQ29udGFpbmVyMTIyNzA3IiByb2xlPSJwcmVzZW50YXRpb24iIHN0eWxlPSJwYWRkaW5nOiAx MnB4IDM2cHggMTJweCAxMnB4OyB3aWR0aDogMTAwJTsgYm9yZGVyLXdpZHRoOiAxcHg7IGJvcmRl ci1zdHlsZTogc29saWQ7IGJvcmRlci1jb2xvcjogcmdiKDIwMCwgMjAwLCAyMDApOyBib3JkZXIt cmFkaXVzOiAycHg7Ij4NCjx0Ym9keT4NCjx0ciBzdHlsZT0iYm9yZGVyLXNwYWNpbmc6IDBweDsi IHZhbGlnbj0idG9wIj4NCjx0ZCBzdHlsZT0id2lkdGg6IDEwMCU7Ij4NCjxkaXYgaWQ9IkxQVGl0 bGUxMjI3MDciIHN0eWxlPSJmb250LXNpemU6IDIxcHg7IGZvbnQtd2VpZ2h0OiAzMDA7IG1hcmdp bi1yaWdodDogOHB4OyBmb250LWZhbWlseTogJnF1b3Q7d2Zfc2Vnb2UtdWlfbGlnaHQmcXVvdDss ICZxdW90O1NlZ29lIFVJIExpZ2h0JnF1b3Q7LCAmcXVvdDtTZWdvZSBXUCBMaWdodCZxdW90Oywg JnF1b3Q7U2Vnb2UgVUkmcXVvdDssICZxdW90O1NlZ29lIFdQJnF1b3Q7LCBUYWhvbWEsIEFyaWFs LCBzYW5zLXNlcmlmOyBtYXJnaW4tYm90dG9tOiAxMnB4OyI+DQo8YSB0YXJnZXQ9Il9ibGFuayIg aWQ9IkxQVXJsQW5jaG9yMTIyNzA3IiBocmVmPSJodHRwczovL3d3dy5yaXNlb3MuY29tL2Jsb2cv MjAxNi8wOS8xMy9jb250aW51b3VzbHktZGVwbG95aW5nLW1pcmFnZS11bmlrZXJuZWxzLXRvLWdv b2dsZS1jb21wdXRlLWVuZ2luZS11c2luZy1jaXJjbGUtY2kuaHRtbCIgc3R5bGU9InRleHQtZGVj b3JhdGlvbjogbm9uZTsgY29sb3I6IHZhcigtLXRoZW1lUHJpbWFyeSk7Ij5Db250aW51b3VzbHkg RGVwbG95aW5nDQogTWlyYWdlIFVuaWtlcm5lbHMgdG8gR29vZ2xlIENvbXB1dGUgRW5naW5lIHVz aW5nIENpcmNsZUNJIMK3IFNlYW4gR3JvdmU8L2E+PC9kaXY+DQo8ZGl2IGlkPSJMUERlc2NyaXB0 aW9uMTIyNzA3IiBzdHlsZT0iZm9udC1zaXplOiAxNHB4OyBtYXgtaGVpZ2h0OiAxMDBweDsgY29s b3I6IHJnYigxMDIsIDEwMiwgMTAyKTsgZm9udC1mYW1pbHk6ICZxdW90O3dmX3NlZ29lLXVpX25v cm1hbCZxdW90OywgJnF1b3Q7U2Vnb2UgVUkmcXVvdDssICZxdW90O1NlZ29lIFdQJnF1b3Q7LCBU YWhvbWEsIEFyaWFsLCBzYW5zLXNlcmlmOyBtYXJnaW4tYm90dG9tOiAxMnB4OyBtYXJnaW4tcmln aHQ6IDhweDsgb3ZlcmZsb3c6IGhpZGRlbjsiPg0KVHJ5aW5nIHRvIGJsb3cgdGhlIGJ1enp3b3Jk IG1ldGVyIHdpdGggdGhhdCB0aXRsZS4uLjwvZGl2Pg0KPGRpdiBpZD0iTFBNZXRhZGF0YTEyMjcw NyIgc3R5bGU9ImZvbnQtc2l6ZTogMTRweDsgZm9udC13ZWlnaHQ6IDQwMDsgY29sb3I6IHJnYigx NjYsIDE2NiwgMTY2KTsgZm9udC1mYW1pbHk6ICZxdW90O3dmX3NlZ29lLXVpX25vcm1hbCZxdW90 OywgJnF1b3Q7U2Vnb2UgVUkmcXVvdDssICZxdW90O1NlZ29lIFdQJnF1b3Q7LCBUYWhvbWEsIEFy aWFsLCBzYW5zLXNlcmlmOyI+DQp3d3cucmlzZW9zLmNvbTwvZGl2Pg0KPC90ZD4NCjwvdHI+DQo8 L3Rib2R5Pg0KPC90YWJsZT4NCjxkaXYgaWQ9IkxQQ2xvc2VCdXR0b25Db250YWluZXIxMjI3MDci IGNsYXNzPSJ1SGtBeiIgdGFiaW5kZXg9IjAiIHRpdGxlPSJSZW1vdmUgbGluayBwcmV2aWV3IiBy b2xlPSJidXR0b24iPg0KPGkgZGF0YS1pY29uLW5hbWU9IkNhbmNlbCIgYXJpYS1oaWRkZW49InRy dWUiIGlkPSJMUENsb3NlQnV0dG9uMTIyNzA3IiBjbGFzcz0iUm05UTEgcm9vdC0yNzQiPu6ckTwv aT48L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+DQo8YnI+DQo8ZGl2IGNsYXNzPSJfRW50aXR5IF9FVHlw ZV9PV0FMaW5rUHJldmlldyBfRUlkX09XQUxpbmtQcmV2aWV3IF9FUmVhZG9ubHlfMSI+DQo8ZGl2 IGlkPSJMUEJvcmRlcl9HVGFIUjBjSE02THk5bmFYUm9kV0l1WTI5dEwydHBkQzEwZVMxcllYUmxM MlY0Ymk1emRDOWliRzlpTHpNNU1tUmlOMlJtWmpnd09UQmpaR0UxWWpZMlptVmhaR0ZoT0Rsak1q VTBaRGRoWldJelkyRXZkWEJrWVhSbExuTm9JMHd6TlEuLiIgY2xhc3M9IkxQQm9yZGVyNTI2MDcx IiBzdHlsZT0id2lkdGg6IDEwMCU7IG1hcmdpbi10b3A6IDE2cHg7IG1hcmdpbi1ib3R0b206IDE2 cHg7IHBvc2l0aW9uOiByZWxhdGl2ZTsgbWF4LXdpZHRoOiA4MDBweDsgbWluLXdpZHRoOiA0MjRw eDsiPg0KPHRhYmxlIGlkPSJMUENvbnRhaW5lcjUyNjA3MSIgcm9sZT0icHJlc2VudGF0aW9uIiBz dHlsZT0icGFkZGluZzogMTJweCAzNnB4IDEycHggMTJweDsgd2lkdGg6IDEwMCU7IGJvcmRlci13 aWR0aDogMXB4OyBib3JkZXItc3R5bGU6IHNvbGlkOyBib3JkZXItY29sb3I6IHJnYigyMDAsIDIw MCwgMjAwKTsgYm9yZGVyLXJhZGl1czogMnB4OyI+DQo8dGJvZHk+DQo8dHIgc3R5bGU9ImJvcmRl ci1zcGFjaW5nOiAwcHg7IiB2YWxpZ249InRvcCI+DQo8dGQ+DQo8ZGl2IGlkPSJMUEltYWdlQ29u dGFpbmVyNTI2MDcxIiBzdHlsZT0icG9zaXRpb246IHJlbGF0aXZlOyBtYXJnaW4tcmlnaHQ6IDEy cHg7IGhlaWdodDogMTIwcHg7IG92ZXJmbG93OiBoaWRkZW47IHdpZHRoOiAyNDBweDsiPg0KPGEg dGFyZ2V0PSJfYmxhbmsiIGlkPSJMUEltYWdlQW5jaG9yNTI2MDcxIiBocmVmPSJodHRwczovL2dp dGh1Yi5jb20va2l0LXR5LWthdGUvZXhuLnN0L2Jsb2IvMzkyZGI3ZGZmODA5MGNkYTViNjZmZWFk YWE4OWMyNTRkN2FlYjNjYS91cGRhdGUuc2gjTDM1Ij48aW1nIGlkPSJMUFRodW1ibmFpbEltYWdl SWQ1MjYwNzEiIGFsdD0iIiBzdHlsZT0iZGlzcGxheTogYmxvY2s7IiB3aWR0aD0iMjQwIiBoZWln aHQ9IjEyMCIgc3JjPSJodHRwczovL29wZW5ncmFwaC5naXRodWJhc3NldHMuY29tLzcxMDE2YjI1 MGRjMmZhNDVlZWFlNzY1ZDBkZjJiOWFlNjhmODE0YWFmY2ZkZmFiMmM0NTVjNDA5OTk5NWE3YzAv a2l0LXR5LWthdGUvZXhuLnN0Ij48L2E+PC9kaXY+DQo8L3RkPg0KPHRkIHN0eWxlPSJ3aWR0aDog MTAwJTsiPg0KPGRpdiBpZD0iTFBUaXRsZTUyNjA3MSIgc3R5bGU9ImZvbnQtc2l6ZTogMjFweDsg Zm9udC13ZWlnaHQ6IDMwMDsgbWFyZ2luLXJpZ2h0OiA4cHg7IGZvbnQtZmFtaWx5OiAmcXVvdDt3 Zl9zZWdvZS11aV9saWdodCZxdW90OywgJnF1b3Q7U2Vnb2UgVUkgTGlnaHQmcXVvdDssICZxdW90 O1NlZ29lIFdQIExpZ2h0JnF1b3Q7LCAmcXVvdDtTZWdvZSBVSSZxdW90OywgJnF1b3Q7U2Vnb2Ug V1AmcXVvdDssIFRhaG9tYSwgQXJpYWwsIHNhbnMtc2VyaWY7IG1hcmdpbi1ib3R0b206IDEycHg7 Ij4NCjxhIHRhcmdldD0iX2JsYW5rIiBpZD0iTFBVcmxBbmNob3I1MjYwNzEiIGhyZWY9Imh0dHBz Oi8vZ2l0aHViLmNvbS9raXQtdHkta2F0ZS9leG4uc3QvYmxvYi8zOTJkYjdkZmY4MDkwY2RhNWI2 NmZlYWRhYTg5YzI1NGQ3YWViM2NhL3VwZGF0ZS5zaCNMMzUiIHN0eWxlPSJ0ZXh0LWRlY29yYXRp b246IG5vbmU7IGNvbG9yOiB2YXIoLS10aGVtZVByaW1hcnkpOyI+ZXhuLnN0L3VwZGF0ZS5zaCBh dCAzOTJkYjdkZmY4MDkwY2RhNWI2NmZlYWRhYTg5YzI1NGQ3YWViM2NhDQogwrcga2l0LXR5LWth dGUvZXhuLnN0PC9hPjwvZGl2Pg0KPGRpdiBpZD0iTFBEZXNjcmlwdGlvbjUyNjA3MSIgc3R5bGU9 ImZvbnQtc2l6ZTogMTRweDsgbWF4LWhlaWdodDogMTAwcHg7IGNvbG9yOiByZ2IoMTAyLCAxMDIs IDEwMik7IGZvbnQtZmFtaWx5OiAmcXVvdDt3Zl9zZWdvZS11aV9ub3JtYWwmcXVvdDssICZxdW90 O1NlZ29lIFVJJnF1b3Q7LCAmcXVvdDtTZWdvZSBXUCZxdW90OywgVGFob21hLCBBcmlhbCwgc2Fu cy1zZXJpZjsgbWFyZ2luLWJvdHRvbTogMTJweDsgbWFyZ2luLXJpZ2h0OiA4cHg7IG92ZXJmbG93 OiBoaWRkZW47Ij4NCkNvbnRyaWJ1dGUgdG8ga2l0LXR5LWthdGUvZXhuLnN0IGRldmVsb3BtZW50 IGJ5IGNyZWF0aW5nIGFuIGFjY291bnQgb24gR2l0SHViLjwvZGl2Pg0KPGRpdiBpZD0iTFBNZXRh ZGF0YTUyNjA3MSIgc3R5bGU9ImZvbnQtc2l6ZTogMTRweDsgZm9udC13ZWlnaHQ6IDQwMDsgY29s b3I6IHJnYigxNjYsIDE2NiwgMTY2KTsgZm9udC1mYW1pbHk6ICZxdW90O3dmX3NlZ29lLXVpX25v cm1hbCZxdW90OywgJnF1b3Q7U2Vnb2UgVUkmcXVvdDssICZxdW90O1NlZ29lIFdQJnF1b3Q7LCBU YWhvbWEsIEFyaWFsLCBzYW5zLXNlcmlmOyI+DQpnaXRodWIuY29tPC9kaXY+DQo8L3RkPg0KPC90 cj4NCjwvdGJvZHk+DQo8L3RhYmxlPg0KPGRpdiBpZD0iTFBDbG9zZUJ1dHRvbkNvbnRhaW5lcjUy NjA3MSIgY2xhc3M9InVIa0F6IiB0YWJpbmRleD0iMCIgdGl0bGU9IlJlbW92ZSBsaW5rIHByZXZp ZXciIHJvbGU9ImJ1dHRvbiI+DQo8aSBkYXRhLWljb24tbmFtZT0iQ2FuY2VsIiBhcmlhLWhpZGRl bj0idHJ1ZSIgaWQ9IkxQQ2xvc2VCdXR0b241MjYwNzEiIGNsYXNzPSJSbTlRMSByb290LTI3NCI+ 7pyRPC9pPjwvZGl2Pg0KPGRpdiBpZD0iTFBDbG9zZUJ1dHRvbkNvbnRhaW5lcjUyNjA3MSIgY2xh c3M9InVIa0F6IiB0YWJpbmRleD0iMCIgdGl0bGU9IlJlbW92ZSBsaW5rIHByZXZpZXciIHJvbGU9 ImJ1dHRvbiI+DQo8aSBkYXRhLWljb24tbmFtZT0iQ2FuY2VsIiBhcmlhLWhpZGRlbj0idHJ1ZSIg aWQ9IkxQQ2xvc2VCdXR0b241MjYwNzEiIGNsYXNzPSJSbTlRMSByb290LTI3NCI+7pyRPC9pPjwv ZGl2Pg0KPGRpdiBpZD0iTFBDbG9zZUJ1dHRvbkNvbnRhaW5lcjUyNjA3MSIgY2xhc3M9InVIa0F6 IiB0YWJpbmRleD0iMCIgdGl0bGU9IlJlbW92ZSBsaW5rIHByZXZpZXciIHJvbGU9ImJ1dHRvbiI+ DQo8aSBkYXRhLWljb24tbmFtZT0iQ2FuY2VsIiBhcmlhLWhpZGRlbj0idHJ1ZSIgaWQ9IkxQQ2xv c2VCdXR0b241MjYwNzEiIGNsYXNzPSJSbTlRMSByb290LTI3NCI+7pyRPC9pPjwvZGl2Pg0KPGRp diBpZD0iTFBDbG9zZUJ1dHRvbkNvbnRhaW5lcjUyNjA3MSIgY2xhc3M9InVIa0F6IiB0YWJpbmRl eD0iMCIgdGl0bGU9IlJlbW92ZSBsaW5rIHByZXZpZXciIHJvbGU9ImJ1dHRvbiI+DQo8aSBkYXRh LWljb24tbmFtZT0iQ2FuY2VsIiBhcmlhLWhpZGRlbj0idHJ1ZSIgaWQ9IkxQQ2xvc2VCdXR0b241 MjYwNzEiIGNsYXNzPSJSbTlRMSByb290LTI3NCI+7pyRPC9pPjwvZGl2Pg0KPC9kaXY+DQo8L2Rp dj4NCjxicj4NCjwvYm9keT4NCjwvaHRtbD4NCg== --_000_CWXP265MB13682D68BA731F0169B2FC5CBC3C9CWXP265MB1368GBRP_-- From mirageos-devel-bounces@lists.xenproject.org Mon Nov 07 21:18:05 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 07 Nov 2022 21:18:05 +0000 Received: from list by lists.xenproject.org with outflank-mailman.439630.693669 (Exim 4.92) (envelope-from ) id 1os9VD-0002jm-81; Mon, 07 Nov 2022 21:17:55 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 439630.693669; Mon, 07 Nov 2022 21:17:55 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1os9VD-0002jf-4l; Mon, 07 Nov 2022 21:17:55 +0000 Received: by outflank-mailman (input) for mailman id 439630; Mon, 07 Nov 2022 21:17:54 +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 1os9VB-0002jZ-Gv for mirageos-devel@lists.xenproject.org; Mon, 07 Nov 2022 21:17:54 +0000 Received: from honk.recoil.org (honk.recoil.org [147.75.102.218]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id a188a23f-5ee1-11ed-8fd1-01056ac49cbb; Mon, 07 Nov 2022 22:17:51 +0100 (CET) Received: from smtpclient.apple (global-185-71.n-2.net.cam.ac.uk [131.111.185.71]) by honk.recoil.org (Postfix) with ESMTPSA id 64F6C3C0180; Mon, 7 Nov 2022 20:58:46 +0000 (UTC) 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: a188a23f-5ee1-11ed-8fd1-01056ac49cbb DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=recoil.org; s=selector1; t=1667854726; bh=gUUBmx0r0faZBhT8UI0qI15M0GmP6Zc8YGaV4fM8+Pk=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=JVvMZZkQFW33bgbHDjiEL9ZOYuXHIR0FOsSDbsKJwoQaxSymQBT6IQfeI6ouZjeiM Al5x4/1C45BWd4YR3P+4fp/n28ijwwvbC/ZpXrCNd2QPde/yiweUAG2YVEVNRg6Jl9 L7rUNFknhjWa9L16IpC0hS/H8X/wEiYhoV/7CejA= Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.200.110.1.12\)) Subject: Re: Fast rolling-updates on Google Compute Engine (GCE) instances? From: Anil Madhavapeddy In-Reply-To: Date: Mon, 7 Nov 2022 20:57:35 +0000 Cc: "mirageos-devel@lists.xenproject.org" Content-Transfer-Encoding: quoted-printable Message-Id: <2E8A519D-9F33-4E31-8D9B-750B3733A85C@recoil.org> References: To: Kate D X-Mailer: Apple Mail (2.3731.200.110.1.12) On 7 Nov 2022, at 20:12, Kate D wrote: >=20 > I found a blog post by Sean Grove = (https://www.riseos.com/blog/2016/09/13/continuously-deploying-mirage-unik= ernels-to-google-compute-engine-using-circle-ci.html) talking about = agcloud alpha compute rolling-updates =E2=80=8Bcommand which supposedly = is a zero-downtime way of doing that, but the blog-post is unfinished = and the command itself doesn't seem to work anymore. > Other online resources do talk about this command but the way to make = it work is never clear. >=20 > Does anyone have any experience with rolling updates in GCE by any = chance? If I remember right (and this is going back a few years to when Sean = first wrote that post), the rolling-updates feature never made it out of = alpha status on GCE. I had to apply for an allowlist on my account to = enable it (or a closely related feature) when I was experimenting with = it. I=E2=80=99ve not tried it recently, but GCE instance-groups are probably = the mechanism by which you activate zero-downtime upgrades now. Anil= From mirageos-devel-bounces@lists.xenproject.org Thu Nov 10 11:19:48 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 10 Nov 2022 11:19:48 +0000 Received: from list by lists.xenproject.org with outflank-mailman.441783.695850 (Exim 4.92) (envelope-from ) id 1ot5aq-0003lP-Qp; Thu, 10 Nov 2022 11:19:36 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 441783.695850; Thu, 10 Nov 2022 11:19: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 1ot5aq-0003lI-NV; Thu, 10 Nov 2022 11:19:36 +0000 Received: by outflank-mailman (input) for mailman id 441783; Thu, 10 Nov 2022 11:19:35 +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 1ot5ap-0003lC-97 for mirageos-devel@lists.xenproject.org; Thu, 10 Nov 2022 11:19:35 +0000 Received: from mail-vs1-xe30.google.com (mail-vs1-xe30.google.com [2607:f8b0:4864:20::e30]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 8d906002-60e9-11ed-91b5-6bf2151ebd3b; Thu, 10 Nov 2022 12:19:34 +0100 (CET) Received: by mail-vs1-xe30.google.com with SMTP id 3so1632697vsh.5 for ; Thu, 10 Nov 2022 03:19:34 -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: 8d906002-60e9-11ed-91b5-6bf2151ebd3b 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=fzWISRjfZ5jYVZ9S6snMG5QlyUZnJe2CwClwjVUHQCM=; b=jI7P3ipw/hDqRjGQ6vBD4YqyKZtINYeGy0Pq/O74s/TWf4lkSYhSlV0t8G/aArwBR3 +QcKOgbwmIpbTzEDuS1Fbl0XNp1OxYe7d0pYKQEfxX0Ukjkx0X6CodlxSJoURwBfI6W0 u9whTLSOiPeWwxcgH8yiDOxqRoJPHOCxfGKi0/7vmR9GChXHIqJfw+Db2TuC6R9+Y11Y 7MAhZNZYCS6zprXLFu7Bl2myNw+3yDFqsJ2gsZ72Ka7t9syCBoIcoGbVU6ldZhM7IP9T my/Gd+h4zY+aKVLSYe9grrWL+tUVKpBX5+RPtk5bdPGbTPPOGvy48twkDM/mp7EpCXPD 1rQg== 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=fzWISRjfZ5jYVZ9S6snMG5QlyUZnJe2CwClwjVUHQCM=; b=ygE/yDQE4XTBzGRRCoYwH+L/A4f6B7ikIrV6kAIHAyagGeDE9owX0h9ceVIB0hoFeG SdNbfrWAzg95M2StjLX98xqsZ/9ShhhOnsrdp3/JHSpdMFWv4IhOemNrdVqulXKYjzQL oWu/gweTvN4WQWeg7z1c0x4J4oqwIU3hvgelKmiHoJWL/z1Io3TvUrRVR/Xf7b8yNqKE blBBdY7l9I3kD4uI5ygebz4zhA5lHK7UqzH6C6ZgYcgvEdHzjqelJZgYpH15Hl8rn6eA bQMgxJpTzayLsK8R64fEwIzWg6EPGJe9+XqIxYsIoOyw8a3O5sIDItpAEQ31rKbAkBXg haig== X-Gm-Message-State: ACrzQf0VZzzjVzWwhg7tZJ5YH8IpWPeh6FF/ZQ6CwiSdNuBWIy/NZnPc 1L9KqFtjIb9AYK8g23+pRYdyZU5Iwx3ZJXHL/AULHXb84U/XZA== X-Google-Smtp-Source: AMsMyM7wJJvOXfsElPHj9fAjZYlmrmK8DnmpWsz2XPDfRQyOOW7cFtlIaSXjybFXuroVAuf2JlQj3NMQhDKiFLwSAq8= X-Received: by 2002:a67:bd10:0:b0:3ad:8e18:37e9 with SMTP id y16-20020a67bd10000000b003ad8e1837e9mr16943592vsq.23.1668079172714; Thu, 10 Nov 2022 03:19:32 -0800 (PST) MIME-Version: 1.0 From: Romain Calascibetta Date: Thu, 10 Nov 2022 12:19:20 +0100 Message-ID: Subject: MirageOS meetings To: mirageos-devel Content-Type: multipart/alternative; boundary="0000000000008c089305ed1bf2e5" --0000000000008c089305ed1bf2e5 Content-Type: text/plain; charset="UTF-8" Hello everyone, It seems that since the retreat, we have not properly updated our MirageOS meetings (although some have been organised). We should have warned you that these are coming back (once every fortnight). So, we propose to continue these useful meetings (in order to stay in sync with what we are doing). The next meeting will be held on 23 November at 14:00 UTC+1 (as usual) if this is convenient for you. We hope to see you at this meeting. Thank you for your time! -- Romain Calascibetta - http://din.osau.re/ --0000000000008c089305ed1bf2e5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello everyone,

It seems that since the retreat, we= have not properly updated our MirageOS meetings (although some have been o= rganised). We should have warned you that these are coming back (once every= fortnight).

So, we propose to continue these useful meetings (in or= der to stay in sync with what we are doing). The next meeting will be held = on 23 November at 14:00 UTC+1 (as usual) if this is convenient for you.
=
We hope to see you at this meeting. Thank you for your time!

--
Romain Calascibetta - http://din.osau.re/
--0000000000008c089305ed1bf2e5-- From mirageos-devel-bounces@lists.xenproject.org Tue Nov 15 14:46:38 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 15 Nov 2022 14:46:38 +0000 Received: from list by lists.xenproject.org with outflank-mailman.443989.698742 (Exim 4.92) (envelope-from ) id 1ouxCi-00031R-Tm; Tue, 15 Nov 2022 14:46:24 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 443989.698742; Tue, 15 Nov 2022 14:46:24 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ouxCi-00031K-Py; Tue, 15 Nov 2022 14:46:24 +0000 Received: by outflank-mailman (input) for mailman id 443989; Tue, 15 Nov 2022 14:46:24 +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 1ouxCi-00031E-6b for mirageos-devel@lists.xenproject.org; Tue, 15 Nov 2022 14:46:24 +0000 Received: from mail-ed1-x531.google.com (mail-ed1-x531.google.com [2a00:1450:4864:20::531]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 456a770f-64f4-11ed-8fd2-01056ac49cbb; Tue, 15 Nov 2022 15:46:23 +0100 (CET) Received: by mail-ed1-x531.google.com with SMTP id v27so22217657eda.1 for ; Tue, 15 Nov 2022 06:46:21 -0800 (PST) Received: from [192.168.39.181] (563414b7.rev.stofanet.dk. [86.52.20.183]) by smtp.gmail.com with ESMTPSA id w2-20020aa7d282000000b00461c6e8453dsm6218838edq.23.2022.11.15.06.46.20 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 15 Nov 2022 06:46:20 -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: 456a770f-64f4-11ed-8fd2-01056ac49cbb DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=zOyYJPFrtGowx+sqycemdEbzAIuTdLvZHoL/cYUxCgk=; b=m6HLYzKASfzs/LBXEOj8B+8w81c1aoUL0vgZBZ2+yTgAeDwfRMiZr6yCXYFldxwKw9 fn0sM1UrXkAM8GIi31OINt3JrRJJFO5sJ44rogS3bVruMId449zowF7WbT/pZc7BCScJ zq7xizC/m31XNFC9mc7FNjQKdtU+bFTealIW1/mdf3wJ5BY3tCw/w67EFrWgYnQXd2ml xKlfgF2+sZt4zUnAdawa/IBS7EVFZzFxbuwh+byhreaaBUFfa1lC1azq+eqLd+RrCl4T LXkVu2bHY5yEGbdUkQP/CB2iHNo3AMTLtltI2IMTVrGmqMyGmCB68jFgskATL0blba85 PZeA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=zOyYJPFrtGowx+sqycemdEbzAIuTdLvZHoL/cYUxCgk=; b=XjZ+1txR7z0xy70lz6vRrkmvBHZuwgKflRjgj7imW3mK5Qt/hTogO9S2XWQdoprSRX VL/R/mOg+ELGJr6I0kwPIEHvTKfc+8ukXMG/V3EvTtILqFWozB/nqwa/TPBc8xPBO9yy e6Eh1nGkS+XnRpb3SyGz+CB9XAALLD5cxHxPron0qk7HTtWI+fDIKPECyZTSenRnr8nn tu1VxeB0sskJwGOGpaE83zkkXT0XcUsro5HI1hPt/i8MFryDwaLoE0gLDz1p0B76KwEF sWpaCeYzZxzxAKP7Bxn2dystxlKvV0ICSRWTeLuBuidBJwchBy+E7Z9nT7rnjIt+k2x4 F51g== X-Gm-Message-State: ANoB5pnMYpdeyGpLMoXG6Q5c1vhKYj98Mt/8mKXLCh36pNrprri3Oa5V VUTna+h2VoMjK04/e4LDXUQh5iMeDU4= X-Google-Smtp-Source: AA0mqf768Gkx18Ab5x+SYlaJns88Y18fwr3gY1xiH5ufH0f+m1QeegG4RtCI+FbGb1mDkZn2vMsrDg== X-Received: by 2002:aa7:db85:0:b0:463:f3a:32ce with SMTP id u5-20020aa7db85000000b004630f3a32cemr15523749edt.366.1668523581498; Tue, 15 Nov 2022 06:46:21 -0800 (PST) Message-ID: <630516db-486c-4638-3000-a4dca32a1a91@gmail.com> Date: Tue, 15 Nov 2022 15:46:19 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.0 Subject: Re: MirageOS meetings Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Reynir In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, > It seems that since the retreat, we have not properly updated our MirageOS > meetings (although some have been organised). We should have warned you > that these are coming back (once every fortnight). > > So, we propose to continue these useful meetings (in order to stay in sync > with what we are doing). The next meeting will be held on 23 November at > 14:00 UTC+1 (as usual) if this is convenient for you. I drafted a meeting agenda (future meeting notes). Please feel free to add any items. https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view Best, Reynir From mirageos-devel-bounces@lists.xenproject.org Sun Nov 20 06:57:17 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 20 Nov 2022 06:57:17 +0000 Received: from list by lists.xenproject.org with outflank-mailman.446227.701765 (Exim 4.92) (envelope-from ) id 1oweGF-0005MU-Vb; Sun, 20 Nov 2022 06:57:03 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 446227.701765; Sun, 20 Nov 2022 06:57: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 1oweGF-0005MN-S1; Sun, 20 Nov 2022 06:57:03 +0000 Received: by outflank-mailman (input) for mailman id 446227; Sun, 20 Nov 2022 06:57:01 +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 1oweGD-0005MH-Ke for mirageos-devel@lists.xenproject.org; Sun, 20 Nov 2022 06:57:01 +0000 Received: from mail-ej1-x62c.google.com (mail-ej1-x62c.google.com [2a00:1450:4864:20::62c]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 86cae85d-68a0-11ed-8fd2-01056ac49cbb; Sun, 20 Nov 2022 07:56:59 +0100 (CET) Received: by mail-ej1-x62c.google.com with SMTP id n20so22303379ejh.0 for ; Sat, 19 Nov 2022 22:56:58 -0800 (PST) Received: from mail-ej1-f47.google.com (mail-ej1-f47.google.com. [209.85.218.47]) by smtp.gmail.com with ESMTPSA id o11-20020aa7d3cb000000b0046951b43e84sm1271625edr.55.2022.11.19.22.56.56 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 19 Nov 2022 22:56:57 -0800 (PST) Received: by mail-ej1-f47.google.com with SMTP id f27so22227840eje.1 for ; Sat, 19 Nov 2022 22:56:56 -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: 86cae85d-68a0-11ed-8fd2-01056ac49cbb DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=umwelten-xyz.20210112.gappssmtp.com; s=20210112; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=ErBNG2h2aWiYgFfUC0CJVul34snpu6RwYpoe4AeNtvI=; b=0NJvfJ/qMISj1m42YqNb75Q7J8qilhHi6DfllMFazM18pkWxGx/3+QOA3DCpMTwUJr XL3uo5ioDKBhrHhAvF7fbZv/6rNsU1mpw7Y5AXTvfAIzBoBJuTSJ6PAJDU+blf3gXPpt 3+7IKRSEJIAiZkCubqG35Qg697CT8oV52oqUepOgbV9kBDbu0gWj7Z9xuoQ+uSoF1zo4 +w9EB3w9uSOKl7O/9+5AAOQlvX7kEGcIEfJQ6LvyFNvH61tZ3anMg4KFznvkKBMPbgTX mKiiTi1XKGmQ6yXCXpzEezJUBQRd1H3OzA/MeCdQRuHzHeqFQQflQGoIvEcu1BAts+kw AIHw== 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:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ErBNG2h2aWiYgFfUC0CJVul34snpu6RwYpoe4AeNtvI=; b=X9VXY4Lp7si8R4qk2u+J6qaEUinbogbnIXW+4VKDlsIeZr0st2lADRot6n2fWcx4YW 9neIG8K2QO75/Jq/6Gz6/Rdcgph0lJo3flbDGb1kaCK7Oar+sV9dBrRQdsPR7eZbWE7r M7LIh7wZuYtt6F1/e0KY8ptuHxaFaUOcqwpgxxE31Sc9nlZPy83cO2DS1d3r3w3117TG /Z3+NAbdoCRkGjobpzReKadJxvv9jzCVJQlUkFB51Bgskpl0tB5a5AekxbxLw8m92JTy 4C5KnAuB9xOA22xeODdNzK3PVXhmMkS2QMxEZBxpqeRKt7MPfYFgJebZIumKthhQC+Vf d9IA== X-Gm-Message-State: ANoB5plBXrsI/pTJk8LFthwAtpBXVCwoyODnbGPEUkF9eeNuSV1zriQR VG6b8xpx3B22oOaoC8oPlm56kKrDskyeo6r+k1c= X-Google-Smtp-Source: AA0mqf4GIhHSGShgx+cOSiQZiS1Zbc0TqqeCYi3qTqk3UDxsGJLaFu5/CZZykXI5MhCYNhM1r102Sw== X-Received: by 2002:a17:906:1f02:b0:78d:d2e5:7a11 with SMTP id w2-20020a1709061f0200b0078dd2e57a11mr11564685ejj.144.1668927417783; Sat, 19 Nov 2022 22:56:57 -0800 (PST) X-Received: by 2002:a17:906:414c:b0:7a9:ecc1:2bd2 with SMTP id l12-20020a170906414c00b007a9ecc12bd2mr11529467ejk.545.1668927416289; Sat, 19 Nov 2022 22:56:56 -0800 (PST) MIME-Version: 1.0 From: Trivik Bhavnani Date: Sun, 20 Nov 2022 12:26:30 +0530 X-Gmail-Original-Message-ID: Message-ID: Subject: MirageOS on an RP2040 (dual-core 32-bit Arm) To: mirageos-devel@lists.xenproject.org Cc: Ishan Shah , Suffiyan Shaikh Content-Type: multipart/alternative; boundary="000000000000cdd04a05ede17134" --000000000000cdd04a05ede17134 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi, Is it feasible to run MirageOS on an RP2040 ? We're working on a wearable, whose exoskeleton stitches together a few dozen RP2040s, and need to commit to a programming stack so wouldn't mind some advice. Pardon the ill-phrased question but I don't understand code (or 'engineering') yet. https://mirage.io/docs/arm64 says "MirageOS unikernels can run on 64-bit ARM Linux systems". While the RP2040 has a "Dual-core Arm Cortex-M0+ processor" and the Arm Cortex-M0+ is a "32-bit RISC processor". This suggests the two are not compatible? Any pointers to how to figure this out would be welcome. Cheers, Trivik Trivik R. Bhavnani | =C3=86sthetics Bootstrapper | Bombay, India Compossible Umwelten Private Limited | M +91.98 21 55 18 37 --000000000000cdd04a05ede17134 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

Is it feasible to run MirageOS on an RP2040 ? <= br>
We're working on a wearable, whose exoskeleton stitches together= a few dozen RP2040s, and need to commit to a programming stack so wouldn&#= 39;t mind some advice. Pardon the ill-phrased question but I don't unde= rstand code=C2=A0(or 'engineering') yet.

https://mirage.io/docs/arm64 says "MirageOS = unikernels can run on 64-bit ARM Linux systems". While the RP2040 has = a "Dual-core Arm Cortex-M0+ processor" and the Arm Cortex-M0+ is = a "32-bit RISC processor". This suggests the two are not compatib= le?

Any pointers to how to figure this out would be welc= ome.

Cheers,
Trivik

Tri= vik R. Bhavnani | =C3=86sthetics Bootstrapper | Bombay, India
Compossible Umwelten P= rivate Limited | M +91.98 21 55 18 37
<= /div>
--000000000000cdd04a05ede17134-- From mirageos-devel-bounces@lists.xenproject.org Sun Nov 20 12:28:33 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 20 Nov 2022 12:28:33 +0000 Received: from list by lists.xenproject.org with outflank-mailman.446290.701837 (Exim 4.92) (envelope-from ) id 1owjQq-0008TQ-He; Sun, 20 Nov 2022 12:28:20 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 446290.701837; Sun, 20 Nov 2022 12:28: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 1owjQq-0008TJ-Ej; Sun, 20 Nov 2022 12:28:20 +0000 Received: by outflank-mailman (input) for mailman id 446290; Sun, 20 Nov 2022 12:28: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 1owjQo-0008TD-Vd for mirageos-devel@lists.xenproject.org; Sun, 20 Nov 2022 12:28:19 +0000 Received: from mail-pj1-x1035.google.com (mail-pj1-x1035.google.com [2607:f8b0:4864:20::1035]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id cd82e4c4-68ce-11ed-91b6-6bf2151ebd3b; Sun, 20 Nov 2022 13:28:17 +0100 (CET) Received: by mail-pj1-x1035.google.com with SMTP id k2-20020a17090a4c8200b002187cce2f92so6910351pjh.2 for ; Sun, 20 Nov 2022 04:28:14 -0800 (PST) Received: from smtpclient.apple (softbank219059018082.bbtec.net. [219.59.18.82]) by smtp.gmail.com with ESMTPSA id u5-20020a170903124500b00186c3afb49esm7390454plh.209.2022.11.20.04.28.11 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 20 Nov 2022 04:28:12 -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: cd82e4c4-68ce-11ed-91b6-6bf2151ebd3b DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:in-reply-to:cc:references:message-id:date:subject:mime-version :from:content-transfer-encoding:from:to:cc:subject:date:message-id :reply-to; bh=EcrlKbo5J6lCZELcJIpG4G09fK8y71/9lNrjWkugQiU=; b=FP71yUe0hLqKxGGnZ6a5hvxeoVvvkDPSs/rtIOskYVERDpXXcF19mMINkYNSW6m3c6 QudpxQRs0wPZUutQZaBOIszQdc61Dmh26KXEqTC/tuFN5yurf5FX79ULWMcs3ae/jqv9 E9VWjmc6h5nyb0oR9c+KStrVr0tZ8dnpKkU91Oh68T/euOuZni7hgH7NMKXR+7nRWFGL bGH87Y+kTDzw7BTIGfmns3rD2hRIYEpvy5u29rdR+cC/gANmYy8G2KEPZqKVlDbVuAP8 jszeXGiPtctjKld4sOLTTydzlvWIaFjTRvGzNB4OqTIAnsxEARtM9qBbGgQmB1PR4H00 n7TQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:in-reply-to:cc:references:message-id:date:subject:mime-version :from:content-transfer-encoding:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=EcrlKbo5J6lCZELcJIpG4G09fK8y71/9lNrjWkugQiU=; b=cExfW+9kHJKp91Nc9ILgTHaUh3UC0gNd1WZZg23L9wJwUCnizL4tYjiqfQHswDI2+k hLZ8ae5/8dhKsGzMOgUfGJzxJ8O+jSj4p5ecIcWkGm1bBn7TiJ3AXha2HQqAlEAHMB1F dC/OsHPUjvsPd8dXb3WmtmQiElrRreI2i2FbcT3iVZqThOhsCVV2fqZjW9t/W3bjuaFl 2OUIM3ORJVtTDH3Vf+tMYm87oohA2AV0+nXl1UnR3BwE98Kpy2rourSGl5c/z55vQA8J 2HquESG8+nZKXHq+9QhU679xQaJhM2uXg8HAVI7v9enFXnTwqlhlUO21Sbm410Hf8Yjv AK8g== X-Gm-Message-State: ANoB5pkpWLEMmdKZcUVz5PJYw4FkODboaCJZMP1uVysFx9u/NglDWk1m ZYGR0kwt29N8yBAJJcnRyus= X-Google-Smtp-Source: AA0mqf4f8TVuS643kHyE+/bwrSVyxxQjiUVP1q33Ak3yGzHp2GnhXMH4dAtc2oTaV/CXh8iXf1vmJw== X-Received: by 2002:a17:90b:2d90:b0:212:ca73:4d6b with SMTP id sj16-20020a17090b2d9000b00212ca734d6bmr21661482pjb.16.1668947293124; Sun, 20 Nov 2022 04:28:13 -0800 (PST) Content-Type: multipart/alternative; boundary=Apple-Mail-73B66AF9-C002-462B-94A3-DE43F58C10E2 Content-Transfer-Encoding: 7bit From: Takayuki Imada Mime-Version: 1.0 (1.0) Subject: Re: MirageOS on an RP2040 (dual-core 32-bit Arm) Date: Sun, 20 Nov 2022 21:28:10 +0900 Message-Id: References: Cc: mirageos-devel@lists.xenproject.org, Ishan Shah , Suffiyan Shaikh In-Reply-To: To: Trivik Bhavnani X-Mailer: iPhone Mail (19B74) --Apple-Mail-73B66AF9-C002-462B-94A3-DE43F58C10E2 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, > This suggests the two are not compatible? Cortex-M0+ is not compatible unfortunately. Current MirageOS requires an OS(plus hypervisor)-based backend layer such as= Linux/KVM including peripheral device drivers. However, any backend layer f= or microcontrollers is not officially supported yet. You will need to develop several components below to support RP2040: (You can find related porting activities in [1] [2] [3]) 1. Cortex-M0+ ready OCaml compiler I guess [1] has a Cortex-M4 ready OCaml compiler. You will be able to take a= dvantage of it for Cortex-M0+. 2. Device handling frontend layer in MirageOS MirageOS now supports only limited device types commonly used in cloud compu= ting. It does not support UART, GPIO, SPI and other peripherals as usually s= een on many microcontrollers. 3. Backend layer including peripheral device drivers Implementation of this can vary depending on your approach. For example, I u= tilized Solo5 and FreeRTOS as a backend layer in [3]. In addition, you will have to consider the required memory size of a MirageO= S application. Further implementation to reduce the application size as desc= ribed in [1] may be needed for the small RAM on RP2040. [1] https://tarides.com/internships/porting-mirageos-to-iot-devices (porting= to a Cortex-M4 device) [2] https://github.com/dinosaure/gilbraltar (porting to Raspi4 with a bareme= tal-based backend layer) [3] https://github.com/TImada/mirage-embedded-repo (porting to microcontroll= ers with a FreeRTOS-based backend layer) Regards, --=20 Takayuki Imada > On Nov 20, 2022, at 15:57, Trivik Bhavnani wrote: >=20 > =EF=BB=BF > Hi, >=20 > Is it feasible to run MirageOS on an RP2040 ?=20 >=20 > We're working on a wearable, whose exoskeleton stitches together a few doz= en RP2040s, and need to commit to a programming stack so wouldn't mind some a= dvice. Pardon the ill-phrased question but I don't understand code (or 'engi= neering') yet. >=20 > https://mirage.io/docs/arm64 says "MirageOS unikernels can run on 64-bit A= RM Linux systems". While the RP2040 has a "Dual-core Arm Cortex-M0+ processo= r" and the Arm Cortex-M0+ is a "32-bit RISC processor". This suggests the tw= o are not compatible? >=20 > Any pointers to how to figure this out would be welcome. >=20 > Cheers, > Trivik >=20 > Trivik R. Bhavnani | =C3=86sthetics Bootstrapper | Bombay, India > Compossible Umwelten Private Limited | M +91.98 21 55 18 37 --Apple-Mail-73B66AF9-C002-462B-94A3-DE43F58C10E2 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Hi,=

This suggests the two are not compatible?
Cortex-M0+ is not compatible unfortunately.

Current MirageOS requires an OS(plus hypervisor)-based bac= kend layer such as Linux/KVM including peripheral device drivers. However, a= ny backend layer for microcontrollers is not officially supported yet.
=

You will need to develop several= components below to support RP2040:
(You can find rel= ated porting activities in [1] [2] [3])

1. Cortex-M0+ ready OCaml compiler
I gues= s [1] has a Cortex-M4 ready OCaml compiler. You will be able to take advanta= ge of it for Cortex-M0+.

2.= Device handling frontend layer in MirageOS
MirageOS n= ow supports only limited device types commonly used in cloud computing. It d= oes not support UART, GPIO, SPI and other peripherals as usually seen on man= y microcontrollers.

3. Back= end layer including peripheral device drivers
Implemen= tation of this can vary depending on your approach. For example, I utilized S= olo5 and FreeRTOS as a backend layer in [3].

In addition, you will have to consider the required memory= size of a MirageOS application. Further implementation to reduce the applic= ation size as described in [1] may be needed for the small RAM on RP2040.

[2] https://github.com/dinosaure/gilbraltar (porting to= Raspi4 with a baremetal-based backend layer)
[3] = ;https://github.c= om/TImada/mirage-embedded-repo (porting to microcontrollers with a = FreeRTOS-based backend layer)

Regards,

-- 
<= div dir=3D"ltr">Takayuki Imada

On Nov 20, 2022, at 15:57, Trivik Bhavnani <= ;saccade@umwelten.xyz> wrote:

=EF=BB=BF
Hi,

Is it feasible t= o run MirageOS on an RP2040 ?

We're working on a wearable, whose exo= skeleton stitches together a few dozen RP2040s, and need to commit to a prog= ramming stack so wouldn't mind some advice. Pardon the ill-phrased question b= ut I don't understand code (or 'engineering') yet.

https://mirage.io/docs/arm64 says "MirageOS u= nikernels can run on 64-bit ARM Linux systems". While the RP2040 has a "Dual= -core Arm Cortex-M0+ processor" and the Arm Cortex-M0+ is a "32-bit RISC pro= cessor". This suggests the two are not compatible?

Any po= inters to how to figure this out would be welcome.

Cheers,
Trivik<= div>
Trivik R. Bhavnani | =C3=86sthetics B= ootstrapper | Bombay, India
Compossible Umwelten Private Limited | M +91.98 21 55 18 3= 7
= --Apple-Mail-73B66AF9-C002-462B-94A3-DE43F58C10E2-- From mirageos-devel-bounces@lists.xenproject.org Tue Nov 29 17:55:13 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 29 Nov 2022 17:55:13 +0000 Received: from list by lists.xenproject.org with outflank-mailman.449582.706434 (Exim 4.92) (envelope-from ) id 1p04ok-0007tU-W0; Tue, 29 Nov 2022 17:54:50 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 449582.706434; Tue, 29 Nov 2022 17:54:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1p04ok-0007tN-TG; Tue, 29 Nov 2022 17:54:50 +0000 Received: by outflank-mailman (input) for mailman id 449582; Tue, 29 Nov 2022 17:54:49 +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 1p04oj-0007Yv-Kp for mirageos-devel@lists.xenproject.org; Tue, 29 Nov 2022 17:54:49 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id e95bb391-700e-11ed-91b6-6bf2151ebd3b; Tue, 29 Nov 2022 18:54:47 +0100 (CET) Received: from [192.168.0.217] (55d4c477.access.ecotel.net [85.212.196.119]) (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 8A1FA1FA4B for ; Tue, 29 Nov 2022 18:54:45 +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: e95bb391-700e-11ed-91b6-6bf2151ebd3b Message-ID: <2d6b491d-6ed2-e110-776c-94731e5d1bf9@mehnert.org> Date: Tue, 29 Nov 2022 18:54:45 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: MirageOS meetings Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <630516db-486c-4638-3000-a4dca32a1a91@gmail.com> From: Hannes Mehnert In-Reply-To: <630516db-486c-4638-3000-a4dca32a1a91@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hi, since we missed that meeting last week, let's meet tomorrow (Nov 30th) at 14:00 CET on whereby.com/ocamllabs. The agenda is in the pad https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view (feel free to add your points). Best, Hannes On 15/11/2022 15:46, Reynir wrote: > Hello, > >> It seems that since the retreat, we have not properly updated our >> MirageOS >> meetings (although some have been organised). We should have warned you >> that these are coming back (once every fortnight). >> >> So, we propose to continue these useful meetings (in order to stay in >> sync >> with what we are doing). The next meeting will be held on 23 November at >> 14:00 UTC+1 (as usual) if this is convenient for you. > I drafted a meeting agenda (future meeting notes). Please feel free to > add any items. > > https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view > > Best, > Reynir > > From mirageos-devel-bounces@lists.xenproject.org Wed Nov 30 15:14:10 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 30 Nov 2022 15:14:10 +0000 Received: from list by lists.xenproject.org with outflank-mailman.449942.706998 (Exim 4.92) (envelope-from ) id 1p0OmX-0000G5-HS; Wed, 30 Nov 2022 15:13:53 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 449942.706998; Wed, 30 Nov 2022 15:13:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1p0OmX-0000Fy-Eo; Wed, 30 Nov 2022 15:13:53 +0000 Received: by outflank-mailman (input) for mailman id 449942; Wed, 30 Nov 2022 15:13:52 +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 1p0OmW-0000Fs-6u for mirageos-devel@lists.xenproject.org; Wed, 30 Nov 2022 15:13:52 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 980920da-70c1-11ed-91b6-6bf2151ebd3b; Wed, 30 Nov 2022 16:13:50 +0100 (CET) Received: from [192.168.0.217] (55d4c477.access.ecotel.net [85.212.196.119]) (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 36949493B for ; Wed, 30 Nov 2022 16:13:49 +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: 980920da-70c1-11ed-91b6-6bf2151ebd3b Message-ID: Date: Wed, 30 Nov 2022 16:13:48 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: MirageOS meeting 2022-11-30 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <630516db-486c-4638-3000-a4dca32a1a91@gmail.com> <2d6b491d-6ed2-e110-776c-94731e5d1bf9@mehnert.org> From: Hannes Mehnert In-Reply-To: <2d6b491d-6ed2-e110-776c-94731e5d1bf9@mehnert.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, please find the minutes below. Next meeting in 2 weeks, on Dec 14th. Have a nice day, Hannes # MirageOS meeting 2022-11-30 participants: mindy, pierre, taka, hannes, christiano, reynir, dinosaure ## Mirage-kv.batch (reynir, https://github.com/mirage/mirage-kv/issues/36) - the semantics as described in the documentation is not met - it is rather hard to implement in various scenarios (littlefs, tar) - let's just remove it from the interface, any KV implementation can always extend the interface ## Mirage-block (reynir, https://github.com/mirage/mirage-block-solo5/pull/28) - this is merged and released as part of mirage-block-solo5 0.8.1 :) ## Memory leak on `mirage-tcpip` (dinosaure, https://github.com/mirage/mirage-tcpip/issues/499) - a fiber is never cancelled and is kept alive indefinitely; memory leak - appears in http, bob, .. - if someone has knowledge about the codebase and knows how to fix it, dinosaure is eager to test it out :) - christiano took a look into the tcp library, and couldn't find a solution. Is more motivated for utcp (https://github.com/roburio/utcp) - previous patch on mirage-solo5 (to not sleep for paused tasks, mirage-solo5 0.9.1) amplifies the memory leak - christiano also mentions there may be a DoS if a future segment is received (i.e. some missing segment) - there's also a maybe related issue about memory usage in keepalive https://github.com/mirage/mirage-tcpip/issues/367 - and an issue that the window never opens https://github.com/mirage/mirage-tcpip/issues/340 ## `mmap` available on `Mirage_block.S` (dinosaure, https://github.com/mirage/mirage-block/issues/53) - dinosaure has an implementation to get a part of the block (similar to mmap), without being in the Lwt monad - at the moment, read is in Lwt.t, i.e. does not block, but returns the filled page(s) - dinosaure needs a blocking function that returns the data - the solo5 interface is already blocking (and synchronous), mirage-block-solo5 adds the asynchronous stuff - christiano mentions that it could be done with locking - maybe develop a block read-only interface with a synchronous read ## Qubes-mirage-firewall - released 0.8.3 (thanks Hannes!): https://github.com/mirage/qubes-mirage-firewall/releases/tag/v0.8.3 - pierre now uses 16MB memory for the qubes-firewall (but it is constantly collecting garbage, so let's stick to 32MB) - DemiMarie (a QubesOS developer) also mentioned that if mirage-qubes-firewall becomes fast enough, it could be the default firewall for QubesOS - proposed to be included in qubes community repository - https://github.com/QubesOS/qubes-issues/issues/7884 - https://github.com/mirage/qubes-mirage-firewall/issues/157 - next steps for development (if a OpenBSD/HardenedBSD sys-net is used, which doesn't have netback support) - https://github.com/jcholsap/freemod/issues/1 - https://forum.qubes-os.org/t/unable-to-shutdown-mirage-firewall-without-netvm-attached/13606/2 - there's a performance difference between TCP and UDP - iperf3 is not bidirectional by default, so the data may be stacking up, and the ACKS not being delivered - there may as well be more work done for TCP packets (header decoding, checksum computation) - christiano developed https://github.com/bluhm/tcpbench-portable as alternative to iperf ## `mirage/mirage` release? (dinosaure) - pierre is in favour of a release, due to mirage-block-ccm support - also mirage-skeleton has a ccm-block example, which doesn't compile with mirage 4.3.1 - is there a way in config.ml to restrict / lower bound a mirage version? - no, but we should work on such a check: - in config.ml specify the lower bound of mirage - mirage configure should check its version against the lower bound and complain if it is not compatible On 29/11/2022 18:54, Hannes Mehnert wrote: > Hi, > > since we missed that meeting last week, let's meet tomorrow (Nov 30th) > at 14:00 CET on whereby.com/ocamllabs. The agenda is in the pad > https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view (feel free to add your > points). > > > Best, > > Hannes > > On 15/11/2022 15:46, Reynir wrote: >> Hello, >> >>> It seems that since the retreat, we have not properly updated our >>> MirageOS >>> meetings (although some have been organised). We should have warned you >>> that these are coming back (once every fortnight). >>> >>> So, we propose to continue these useful meetings (in order to stay in >>> sync >>> with what we are doing). The next meeting will be held on 23 November at >>> 14:00 UTC+1 (as usual) if this is convenient for you. >> I drafted a meeting agenda (future meeting notes). Please feel free to >> add any items. >> >> https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view >> >> Best, >> Reynir >> >> > > From mirageos-devel-bounces@lists.xenproject.org Wed Nov 30 17:00:45 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 30 Nov 2022 17:00:45 +0000 Received: from list by lists.xenproject.org with outflank-mailman.450048.707201 (Exim 4.92) (envelope-from ) id 1p0QRl-0006jc-Kp; Wed, 30 Nov 2022 17:00:33 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 450048.707201; Wed, 30 Nov 2022 17:00:33 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1p0QRl-0006jV-I4; Wed, 30 Nov 2022 17:00:33 +0000 Received: by outflank-mailman (input) for mailman id 450048; Wed, 30 Nov 2022 17:00:32 +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 1p0QRj-0006ii-Bb for mirageos-devel@lists.xenproject.org; Wed, 30 Nov 2022 17:00:32 +0000 Received: from mta3.cl.cam.ac.uk (mta3.cl.cam.ac.uk [2001:630:212:200::25:3]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 7e8dfa46-70d0-11ed-8fd2-01056ac49cbb; Wed, 30 Nov 2022 18:00:29 +0100 (CET) Received: from router.pem.cam.ac.uk ([128.232.194.145]:16282 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 1p0QRh-00GD6i-JF (envelope-from ); Wed, 30 Nov 2022 17:00:29 +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: 7e8dfa46-70d0-11ed-8fd2-01056ac49cbb 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=V/PYViQTbJwtXYjRuk2TQbL+J9XQuLE7+RlgPEWUrcE=; t=1669827629; x=1670691629; b=RztPBAQr9KjPnNj/wUIkFIGe2olg5ahzsglH3JVauPWsp9qn4D4dyyp6vjUEJHcj+9r1Xjvkm/4 /Bj9jnbXxctfbloISFcZoZO1A6mXt6D/Z+wmb19dVI4S2L+TWtbaJH4oDzOayohf/Sy9PIiyHCGP2 8WI2WXrNOtkeQfbT86Ugy35k28mVh1H/5on1kyIyz3hRmvm/d2zvO9Qd7I0etLjYTcifdI32hWZg/ UI+q38lVvWehNHsuOi4t2fJY+bJGj2RckBKwcgsh0xnC2mjUtdmnsapaz2b/AGBSUWqELON19KhCO 5ObmRGLSQEO/F1426gyuVKJ5wLfimLKibZ7g==; From: Anil Madhavapeddy Message-Id: <14355FA8-5DF1-4EC1-B402-F654CAACC4C3@cl.cam.ac.uk> Content-Type: multipart/alternative; boundary="Apple-Mail=_DC682087-6AF4-4606-A3B0-1184C3EAFE27" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.200.110.1.12\)) Subject: Re: MirageOS meeting 2022-11-30 Date: Wed, 30 Nov 2022 17:00:15 +0000 In-Reply-To: Cc: mirageos-devel@lists.xenproject.org To: Hannes Mehnert References: <630516db-486c-4638-3000-a4dca32a1a91@gmail.com> <2d6b491d-6ed2-e110-776c-94731e5d1bf9@mehnert.org> X-Mailer: Apple Mail (2.3731.200.110.1.12) Received-SPF: pass client-ip=128.232.194.145; envelope-from=avsm2@cl.cam.ac.uk; helo=smtpclient.apple --Apple-Mail=_DC682087-6AF4-4606-A3B0-1184C3EAFE27 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii On 30 Nov 2022, at 15:13, Hannes Mehnert wrote: >=20 > ## `mmap` available on `Mirage_block.S` (dinosaure, = https://github.com/mirage/mirage-block/issues/53) > - dinosaure has an implementation to get a part of the block (similar = to mmap), without being in the Lwt monad > - at the moment, read is in Lwt.t, i.e. does not block, but returns = the filled page(s) > - dinosaure needs a blocking function that returns the data > - the solo5 interface is already blocking (and synchronous), = mirage-block-solo5 adds the asynchronous stuff > - christiano mentions that it could be done with locking > - maybe develop a block read-only interface with a synchronous read In general, having "automatic" scheduling via mmap is a bad idea for = anything non-trivial, since you slow to a crawl when under memory = pressure and having a lot of page faults. There's no way a caller can = determine whether or not a set of accesses will result in a blocking = fetch or not. It may be workable for a read-only mmap, but... why do you want it? To = get out of Lwt allocations? Anil= --Apple-Mail=_DC682087-6AF4-4606-A3B0-1184C3EAFE27 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii On 30 Nov = 2022, at 15:13, Hannes Mehnert <hannes@mehnert.org> = wrote:

## `mmap` available on `Mirage_block.S` = (dinosaure, https://github.com/mirage/mirage-block/issues/53)
- = dinosaure has an implementation to get a part of the block (similar to = mmap), without being in the Lwt monad
- at = the moment, read is in Lwt.t, i.e. does not block, but returns the = filled page(s)
- = dinosaure needs a blocking function that returns the data
- the solo5 interface is already blocking = (and synchronous), mirage-block-solo5 adds the asynchronous = stuff
- christiano mentions = that it could be done with locking
- maybe = develop a block read-only interface with a synchronous read

In general, having "automatic" = scheduling via mmap is a bad idea for anything non-trivial, since you = slow to a crawl when under memory pressure and having a lot of page = faults. There's no way a caller can determine whether or not a set of = accesses will result in a blocking fetch or = not.

It may be workable for a read-only mmap, = but... why do you want it? To get out of Lwt = allocations?

Anil
= --Apple-Mail=_DC682087-6AF4-4606-A3B0-1184C3EAFE27--