From mirageos-devel-bounces@lists.xenproject.org Fri Mar 02 14:40:58 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 02 Mar 2018 14:40:58 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1erlrZ-0002h2-Uw; Fri, 02 Mar 2018 14:40:45 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1erlrY-0002gw-Cb for mirageos-devel@lists.xenproject.org; Fri, 02 Mar 2018 14:40:44 +0000 X-Inumbo-ID: 8a43fa5a-1e27-11e8-ba59-bc764e045a96 Received: from mail-wm0-x229.google.com (unknown [2a00:1450:400c:c09::229]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 8a43fa5a-1e27-11e8-ba59-bc764e045a96; Fri, 02 Mar 2018 15:39:41 +0100 (CET) Received: by mail-wm0-x229.google.com with SMTP id t74so3591162wme.3 for ; Fri, 02 Mar 2018 06:40:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :cc:to; bh=YND149lt+wCtwhx/TwzCDw95AdD+AsO7yT3QXbQZX6c=; b=rvAqDa0dvn8iAp2vydqm3GnhTlcJok+QyzuXGp5lhkuxCNhnA7Mk0Xd9g/itoBYOpS d88MogMHubXenXKF9FkzlEPfRBpIKprWJiq+799jM+iPNZgpLiLAUhFps8JmE+Lj8VvJ Lyc4Eb4BGa2hh0J3AP/fLV3gT0mRND/pM2JgfiKx3WtYyWuyz/MpHpZb5ibBcrDIuMA1 I1cKWYVXz+w/JHBvg5glZlnwdHjkZsmYDr3gIWkP53O7tBxsSKwGTn3fKHPlzlKtoIr0 o6Fu62Dq/Q1c5dLJv4rwh4Bpk/QDoriptpVrShJTC2R/DC70MxAnqQBBmSTcCFiRyQYR INjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:cc:to; bh=YND149lt+wCtwhx/TwzCDw95AdD+AsO7yT3QXbQZX6c=; b=H27i82jbtzvAhpWPQ5Qf6zhFLHtd54OvbXRbWrDhA4mVl+9WBoieI9VjcJuIFrLCK5 UAnaf9YzLUGXgSVnnbnxN/Q+21xyJuHeShRAuwJa5j2ksRmG1VRakzFxDbcg1p08HeX2 PhGiZNx1FYdvaGnTObcUh6SHWhJsgULaGkh2Op5A/50ARSUs/p7AnManWXuN1Xsglr5C Rj3Do0fgsiYZKFVCKgfmtgfLTLalsPnd4CxiIhrPMIrJ2TfzJApr4YTcAekTzE2Zubse GUNrgDZwYFyOGthwMNR6soq2sD00gNecHGY09NSkpHL8YYiIqONtOlcmKCk/LOuPbji2 GTHQ== X-Gm-Message-State: APf1xPCrotarSTtau0S6PG9LUH3CQkFcuOLRgETWVSdR38ROFztM8aSI cL/9Qj6TtIGsJvwTfaaZtFUk+htO X-Google-Smtp-Source: AG47ELso0cWX7OPPJClJGlamZwB7YSo1PtHBZ4Ri3rwLefGf4mg4CYjbSMQpBGFQkw6LnK/hS0+bMg== X-Received: by 10.80.149.240 with SMTP id x45mr7404468eda.98.1520001640641; Fri, 02 Mar 2018 06:40:40 -0800 (PST) Received: from ?IPv6:2a00:c1a0:4883:a700:108f:25bb:5d0b:ddf5? ([2a00:c1a0:4883:a700:108f:25bb:5d0b:ddf5]) by smtp.gmail.com with ESMTPSA id v15sm6665470eda.38.2018.03.02.06.40.39 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 02 Mar 2018 06:40:39 -0800 (PST) From: Lars Kurth Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: Date: Fri, 2 Mar 2018 15:40:38 +0100 To: mirageos-devel@lists.xenproject.org X-Mailer: Apple Mail (2.3445.5.20) Subject: [MirageOS-devel] Notes from discussion with Hannes on MirageOS - Xen Project interaction, MirageOS workflow and Graduation from Incubation X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" SGkgYWxsLAoKSGFubmVzIGFuZCBJIGhhdmUgc2F0IHRvZ2V0aGVyIGZvciBhbiBob3VyIHRoaXMg d2VlayB3aXRoIHRoZSBwcmltYXJ5IGdvYWxzIHRvCiogRG9jdW1lbnQgc29tZSBvZiB0aGUgcm9s ZXMsIGFjdGl2aXRpZXMsIGV0Yy4gd2l0aGluIE1pcmFnZSBPUwoqIFRoaXMgd2l0aCBkb25lIHdp dGggYSB2aWV3IG9mIGlkZW50aWZ5aW5nIGFueSBnYXBzIGFuZCBpc3N1ZXMgdGhhdCB3b3VsZCBu ZWVkIHRvIAogIGJlIGxvb2tlZCBhdCBieSB0aGUgTWlyYWdlT1MgY29tbXVuaXR5IHRvIGdyYWR1 YXRlIHRvIGEgTWF0dXJlIHByb2plY3QuCgpUaGUgZG9jdW1lbnQgaXMgYXQgKHlvdSBjYW4gY29t bWVudCAtIGlmIHlvdSBkbywgcGxlYXNlIHN0YXRlIHlvdXIgbmFtZSwgaWYgeW91IGRvbid0Cmxv ZyBpbik6Cmh0dHBzOi8vZG9jcy5nb29nbGUuY29tL2RvY3VtZW50L2QvMUY4Yklnak1DZWRNLTJj UENFM2c4MmpBajBWRkZpS2t5M1k2WE9vdlE1LTgvZWRpdD91c3A9c2hhcmluZwoKWW91IG1heSBh bHNvIHdhbnQgdG8gZGlzY3VzcyBzb21lIG9mIHRoZSBpdGVtcyBhdCB0aGUgSGFja2F0aG9uLiBB dCBzb21lIHBvaW50LCB3ZSBzaG91bGQKcHJvYmFibHkgYWxzbyBkaXNjdXNzIGF0IGFuIElSQyBt ZWV0aW5nLgoKUmVnYXJkcwpMYXJzCgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZl bEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxt YW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Wed Mar 07 10:00:30 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 07 Mar 2018 10:00:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1etVrr-0004FG-GO; Wed, 07 Mar 2018 10:00:15 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1etVrq-0004Er-Kn for mirageos-devel@lists.xenproject.org; Wed, 07 Mar 2018 10:00:14 +0000 X-Inumbo-ID: 29e26e16-21ee-11e8-ba59-bc764e045a96 Received: from mail-wm0-x22a.google.com (unknown [2a00:1450:400c:c09::22a]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 29e26e16-21ee-11e8-ba59-bc764e045a96; Wed, 07 Mar 2018 10:59:04 +0100 (CET) Received: by mail-wm0-x22a.google.com with SMTP id 139so3526435wmn.2; Wed, 07 Mar 2018 02:00:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:subject:from:in-reply-to:date:cc:message-id:references :to; bh=PLUcMmm++3zt0rNzt+qnRvxL3SkVXclrIgxUgXK+GWM=; b=qJ4APIlVPn7Z0M7STBZ9830C+M8cz+TmLktoJCEm1eo4xunG5wjsHjlJsCFD7UFR5I XWVNUEIXHWZ/+pyioLK37ymUBgHQNE7H6PBbPu1gFqsaGOEYOQrSc09r3R8X41WE9VwZ nUQ9USs5+vfN/UORlaPLqUJ2l88i5gItEFQaOAFYO0h3a1vNfjaYuSpdlEhhZ+QkrvT3 Fz/eLI1RjcxX38Bcjp5qJ9yl5fRBo8XQXd88sfg0VryUepNTlJFhydos3l0uV/N8jGzn mr+BvbCX9Oimt0pA1Q2NURZH1THwuQcAV7uW8kZVG/ujhkNJmqHs9t0KJnqhNxb3Cdry 7VYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :message-id:references:to; bh=PLUcMmm++3zt0rNzt+qnRvxL3SkVXclrIgxUgXK+GWM=; b=LH8BCjJn82rQITZTa9+YWcgt8ezC3JKEnc/fsc9fzIyEExYeS4xw1aN8cBEWQIE8VF 8OpaWeu2pKzR78WtQ0BqMRBQKPuDy8HdI9pyTjXfDPr4dZLAN1VrovzQToilOmIW8+zm /mVaz0POF3zCEQYSHimxLOJlIO4sFesEttspJ8UkUIiK1q3mUrJnBSK95r1SzLx0J9rU MvqDC9TlCqrduTSMdd1Q2WNAzUcgMtc3jTR/6t4oflN4mU1Jjdc0n18M9gg8aKn3vITC h9Ov3X/i2tVk+2JTn5p7mgd62LpI78ijccWimLEw6ckQbRdsqjs2dfZpiQg4VkghOX80 dEow== X-Gm-Message-State: APf1xPCmnCmlfinG1PeEfBcsRUOpCTagGhecGB8wYMRAefO6Y+NCkCWV MeqoMJtegzlUwSoModrmt1QdOtoG X-Google-Smtp-Source: AG47ELvtQeLVt4H1e7uX5RAVoUk77ExjcjxoTkg3wZi4cHo06ODLsTLizrftX9cBkEwupLMAgTmaVw== X-Received: by 10.80.195.78 with SMTP id q14mr27309392edb.254.1520416809943; Wed, 07 Mar 2018 02:00:09 -0800 (PST) Received: from ?IPv6:2a00:c1a0:4883:a700:28ff:4b76:e09b:11a1? ([2a00:c1a0:4883:a700:28ff:4b76:e09b:11a1]) by smtp.gmail.com with ESMTPSA id z7sm10333203edb.46.2018.03.07.02.00.08 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 07 Mar 2018 02:00:09 -0800 (PST) Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) From: Lars Kurth In-Reply-To: <7B105F1A-A54A-4613-8108-91D96DEB9708@gmail.com> Date: Wed, 7 Mar 2018 11:00:07 +0100 Message-Id: References: <7B105F1A-A54A-4613-8108-91D96DEB9708@gmail.com> To: xen-devel , mirageos-devel@lists.xenproject.org, unikraft-devel@lists.xenproject.org, win-pv-devel@lists.xenproject.org, embedded-pv-devel@lists.xenproject.org, xen-api@lists.xenproject.org X-Mailer: Apple Mail (2.3445.5.20) Cc: advisory-board@lists.xenproject.org, committers@xenproject.org Subject: Re: [MirageOS-devel] Save the date: Xen Project Developer Summit, Nanjing, China, June 20-22 (Wednesday - Friday) X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============3306000932961612963==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============3306000932961612963== Content-Type: multipart/alternative; boundary="Apple-Mail=_57E2C50C-4D64-4C0A-82C5-593101269260" --Apple-Mail=_57E2C50C-4D64-4C0A-82C5-593101269260 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hi everyone, a quick update. We finally have the contract in hand: that took a lot = longer than expected as we didn't realise that contracts which involve = foreign events hosted in China, need to be vetted by the Chinese = government. My LF contact will meet the Linux Foundation's contract specialist later = today to make sure there are no large red flags: hopefully there aren't = any which means we will be able to offically announce the event, publish = the website, etc. this week. Best Regards Lars > On 5 Feb 2018, at 15:52, Lars Kurth wrote: >=20 > Dear Community members, >=20 > we finalized the Xen Project Developer Summit proposal with the event = hotel. Apologies this has taken so long. >=20 > The event will be held at the Crowne Plaza Nanjing Jiangning = . I am still waiting = for the schedule to put registration and the website into place, as well = as CfP time-table, but this should all be done within a couple of weeks = or so. > The cost per hotel room is $135/night + taxes. > The dates for the summit are June 20-22 (Wednesday - Friday), allowing = attendees to travel to Beijing and attend LinuxCon China the following = Monday. =20 >=20 > For those, who want to attend LinuxCon as well as the Dev Summit, the = LinuxCon CfP is still open until March 4th (see = https://www.lfasiallc.com/linuxcon-containercon-cloudopen-china/cfp = ) > =20 > I will provide more information on travel logistics, etc. a little = later >=20 > Best Regards > Lars --Apple-Mail=_57E2C50C-4D64-4C0A-82C5-593101269260 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii Hi = everyone,

a quick = update. We finally have the contract in hand: that took a lot = longer than expected as we didn't realise that contracts which involve = foreign events hosted in China, need to be vetted by the Chinese = government.

My = LF contact will meet the Linux Foundation's contract specialist later = today to make sure there are no large red flags: hopefully there aren't = any which means we will be able to offically announce the event, publish = the website, etc. this week.

Best Regards
Lars

On 5 Feb 2018, at 15:52, Lars = Kurth <lars.kurth.xen@gmail.com> wrote:

Dear Community = members,

we = finalized the Xen Project Developer Summit proposal with the event = hotel. Apologies this has taken so long.

The event will be held at the Crowne Plaza Nanjing Jiangning. I am still = waiting for the schedule to put registration and the website into place, = as well as CfP time-table, but this should all be done within a couple = of weeks or so.
The cost per hotel room is $135/night + = taxes.
The = dates for the summit are June 20-22 (Wednesday - Friday), allowing = attendees to travel to Beijing and attend LinuxCon China the following = Monday.  

For = those, who want to attend LinuxCon as well as the Dev Summit, the = LinuxCon CfP is still open until March 4th (see https://www.lfasiallc.com/linuxcon-containercon-cloudopen-china= /cfp)
 
I will provide more information on travel = logistics, etc. a little later

Best Regards
Lars
= --Apple-Mail=_57E2C50C-4D64-4C0A-82C5-593101269260-- --===============3306000932961612963== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============3306000932961612963==-- From mirageos-devel-bounces@lists.xenproject.org Fri Mar 09 15:09:33 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 09 Mar 2018 15:09:33 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1euJe3-0005Fw-Lx; Fri, 09 Mar 2018 15:09:19 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1euJe2-0005Fq-4z for mirageos-devel@lists.xenproject.org; Fri, 09 Mar 2018 15:09:18 +0000 X-Inumbo-ID: a9a7c8eb-23ab-11e8-ba59-bc764e045a96 Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id a9a7c8eb-23ab-11e8-ba59-bc764e045a96; Fri, 09 Mar 2018 16:08:04 +0100 (CET) Received: from nodbug.lucina.net (dynrak234g-166-132-67-105.inwitelecom.net [105.67.132.166]) by smtp.lucina.net (Postfix) with ESMTPSA id 10092122804 for ; Fri, 9 Mar 2018 16:09:14 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1520608154; bh=+jzqh584UpnD0JQyDDDwIMx5oCmCYISobSFr9a6nNUI=; h=Date:From:To:Subject:From; b=eGOWI0LKkhoZgu09p9De/C82Ohw8mqFAaHzewhQ8YT18/eIx4Cy8XIrc+BbjwjaA1 OooYcsNtJD31VDeHjDWIb95TnThfRDpy71WEwvU6imTg8V3wSIHIP8J+i5yGjhg9bR DspicS3si4KWSTtDi4MLdZd34rNoVcM8a4giZPXmpGNM9SQs5ij+ysn9KWGz369EYM CfnZSwky8zeoUCVw68AKpMfYHfNWVyZ7PLo7ipIaKCByVne/jNdJPaNnEZBC5DyCOl FfBflbXZR1SDr96vPuqmK2KjPhcj4+Uv4o7jQlvod21rXf1TWf0CgrcvouHJ15cz+m uU9GtyhGEDXug== Received: by nodbug.lucina.net (Postfix, from userid 1000) id B95FB2175E7B; Fri, 9 Mar 2018 16:09:12 +0100 (CET) Date: Fri, 9 Mar 2018 16:09:12 +0100 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180309150912.v2zmfbt263c3o7ug@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org MIME-Version: 1.0 Content-Disposition: inline User-Agent: NeoMutt/20170113 (1.7.2) Subject: [MirageOS-devel] New repository for MirageOS propaganda X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" SGkgYWxsLAoKSSd2ZSBjcmVhdGVkIGEgbmV3IHJlcG9zaXRvcnkgaW4gdGhlIG1pcmFnZSBvcmdh bmlzYXRpb24sCiJtaXJhZ2UtcHJvcGFnYW5kYSIuIFRoaXMgaXMgaW50ZW5kZWQgZm9yIHN0b3Jp bmcgdGhpbmdzIGxpa2UgYSB2aXN1YWwKaWRlbnRpdHksIGxvZ29zLCB0LXNoaXJ0IGRlc2lnbnMg YW5kIHNvIG9uLiBJJ3ZlIHNlZWRlZCBpdCB3aXRoIGEgYmFyZQpSRUFETUUgYW5kIGEgQ0MtQlkt U0EtNC4wIGxpY2Vuc2UuCgpULXNoaXJ0IGRlc2lnbnMgZm9yIHRoZSBvbmdvaW5nIE1hcnJha2Vz aCBoYWNrYXRob25zIHdpbGwgbGFuZCBpbiBhIFBSCnNvb24uCgpHZW1tYSwgaWYgeW91J3JlIGhh cHB5IHdpdGggdGhlIGxpY2Vuc2UgY2FuIHlvdSBwbGVhc2Ugb3BlbiBhIFBSIGFkZGluZwp5b3Vy IGFydHdvcmsgYW5kIGxhc3QgeWVhcidzIGRlc2lnbnM/CgpUaGFua3MsCgotbWF0bwoKX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwg bWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8v bGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Sun Mar 11 15:15:53 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 11 Mar 2018 15:15:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ev2hC-0002yI-UV; Sun, 11 Mar 2018 15:15:34 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ev2hB-0002yC-FF for mirageos-devel@lists.xenproject.org; Sun, 11 Mar 2018 15:15:33 +0000 X-Inumbo-ID: 6156f8d0-253f-11e8-b9b1-635ca7ef6cff Received: from spamtitan.xlab.si (unknown [91.217.255.70]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 6156f8d0-253f-11e8-b9b1-635ca7ef6cff; Sun, 11 Mar 2018 15:17:59 +0000 (UTC) X-Virus-Scanned: by SpamTitan at xlab.si Received: from jcpc.xlab.lan (5-255-217-91.xlab.si [91.217.255.5]) by zimbra.xlab.si (Postfix) with ESMTPSA id 4EC1A5BB38B1 for ; Sun, 11 Mar 2018 16:15:22 +0100 (CET) To: mirageos-devel@lists.xenproject.org From: Justin Cinkelj Message-ID: <1408b544-230e-ed37-36c3-3857e9fb03ed@xlab.si> Date: Sun, 11 Mar 2018 16:15:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] Trivial C code crashes at Int_val() function X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============5401574896978804463==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" This is a multi-part message in MIME format. --===============5401574896978804463== Content-Type: multipart/alternative; boundary="------------9AE6263FE9FED8F578723BF6" Content-Language: en-US This is a multi-part message in MIME format. --------------9AE6263FE9FED8F578723BF6 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Hi I have problem described in https://github.com/mirage/mirage-skeleton/issues/2511. Addition of trivial C code work when compiling mirageOS for unix platform, but crashes when compiled and run as Xen VM. Example C code: |void read_int_real(int aa) {  asm(""); // will prevent optimization (e.g. removing whole function)?  aa = aa*2; } CAMLprim value read_int(value aa) {  CAMLparam1(aa);  read_int_real(Int_val(aa));  CAMLreturn(Val_unit); } | Called as in |external read_int : int -> unit = "read_int" let bb = (read_int aa; 33) in ... | Any hint what is the cause? Complete example is at https://github.com/justinc1/mirage-skeleton/tree/jc-crash-issue-251, commit 1da971caae5295d47588b6dc9637e68e2b0c7f89. Also, if someone can point me at how to direct "mirage configure -t xen, make depends" to include additional C files. BR and thank you Justin --------------9AE6263FE9FED8F578723BF6 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit
Hi

I have problem described in https://github.com/mirage/mirage-skeleton/issues/2511.
 Addition of trivial C code work when compiling mirageOS for unix platform, but crashes when compiled and run as Xen VM. Example C code:

void read_int_real(int aa) {
 asm(""); // will prevent optimization (e.g. removing whole function)?
 aa = aa*2;
}

CAMLprim value read_int(value aa) {
 CAMLparam1(aa);
 read_int_real(Int_val(aa));
 CAMLreturn(Val_unit);
}

Called as in

external read_int : int -> unit = "read_int"
let bb = (read_int aa; 33) in ...

Any hint what is the cause?
Complete example is at https://github.com/justinc1/mirage-skeleton/tree/jc-crash-issue-251, commit 1da971caae5295d47588b6dc9637e68e2b0c7f89.

Also, if someone can point me at how to direct "mirage configure -t xen, make depends" to include additional C files.

BR and thank you
Justin




--------------9AE6263FE9FED8F578723BF6-- --===============5401574896978804463== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============5401574896978804463==-- From mirageos-devel-bounces@lists.xenproject.org Tue Mar 13 22:09:06 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 13 Mar 2018 22:09:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evs6F-0001Rn-DK; Tue, 13 Mar 2018 22:08:51 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evs6E-0001Rh-IV for mirageos-devel@lists.xenproject.org; Tue, 13 Mar 2018 22:08:50 +0000 X-Inumbo-ID: 18fccebf-270b-11e8-9728-bc764e045a96 Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 18fccebf-270b-11e8-9728-bc764e045a96; Tue, 13 Mar 2018 23:08:46 +0100 (CET) Received: from nodbug.lucina.net (dynrak234g-217-6-67-105.inwitelecom.net [105.67.6.217]) by smtp.lucina.net (Postfix) with ESMTPSA id 2CE64122804 for ; Tue, 13 Mar 2018 23:08:47 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1520978927; bh=sdclSKeaAnDIyI8inZUh7T0nK7lnoGEwIOIV8AY5AR0=; h=Date:From:To:Subject:References:In-Reply-To:From; b=wcGvVOluYMsWffmdNsWs/i6z5Q/RxRllzrjLq1Z0VyJ7YHsl1KFGxK0Ngtw2Ylift cJVNpz/eOWH2td9xFfEECmFFSlJhiwX8g/d4CkXwOTPhejVFqonlfD2lfULr2FtKwg ufn5IYxsqqnw2rV4F8SAs91Q6StWQZG+xTMSd46kA9e512Esfg0wQZE39tuoj+IJQG LUkyNmJnIRUbceuriBAKFTZ3IHFuK+M9xNQMKn71LZIs6XPM06Gr/utkP5AssoH8Vb XWs3/Ng3Zw8lsDrSankv/x8Krjn0Zy94gJMS9hgyFhzrsDvdhPS4GhnS4PAeQTTRN8 NTsTltftKekuw== Received: by nodbug.lucina.net (Postfix, from userid 1000) id D9E622175E7A; Tue, 13 Mar 2018 23:08:45 +0100 (CET) Date: Tue, 13 Mar 2018 23:08:45 +0100 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180313220845.ee3vve3jffjoojot@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org References: <05727A84-C439-48D4-970B-E65A87F96D22@cam.ac.uk> <0180785a-a5b1-0c92-f76e-16d9903057b7@somerandomidiot.com> <3A9E1C56-2B54-431F-AEB9-08C02958BFCA@recoil.org> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gTW9uZGF5LCAwNS4wMi4yMDE4IGF0wqAxMDowNCwgSklNIFl1YW4gd3JvdGU6Cj4gSnVzdCBh biB1cGRhdGUgb24gdGhpcy4KPiAKPiBJIHRyaWVkIHRvIHJ1biB0aGlzIG9uIFVidW50dSAxNC4w NCB3aXRoIFhlbiA0LjQuIEl0IHdvcmtzIDopCgpUaGlzIGxvb2tzIGxpa2UgdGhlIGV4YWN0IHNh bWUgaXNzdWUgYXMgdGhhdCBkZXNjcmliZWQgYnkgVml0dG9yaW8gaW4KaHR0cHM6Ly9naXRodWIu Y29tL21pcmFnZS9taXJhZ2Utc2tlbGV0b24vaXNzdWVzLzI1MSBhbmQgbm93IGFsc28gY29uZmly bWVkCmJ5IGEgM3JkIHBlcnNvbiAoQGp1c3RpbmMxKSwgd2hvIGFsc28gY29uZmlybXMgdGhlIHNh bWUgdG9vbGNoYWluIGJlaGF2aW91cgood29ya3Mgd2hlbiBidWlsdCBvbiB1YnVudHUgMTQuMDQu MDUsIGNyYXNoZXMgd2hlbiBidWlsdCBvbiB1YnVudHUKMTYuMDQuOSkuCgpMb29rcyBsaWtlIGEg dG9vbGNoYWluIHVzZSBvZiBUTFMgKEZTLXJlbGF0aXZlIGFkZHJlc3NpbmcpIHdoZW4gd2UKKE1p bmktT1MpIGRvbid0IHN1cHBvcnQgdGhhdC4KCkFtIGxvb2tpbmcgaW50byBpdC4KCi1tYXRvCgpf X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1k ZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0 cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVs Cg== From mirageos-devel-bounces@lists.xenproject.org Tue Mar 13 22:11:12 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 13 Mar 2018 22:11:12 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evs8V-0001zs-L3; Tue, 13 Mar 2018 22:11:11 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evs8U-0001zk-B6 for mirageos-devel@lists.xenproject.org; Tue, 13 Mar 2018 22:11:10 +0000 X-Inumbo-ID: 6df1e274-270b-11e8-8248-2fda3a446a53 Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 6df1e274-270b-11e8-8248-2fda3a446a53; Tue, 13 Mar 2018 22:11:08 +0000 (UTC) Received: from nodbug.lucina.net (dynrak234g-217-6-67-105.inwitelecom.net [105.67.6.217]) by smtp.lucina.net (Postfix) with ESMTPSA id 0197D122804 for ; Tue, 13 Mar 2018 23:11:03 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1520979063; bh=7luSZSaYF009O3Ok9K4b1Q24hxbf8Cq//gwtr/ZCfMo=; h=Date:From:To:Subject:References:In-Reply-To:From; b=obIJmsTCCxSElWO8FcXdHoygIOd7QN11qdL48rzUoiHdOBVZI0VwtxoOA4/85C3/Y naWFCK7zd+r2rGx+X6bvkgSsc1a2QilRuaasQEHU4BNg4lrL+PIhLHKyjAXDindtUX rZ9ZSFBRtQQTeCyng9R9+BADnrIgLMWOvrNzTxR2eeOVq6RpIPFw+blZ/BsTV4fDmj 4EYU535mwIqSDNrxp6kstIWTUHWvBg2v5KhnajAPuNy5EUHnQfe8wc8WUTkUsWfyc1 nojmgMaHnBOipBkHxBwecLfGo55P1uF0apZtBbe1f+7YJ1gfMGeLvckFAFfl7m50sS KpGYvSZ9PsoIg== Received: by nodbug.lucina.net (Postfix, from userid 1000) id E0AEC2175E7A; Tue, 13 Mar 2018 23:11:01 +0100 (CET) Date: Tue, 13 Mar 2018 23:11:01 +0100 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180313221101.ae32m6j27nmnftbt@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org References: <1408b544-230e-ed37-36c3-3857e9fb03ed@xlab.si> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <1408b544-230e-ed37-36c3-3857e9fb03ed@xlab.si> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [MirageOS-devel] Trivial C code crashes at Int_val() function X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gU3VuZGF5LCAxMS4wMy4yMDE4IGF0wqAxNjoxNSwgSnVzdGluIENpbmtlbGogd3JvdGU6Cj4g QW55IGhpbnQgd2hhdCBpcyB0aGUgY2F1c2U/Cj4gQ29tcGxldGUgZXhhbXBsZSBpcyBhdAo+IGh0 dHBzOi8vZ2l0aHViLmNvbS9qdXN0aW5jMS9taXJhZ2Utc2tlbGV0b24vdHJlZS9qYy1jcmFzaC1p c3N1ZS0yNTEsIGNvbW1pdAo+IDFkYTk3MWNhYWU1Mjk1ZDQ3NTg4YjZkYzk2MzdlNjhlMmIwYzdm ODkuCgpUaGFua3MgZm9yIHRoZSByZXBvcnQ7IEkndmUgcmVwbGllZCBvbiBHaXRodWIgYW5kIGlu IGEgcHJldmlvdXMgdGhyZWFkIHRoYXQKbG9va3MgbGlrZSBhIGR1cGxpY2F0ZS4KCj4gQWxzbywg aWYgc29tZW9uZSBjYW4gcG9pbnQgbWUgYXQgaG93IHRvIGRpcmVjdCAibWlyYWdlIGNvbmZpZ3Vy ZSAtdCB4ZW4sCj4gbWFrZSBkZXBlbmRzIiB0byBpbmNsdWRlIGFkZGl0aW9uYWwgQyBmaWxlcy4K CkkgZG9uJ3QgdGhpbmsgdGhlcmUncyBhIHN0cmFpZ2h0Zm9yd2FyZCB3YXkgdG8gaW5jbHVkZSBD IGNvZGUgZGlyZWN0bHkgYXQKdGhlIGZpbmFsIHVuaWtlcm5lbCBidWlsZC4gWW91J2QgcHJvYmFi bHkgbmVlZCB0byBidWlsZCBhIHNlcGFyYXRlIE9DYW1sCm1vZHVsZSAvIG9wYW0gcGFja2FnZSBh bmQgYWNjZXNzIHRoYXQgZnJvbSB5b3VyIHVuaWtlcm5lbC4KCi1tYXRvCgpfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5n IGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54 ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Wed Mar 14 13:27:10 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 14 Mar 2018 13:27:10 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ew6Qm-0006Bs-Sr; Wed, 14 Mar 2018 13:27:00 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ew634-0004JF-Ku for mirageos-devel@lists.xenproject.org; Wed, 14 Mar 2018 13:02:30 +0000 X-Inumbo-ID: f4064af4-2787-11e8-8248-2fda3a446a53 Received: from mail-wr0-f175.google.com (unknown [209.85.128.175]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id f4064af4-2787-11e8-8248-2fda3a446a53; Wed, 14 Mar 2018 13:02:30 +0000 (UTC) Received: by mail-wr0-f175.google.com with SMTP id o1so4636653wro.10 for ; Wed, 14 Mar 2018 06:02:24 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=JNSxHP2TPUfGa/8Zh3BdolDHgEnWZ1SThLoh/tMsunw=; b=f3oRpAo21TE0TLw4Z9t25+CS5FoS9F6Q7xKIKd+lYbUfToXjAsarAm65uunLJ316Dh RQwN+/vxUtad1vsXpU7POr28KsPWvCxwFoeIkKYAkDybb04285LmHRpZtmYgXMUpoT9q XIkoSoP9t5U5bYgoZgZWZ1hkmEgMFzsLePbLNTiTRXnr1uAsdTCAZsIFvvG3QGlIeIRY 6NTax3t+vzTDiNr5Ki6R9pHzssRc6GdFfwOm/TCKHR6Icweoegd+kxHeRLq/DfCW6HVu G2EsDix2l4eiSuj+VOLXF6HKOSLYQkLX037cOw9X84QnIMewrM5k9wxMEasB758zBEMM PHeQ== X-Gm-Message-State: AElRT7EWVjaQct/6Lzeu7f/YaV8ha9qOaa0J0QkjtEWEBW8xKTcmRM14 R/aVfC2TA2fbpB+gp/D6sOLcYoOs X-Google-Smtp-Source: AG47ELur0S0EqmJKNfxCbdQOna4FfouCHgab/K4LdUGhyrIVLmeHnUZsyTLaKMw7l2MUsaarNUEHWQ== X-Received: by 10.223.142.13 with SMTP id n13mr3541142wrb.133.1521032542955; Wed, 14 Mar 2018 06:02:22 -0700 (PDT) Received: from ?IPv6:2a01:e35:8bec:6080:c834:3ac1:f6b2:c04a? ([2a01:e35:8bec:6080:c834:3ac1:f6b2:c04a]) by smtp.gmail.com with ESMTPSA id s21sm2387573wra.45.2018.03.14.06.02.18 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 Mar 2018 06:02:19 -0700 (PDT) Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) From: Thomas Gazagnaire In-Reply-To: <7198f820-e193-3e2b-2f7c-86ec0977eb43@somerandomidiot.com> Date: Wed, 14 Mar 2018 14:02:17 +0100 Message-Id: References: <7198f820-e193-3e2b-2f7c-86ec0977eb43@somerandomidiot.com> To: mirageos-devel X-Mailer: Apple Mail (2.3445.5.20) X-Mailman-Approved-At: Wed, 14 Mar 2018 13:27:00 +0000 Subject: Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 28 February at 16.00 UTC X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" SSBhbSBzZW5kaW5nIHRoaXMgbWVzc2FnZSBvbiBiZWhhbGYgb2YgTWluZHkgYXMgc2hlIGlzIHN0 dWNrIHdpdGggYSBiYWQgaW50ZXJuZXQgYWNjZXNzIChhbmQgcHJvYmFibHkgZW5qb3lpbmcgdGhl IHN1biBhbmQgYW5kIHRoZSBmb29kIHRvbyBzbyBpdCdzIG5vdCBzbyBiYWQgOnApCgotLS0KCkFs bCwKCkFzIG1hbnkgb2YgdXMgYXJlIGVpdGhlciBhdCB0aGUgTWFycmFrZXNoIGhhY2sgcmV0cmVh dCBvciBpbiB0cmFuc2l0LCB3ZSBtaWdodCBoYXZlIGEgbW9yZSBwcm9kdWN0aXZlIG1lZXRpbmcg bmV4dCB3ZWVrIChXZWRuZXNkYXkgMjEgTWFyY2ggMjAxOCkgYXQgdGhlIHNhbWUgdGltZSAoMTYu MDAgVVRDIC0tIEFtZXJpY2FucyBwbGVhc2Ugbm90ZSB0aGF0IHRoZSB0aW1lIGlzIHN0aWxsIDE2 LjAwIFVUQyBhcyBCcml0aXNoIFN1bW1lciBUaW1lIGRvZXMgbm90IGJlZ2luIHVudGlsIDI1IE1h cmNoWzFdKS4gIElmIHdlIGNvbnRpbnVlIHRoZSBiaXdlZWtseSBzY2hlZHVsZSBhZnRlciB0aGF0 LCB0aGUgbWVldGluZyBkYXRlcyBmb3IgMjAxOCB3aWxsIGJlOgoKMjEgTWFyY2gKNCBBcHJpbCAo dGltZSBjaGFuZ2VzIHRvIDE2LjAwIFVUQysxKQoxOCBBcHJpbAoyIE1heQoxNiBNYXkKMzAgTWF5 CjEzIEp1bmUKMjcgSnVuZQoxMSBKdWx5CjI1IEp1bHkKOCBBdWd1c3QKMjIgQXVndXN0CjUgU2Vw dGVtYmVyCjE5IFNlcHRlbWJlcgozIE9jdG9iZXIKMTcgT2N0b2JlcgozMSBPY3RvYmVyICh0aW1l IGNoYW5nZXMgdG8gMTYuMDAgVVRDKzApCjE0IE5vdmVtYmVyCjI4IE5vdmVtYmVyCjEyIERlY2Vt YmVyCjI2IERlY2VtYmVyCgo+IE9uIDI4IEZlYiAyMDE4LCBhdCAxNTo1NCwgTWluZHkgUHJlc3Rv biA8bWluZHlAc29tZXJhbmRvbWlkaW90LmNvbT4gd3JvdGU6Cj4gCj4gSGVsbG8gZXZlcnlvbmUh Cj4gCj4gV2UnbGwgaGF2ZSBvbmUgb2Ygb3VyIHJlZ3VsYXJseS1zY2hlZHVsZWQgYml3ZWVrbHkg SVJDIGNhdGNodXBzIGF0IDE2LjAwIFVUQyB0b2RheS4gIFdlIG1lZXQgaW4gI21pcmFnZSBvbiBp cmMuZnJlZW5vZGUubmV0IC4KPiAKPiBQbGVhc2UgYWRkIGl0ZW1zIHRvIHRoZSBhZ2VuZGEgYXQg aHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9taXJhZ2Utd3d3L3dpa2kvY2FsbC1hZ2VuZGEgLgo+ IAo+IFRoYW5rIHlvdSwKPiAKPiAtTWluZHkKPiAKPiAKPiBfX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fXwo+IE1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdAo+ IE1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4gaHR0cHM6Ly9saXN0cy54ZW5w cm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCgoKX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGlu ZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMu eGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Wed Mar 14 16:26:52 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 14 Mar 2018 16:26:52 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ew9Ei-000220-TH; Wed, 14 Mar 2018 16:26:44 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ew9Eh-00021u-Nq for mirageos-devel@lists.xenproject.org; Wed, 14 Mar 2018 16:26:43 +0000 X-Inumbo-ID: 7b8db149-27a4-11e8-8248-2fda3a446a53 Received: from mslow1.mail.gandi.net (unknown [217.70.178.240]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTP id 7b8db149-27a4-11e8-8248-2fda3a446a53; Wed, 14 Mar 2018 16:26:43 +0000 (UTC) Received: from relay1-d.mail.gandi.net (unknown [217.70.183.193]) by mslow1.mail.gandi.net (Postfix) with ESMTP id AF5EB4ABEF8 for ; Wed, 14 Mar 2018 12:16:30 +0100 (CET) X-Originating-IP: 160.176.138.15 Received: from [10.137.0.16] (unknown [160.176.138.15]) (Authenticated sender: guybrush@somerandomidiot.com) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 69C4E24002D for ; Wed, 14 Mar 2018 12:16:25 +0100 (CET) From: Mindy Preston To: mirageos-devel@lists.xenproject.org Message-ID: <35082bb4-515e-d4fc-fb19-5d0ec0e281a1@somerandomidiot.com> Date: Wed, 14 Mar 2018 06:16:15 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] Proposal: move biweekly (fortnightly) MirageOS IRC catchups to opposite week (next meeting: 21 March 2018) X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" QWxsLAoKQXMgbWFueSBvZiB1cyBhcmUgZWl0aGVyIGF0IHRoZSBNYXJyYWtlc2ggaGFjayByZXRy ZWF0IG9yIGluIHRyYW5zaXQsIHdlIAptaWdodCBoYXZlIGEgbW9yZSBwcm9kdWN0aXZlIG1lZXRp bmcgbmV4dCB3ZWVrIChXZWRuZXNkYXkgMjEgTWFyY2ggMjAxOCkgCmF0IHRoZSBzYW1lIHRpbWUg KDE2LjAwIFVUQyAtLSBBbWVyaWNhbnMgcGxlYXNlIG5vdGUgdGhhdCB0aGUgdGltZSBpcyAKc3Rp bGwgMTYuMDAgVVRDIGFzIEJyaXRpc2ggU3VtbWVyIFRpbWUgZG9lcyBub3QgYmVnaW4gdW50aWwg MjUgCk1hcmNoWzFdKS7CoCBJZiB3ZSBjb250aW51ZSB0aGUgYml3ZWVrbHkgc2NoZWR1bGUgYWZ0 ZXIgdGhhdCwgdGhlIG1lZXRpbmcgCmRhdGVzIGZvciAyMDE4IHdpbGwgYmU6CgoyMSBNYXJjaAoK NCBBcHJpbCAodGltZSBjaGFuZ2VzIHRvIDE2LjAwIFVUQysxKQoKMTggQXByaWwKCjIgTWF5Cgox NiBNYXkKCjMwIE1heQoKMTMgSnVuZQoKMjcgSnVuZQoKMTEgSnVseQoKMjUgSnVseQoKOCBBdWd1 c3QKCjIyIEF1Z3VzdAoKNSBTZXB0ZW1iZXIKCjE5IFNlcHRlbWJlcgoKMyBPY3RvYmVyCgoxNyBP Y3RvYmVyCgozMSBPY3RvYmVyICh0aW1lIGNoYW5nZXMgdG8gMTYuMDAgVVRDKzApCgoxNCBOb3Zl bWJlcgoKMjggTm92ZW1iZXIKCjEyIERlY2VtYmVyCgoyNiBEZWNlbWJlcgoKClsxXSBodHRwczov L3d3dy5nb3YudWsvd2hlbi1kby10aGUtY2xvY2tzLWNoYW5nZQoKCl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlz dApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnBy b2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Wed Mar 14 18:56:05 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 14 Mar 2018 18:56:05 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewBYw-0003tS-Fj; Wed, 14 Mar 2018 18:55:46 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewBYu-0003tM-Ll for mirageos-devel@lists.xenproject.org; Wed, 14 Mar 2018 18:55:45 +0000 X-Inumbo-ID: 4d003456-27b9-11e8-8248-2fda3a446a53 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 4d003456-27b9-11e8-8248-2fda3a446a53; Wed, 14 Mar 2018 18:55:45 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id d9292617; Wed, 14 Mar 2018 18:55:37 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=dl8XidgBX3umPetuQUjRDhILVJ4=; b=SAA9LqZmzcnuty95yk YzVAYjH1lfo7+BX5bonea5bEmsxfITFEFC6xPVXG6fl9UZ90O1SJRIyL02ISGOmd tPP2F4p8MNWi4pJD7vEI79MvLO3qxmpoIewhWkJkR/Vm+qZrdYXTgeIWqQW4/biy PB1AoRZd0kH+dZ88kfb2FcKcg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=utDBL/8Ic31XfElj/Jo+LJX7r149/962VYe1wuq7T4ICKcAvGoV U/XEBqVyuEHCQpW0Sn1bmIGoeVfoNpuvqDiEfu4brhxkO8u7vV3aHCDBoo+AsZPp cYB4E2/7ypwnsCedTEnbwByoH7/RtQIhasbsZZBcTTZhVO3wWGXBZ3vc= Received: from [192.168.0.23] (cpc91242-cmbg18-2-0-cust28.5-4.cable.virginm.net [82.8.128.29]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id ec2ed421 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Wed, 14 Mar 2018 18:55:37 +0000 (GMT) Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) From: Anil Madhavapeddy In-Reply-To: <35082bb4-515e-d4fc-fb19-5d0ec0e281a1@somerandomidiot.com> Date: Wed, 14 Mar 2018 18:55:35 +0000 Message-Id: References: <35082bb4-515e-d4fc-fb19-5d0ec0e281a1@somerandomidiot.com> To: Mindy Preston X-Mailer: Apple Mail (2.3445.5.20) Cc: mirageos-devel@lists.xenproject.org Subject: Re: [MirageOS-devel] Proposal: move biweekly (fortnightly) MirageOS IRC catchups to opposite week (next meeting: 21 March 2018) X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" RGVhciBNaW5keSwgZGVhciBhbGwsCgpUaGlzIHNjaGVkdWxlIGNoYW5nZSB3b3JrcyBzbyBtdWNo IGJldHRlciBmb3IgbWUgdG8gYXR0ZW5kIGFzIHdlbGwsIHNpbmNlIEkgaGF2ZSBPQ2FtbCBQbGF0 Zm9ybSByZWxhdGVkIG1lZXRpbmdzIG9uIHRoZSBvdGhlciBXZWRuZXNkYXlzIQoKcmVnYXJkcywK QW5pbAoKPiBPbiAxNCBNYXIgMjAxOCwgYXQgMTE6MTYsIE1pbmR5IFByZXN0b24gPG1pbmR5QHNv bWVyYW5kb21pZGlvdC5jb20+IHdyb3RlOgo+IAo+IEFsbCwKPiAKPiBBcyBtYW55IG9mIHVzIGFy ZSBlaXRoZXIgYXQgdGhlIE1hcnJha2VzaCBoYWNrIHJldHJlYXQgb3IgaW4gdHJhbnNpdCwgd2Ug bWlnaHQgaGF2ZSBhIG1vcmUgcHJvZHVjdGl2ZSBtZWV0aW5nIG5leHQgd2VlayAoV2VkbmVzZGF5 IDIxIE1hcmNoIDIwMTgpIGF0IHRoZSBzYW1lIHRpbWUgKDE2LjAwIFVUQyAtLSBBbWVyaWNhbnMg cGxlYXNlIG5vdGUgdGhhdCB0aGUgdGltZSBpcyBzdGlsbCAxNi4wMCBVVEMgYXMgQnJpdGlzaCBT dW1tZXIgVGltZSBkb2VzIG5vdCBiZWdpbiB1bnRpbCAyNSBNYXJjaFsxXSkuICBJZiB3ZSBjb250 aW51ZSB0aGUgYml3ZWVrbHkgc2NoZWR1bGUgYWZ0ZXIgdGhhdCwgdGhlIG1lZXRpbmcgZGF0ZXMg Zm9yIDIwMTggd2lsbCBiZToKPiAKPiAyMSBNYXJjaAo+IAo+IDQgQXByaWwgKHRpbWUgY2hhbmdl cyB0byAxNi4wMCBVVEMrMSkKPiAKPiAxOCBBcHJpbAo+IAo+IDIgTWF5Cj4gCj4gMTYgTWF5Cj4g Cj4gMzAgTWF5Cj4gCj4gMTMgSnVuZQo+IAo+IDI3IEp1bmUKPiAKPiAxMSBKdWx5Cj4gCj4gMjUg SnVseQo+IAo+IDggQXVndXN0Cj4gCj4gMjIgQXVndXN0Cj4gCj4gNSBTZXB0ZW1iZXIKPiAKPiAx OSBTZXB0ZW1iZXIKPiAKPiAzIE9jdG9iZXIKPiAKPiAxNyBPY3RvYmVyCj4gCj4gMzEgT2N0b2Jl ciAodGltZSBjaGFuZ2VzIHRvIDE2LjAwIFVUQyswKQo+IAo+IDE0IE5vdmVtYmVyCj4gCj4gMjgg Tm92ZW1iZXIKPiAKPiAxMiBEZWNlbWJlcgo+IAo+IDI2IERlY2VtYmVyCj4gCj4gCj4gWzFdIGh0 dHBzOi8vd3d3Lmdvdi51ay93aGVuLWRvLXRoZS1jbG9ja3MtY2hhbmdlCj4gCj4gCj4gX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiBNaXJhZ2VPUy1kZXZl bCBtYWlsaW5nIGxpc3QKPiBNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwo+IGh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFn ZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9y ZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3Mt ZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Thu Mar 15 16:02:40 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 15 Mar 2018 16:02:40 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewVKi-0008Ma-Dg; Thu, 15 Mar 2018 16:02:24 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewVKh-0008MR-GX for mirageos-devel@lists.xenproject.org; Thu, 15 Mar 2018 16:02:23 +0000 X-Inumbo-ID: 3b014290-286a-11e8-9728-bc764e045a96 Received: from mail-wm0-x244.google.com (unknown [2a00:1450:400c:c09::244]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 3b014290-286a-11e8-9728-bc764e045a96; Thu, 15 Mar 2018 17:02:17 +0100 (CET) Received: by mail-wm0-x244.google.com with SMTP id u10so11335438wmu.4 for ; Thu, 15 Mar 2018 09:02:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:message-id:date:to; bh=zH5/9mjhNCgLTWNX3e6PFRl5lsdr6UgFqihPSI/HedU=; b=ATOfd39m5OCFsxXEau5l/+rcVHwOTk7e63eH4h28Yq60rmkfHUXTIyw5QxxMqBLgO1 ezALUV5nu2P+93ObsuQXt7YgB4GSE1JRaLBJS4ETCPUptZXQ8PIxnWkZvWyobvXZoudA NBdEud1PiY8DkL3YDc63XqeNl/LyKHviG12IpmOwGlLGYDhD1PWLdsk7Yzs1CO5hQAQG A9StRjFIig8K/O8KGceBqJBvF3PP3UB2vhj0UulaaaZHTm/hNqSJZ2KYXX83FwDkIvmH HspLc4YC1CaSLqsBhkU12o6cd7ptofkz9j/goQde/n6i199tihuSZY7NC4qnSiJO9gB4 ldpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=zH5/9mjhNCgLTWNX3e6PFRl5lsdr6UgFqihPSI/HedU=; b=fi1V9LA6thv64zTBN2D3+TbSHUuxSwsTzoAo3VSfX21fmhrviG6xv3Boe2elBiCu4T OrtXv02ufQUKv4/+71oloLjt75zsRb70dnTgy0FAUd9tAuiIVGyvwjR5N6XWZPblEXbU Omvghlf8MMeTi5Ha26f6C7AXOnjAPClr0FpNMYA0hZJlD/tZ2JidR9fXZZy7PVTFSZfP itWjMe8ypyDGDeHB9NHpCMYnXpDaP+05jMJ8lG7tPtNsx8x8xYp57/Bcub+P2KcHIL0C wRgpVkfdUXefZxtGgI0shErbwXyibrpFY+vmY1wl1i2hrA2Ke9BBF5n1c+io0+MNwUd1 R1Gg== X-Gm-Message-State: AElRT7Ht9X/ETpkhM0Nk030lw2XAwYjsZeiEnO5U25srDNA/+aQjXDiY OIQIET/kDF7I8Fxl/kOHM18tmmbC X-Google-Smtp-Source: AG47ELskaSxYmDLLrXgV4U18RyYJhIw6jvqvQsb0MjOboMdwqhPpB6TwAD3iJRtdA66dvLxiWXn9WA== X-Received: by 10.80.166.144 with SMTP id e16mr9236852edc.97.1521129739796; Thu, 15 Mar 2018 09:02:19 -0700 (PDT) Received: from ?IPv6:2a00:c1a0:4883:a700:81ec:b016:3b25:4325? ([2a00:c1a0:4883:a700:81ec:b016:3b25:4325]) by smtp.gmail.com with ESMTPSA id b8sm1802571edc.47.2018.03.15.09.02.18 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 15 Mar 2018 09:02:18 -0700 (PDT) From: Community Manager X-Google-Original-From: Community Manager Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: Date: Thu, 15 Mar 2018 17:02:17 +0100 To: mirageos-devel@lists.xenproject.org X-Mailer: Apple Mail (2.3445.5.20) Subject: [MirageOS-devel] 2018 Xen Project Developer and Design Summit: CfP open from now to April 13, Event is held June 20-22, 2018 in Nanjing, China X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============0565472006731524474==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============0565472006731524474== Content-Type: multipart/signed; boundary="Apple-Mail=_624CCE49-C2C5-4BAB-B753-1A044D694858"; protocol="application/pgp-signature"; micalg=pgp-sha512 --Apple-Mail=_624CCE49-C2C5-4BAB-B753-1A044D694858 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Dear Community Members, I am excited to announce that registration and the call for proposals is open for Xen Project Developer and Design Summit 2018. The event will be held in at the Crowne Plaza Nanjing, China from June 20-22, 2018. The Xen Project Developer and Design Summit will follow the same format as last year combining Xen Project Developer Summits with Xen Project Hackathons. We will have talks in the mornings and smaller interactive design and problem solving sessions in the afternoon. Note that the CfP period is quite short: if you need extra time, or you otherwise have difficulties with the CfP please contact me via community.manager@xenproject.org. Submit a Talk =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Several formats are being accepted for speaking proposals, including: * Presentations and Panels: these are presentations and panels as we always had them at Developer Summits in the past. * Interactive design and problem solving sessions. These sessions can be submitted as part of the CFP, but we will reserve a number of design sessions to be allocated during the event. Proposers of design sessions are expected to host and moderate design sessions following the format we have used at Xen Project Hackathons. If you have not participated in these in the past, check out past event reports from 2018 * https://xen.markmail.org/thread/hs6gpgjbbx2smadn (Notes from PCI Passthrough design discussion at Xen Summit) * https://markmail.org/thread/7e2mdpimvrmsppq5 (Notes Design Session: Making Releases Lessons Learned: Improving Our Release Process and Tooling) * https://xen.markmail.org/thread/37annnvm7wwygr4j (Notes from Design Summit Hypervisor Fuzzing Session) Never talked at a conference before? Don=E2=80=99t worry! We encourage new speakers to submit for our events and have plenty of resources to help you prepare for your presentation. Here are some dates to remember for submissions and in general: * CFP Close: April 13, 2018 * CFP Notifications: April 30, 2018 * Schedule Announced: May 3, 2018 * Event: June 20-22, 2018 Links to the CfP are at: https://www.lfasiallc.com/events/xensummit2018/program/cfp/ = https://www.lfasiallc.com/events/xensummit2018/program/cfp-designsessions/= Note that each link goes to the same back-end: the main difference between the two links are the instructions. Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Registration information is available at https://www.regonline.com/registration/Checkin.aspx?EventID=3D2239305 Travel stipends are only available for students or individuals that are not associated with a company. Accommodation and other information =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D General information about the event can be found on https://www.lfasiallc.com/events/xensummit2018/ Note that the following information is not yet in place: we will add this shortly - hotel block booking information Travel =3D=3D=3D=3D=3D=3D Most international flights to Nanjing will go via Beijing or Shanghai. There are non-stop flights from many Asian cities, as well as Frankfurt (Lufthansa), Milan (Neos) and Los Angeles (China Eastern). It is also possible to take a flight to Shanghai and then a bullet train from Shanghai Hongqiao to Nanjing South (G trains take about 1h15 - 1h30). If you want to take up this option, drop me a line. I have done this many times before. If you have any questions, please contact me via community.manager@xenproject.org Best Regards Lars --Apple-Mail=_624CCE49-C2C5-4BAB-B753-1A044D694858 Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQIzBAEBCgAdFiEEGMt8INYPShzLT5l8yRKINn2yyNoFAlqqmQkACgkQyRKINn2y yNrVXA/+MakgqD8M6eoYZHQNEaS5P5SN3MYlprvON31soQF137a7sM7+MNtxtRy0 eX4dsHou37bBGQpTrKMC6bLU7UlPZq5YmP8FHNOQQNtSUiuBL61ONQ1qHztdYg4i orCc//ZoT+25pe3wIVEyIvP8UYWWvAkTC5SYNB0sxaWVM0/1ixemOfpbHcw9qQ+o tbbcBsPTrGX5cVR28shWlTknxR5JKzddAjK26FfAljLygUcBN6rSauVcn6or4wr9 ofIcBWPG6kZ9XYZzm50/0FMwsU1WOmxvEFqo9pUphV/Fw/voYEMI5PpC45ZliJIL 4KRBXfZAXguIQNiYUqS9/jREGwsr6GeMU/GkYScIsEu/Ko71tVtJHtsU8+Bm00vm nMWrJq98iDwrGv2rrjQe2H+XqFYaWKdA5arBS8udBL+OB0sO05FbOIhBFGfle25A aFSS2pP9YVt00vDf0XB0JKYQSc+bcdxiJIY+6Y4+tOy3a64FgyVGhhr8eaMp1Vhh qZgjXZ9TGgeBp8RQToj1OwZ5StrcU4sDNMa7VAKTy+WvNrr6//A1HKAoFkOU6n0R 2yzbrtol5fh3XE+vhgDMSVoOaEGX2u7yzZeGe8WfA73rgObJQ5eqjlc3VDbK/lJP C5vM2eNQVbIGuHSwUHURZMX8OVWpvrwnTxAwOuqJerER3dX54HU= =HVms -----END PGP SIGNATURE----- --Apple-Mail=_624CCE49-C2C5-4BAB-B753-1A044D694858-- --===============0565472006731524474== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============0565472006731524474==-- From mirageos-devel-bounces@lists.xenproject.org Thu Mar 15 19:05:46 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 15 Mar 2018 19:05:46 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewYBw-0000u4-SU; Thu, 15 Mar 2018 19:05:32 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewYBv-0000ty-TP for mirageos-devel@lists.xenproject.org; Thu, 15 Mar 2018 19:05:31 +0000 X-Inumbo-ID: d6b49edb-2883-11e8-8248-2fda3a446a53 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id d6b49edb-2883-11e8-8248-2fda3a446a53; Thu, 15 Mar 2018 19:05:35 +0000 (UTC) Received: from [192.168.2.14] (unknown [41.251.195.79]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 107D64E3 for ; Thu, 15 Mar 2018 20:05:22 +0100 (CET) To: "mirageos-devel@lists.xenproject.org" From: Hannes Mehnert Message-ID: Date: Thu, 15 Mar 2018 19:04:43 +0000 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] new repository: mirage-handbook X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" ZGVhciBoYWNrZXJzLAoKd2UganVzdCBoYWQgYSBicmllZiBicmFpbnN0b3JtaW5nIHNlc3Npb24g YWJvdXQgZG9jdW1lbnRhdGlvbiBhbmQKTWlyYWdlT1MuICBUaGUgcmVzdWx0IGlzIGEgZmlyc3Qg cHJvcG9zYWwgb2YgYSB0YWJsZSBvZiBjb250ZW50cyBmb3IKdHV0b3JpYWxzLCBhbiBvcGVyYXRv ciBndWlkZSwgYW5kIGEgZGV2ZWxvcGVycyBoYW5kYm9vay4KCldpdGhpbiB0aGUgbmV3bHkgY3Jl YXRlZCBDQzAtMS4wIGxpY2Vuc2VkIHJlcG9zaXRvcnkKaHR0cHM6Ly9naXRodWIuY29tL21pcmFn ZS9taXJhZ2UtaGFuZGJvb2sgd2UgdHJ5IHRvIGZpbGwgaW4gdGhlIG1pc3NpbmcKYml0cyBhbmQg cGllY2VzLiAgRmVlbCBmcmVlIHRvIGNvbnRyaWJ1dGUgeW91ciBpZGVhcyBhcyBpc3N1ZXMgb3Ig cHVsbApyZXF1ZXN0cyBvbiB0aGF0IHJlcG9zaXRvcnkuCgpUaGUgbWV0YS1sYW5ndWFnZSBvZiBj aG9pY2UgaXMgaHR0cDovL2FzY2lpZG9jLm9yZy8gd2hpY2ggYWxsb3dzCmZvb3Rub3Rlcywgc2Vj dGlvbiBudW1iZXJzLCBldGMuCgoKaGFwcHkgaGFja2luZywKCmhhbm5lcwoKX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGlu ZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMu eGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Sun Mar 18 12:39:06 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 18 Mar 2018 12:39:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exXaQ-0006xP-8W; Sun, 18 Mar 2018 12:38:54 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exXaP-0006xJ-Jq for mirageos-devel@lists.xenproject.org; Sun, 18 Mar 2018 12:38:53 +0000 X-Inumbo-ID: 58789195-2aa9-11e8-8248-2fda3a446a53 Received: from ppsw-31.csi.cam.ac.uk (unknown [131.111.8.131]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 58789195-2aa9-11e8-8248-2fda3a446a53; Sun, 18 Mar 2018 12:39:06 +0000 (UTC) X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Received: from [212.88.54.126] (port=59691 helo=[192.168.1.245]) by ppsw-31.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:rmm1002) (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) id 1exXaI-000Twq-KA (Exim 4.89_2) for mirageos-devel@lists.xenproject.org (return-path ); Sun, 18 Mar 2018 12:38:46 +0000 To: mirageos-devel@lists.xenproject.org From: Richard Mortier Message-ID: Date: Sun, 18 Mar 2018 12:38:45 +0000 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] Deriving encoders/decoders X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" Q2FtZSBhY3Jvc3MgdGhpcywgbWlnaHQgYmUgb2YgaW50ZXJlc3Q6CgpodHRwczovL2FyeGl2Lm9y Zy9hYnMvMTgwMy4wNDg3MApodHRwczovL2FyeGl2Lm9yZy9wZGYvMTgwMy4wNDg3MC5wZGYKCk5h cmNpc3N1czogRGVyaXZpbmcgQ29ycmVjdC1CeS1Db25zdHJ1Y3Rpb24gRGVjb2RlcnMgYW5kIEVu Y29kZXJzIGZyb20gCkJpbmFyeSBGb3JtYXRzClNvcmF3aXQgU3VyaXlha2FybiwgQ2zDqW1lbnQg UGl0LS1DbGF1ZGVsLCBCZW5qYW1pbiBEZWxhd2FyZSwgQWRhbSBDaGxpcGFsYQooU3VibWl0dGVk IG9uIDEzIE1hciAyMDE4KQpFdmVyeSBpbmplY3RpdmUgZnVuY3Rpb24gaGFzIGFuIGludmVyc2Us IGFsdGhvdWdoIGNvbnN0cnVjdGluZyB0aGUgCmludmVyc2UgZm9yIGEgcGFydGljdWxhciBpbmpl Y3RpdmUgZnVuY3Rpb24gY2FuIGJlIHF1aXRlIHRyaWNreS4gT25lIApjb21tb24gaW5zdGFuY2Ug b2YgaW52ZXJzZS1mdW5jdGlvbiBwYWlycyBpcyB0aGUgYmluYXJ5IGVuY29kZXJzIGFuZCAKZGVj b2RlcnMgdXNlZCB0byBjb252ZXJ0IGluLW1lbW9yeSBkYXRhIGludG8gYW5kIG91dCBvZiBhIHN0 cnVjdHVyZWQgCmJpbmFyeSBmb3JtYXQgZm9yIG5ldHdvcmsgY29tbXVuaWNhdGlvbi4gRW5zdXJp bmcgdGhhdCBhIGdpdmVuIGRlY29kZXIgCmlzIGEgcHJvcGVyIGludmVyc2Ugb2YgdGhlIG9yaWdp bmFsIGVuY29kZXIgaXMgcGFydGljdWxhcmx5IGltcG9ydGFudCwgCmFzIGFueSBlcnJvciBoYXMg dGhlIHBvdGVudGlhbCB0byBpbnRyb2R1Y2Ugc2VjdXJpdHkgdnVsbmVyYWJpbGl0aWVzIG9yIAp0 byBjb3JydXB0IG9yIGxvc2UgZGF0YSBpbiB0cmFuc2xhdGlvbi4KSW4gdGhpcyBwYXBlciwgd2Ug cHJlc2VudCBhIHN5bnRoZXNpcyBmcmFtZXdvcmssIE5hcmNpc3N1cywgdGhhdCAKZWxpbWluYXRl cyBib3RoIHRoZSB0ZWRpdW0gYW5kIHRoZSBwb3RlbnRpYWwgZm9yIGVycm9yIGluIGJ1aWxkaW5n IHRoZSAKaW52ZXJzZSBvZiBhIGJpbmFyeSBlbmNvZGVyLiBUaGUgc3RhcnRpbmcgcG9pbnQgb2Yg dGhlIHByb2Nlc3MgaXMgYSAKYmluYXJ5IGZvcm1hdCwgZXhwcmVzc2VkIGFzIGEgZnVuY3Rpb25h bCBwcm9ncmFtIGluIHRoZSBub25kZXRlcm1pbmlzbSAKbW9uYWQsIHRoYXQgcHJlY2lzZWx5IGNh cHR1cmVzIGFsbCB0aGUgdmFsaWQgYmluYXJ5IGVuY29kaW5ncyBvZiBhbiAKYXJiaXRyYXJ5IGRh dGF0eXBlIGluc3RhbmNlLiBGcm9tIHRoaXMgc3BlY2lmaWNhdGlvbiwgTmFyY2lzc3VzIApzeW50 aGVzaXplcyBhIGRlY29kZXIgdGhhdCBpcyBndWFyYW50ZWVkIHRvIGJlIHRoZSBpbnZlcnNlIG9m IHRoaXMgCnJlbGF0aW9uLCBkcmF3aW5nIG9uIGFuIGV4dGVuc2libGUgc2V0IG9mIGRlY29kaW5n IHN0cmF0ZWdpZXMgdG8gCmNvbnN0cnVjdCB0aGUgaW1wbGVtZW50YXRpb24uIEVhY2ggZGVjb2Rl ciBpcyBmdXJ0aGVybW9yZSBndWFyYW50ZWVkIHRvIApkZXRlY3QgbWFsZm9ybWVkIGVuY29kaW5n cyBieSBmYWlsaW5nIG9uIGlucHV0cyBub3QgaW5jbHVkZWQgaW4gdGhpcyAKcmVsYXRpb24uIFRo ZSBkZXJpdmF0aW9uIGlzIGNhcnJpZWQgb3V0IGluc2lkZSB0aGUgQ29xIHByb29mIGFzc2lzdGFu dCAKYW5kIHByb2R1Y2VzIGEgcHJvb2YgdHJhaWwgY2VydGlmeWluZyB0aGUgY29ycmVjdG5lc3Mg b2YgdGhlIHN5bnRoZXNpemVkIApkZWNvZGVyLiBXZSBkZW1vbnN0cmF0ZSB0aGUgdXRpbGl0eSBv ZiBvdXIgZnJhbWV3b3JrIGJ5IGRlcml2aW5nIGFuZCAKZXZhbHVhdGluZyB0aGUgcGVyZm9ybWFu Y2Ugb2YgZGVjb2RlcnMgZm9yIGFsbCBwYWNrZXQgZm9ybWF0cyB1c2VkIGluIGEgCnN0YW5kYXJk IG5ldHdvcmsgc3RhY2suCgouLi5hbmQgZnJvbSB0aGUgZXZhbDoKClRoZSBkZWNvZGVycyB0aGF0 IG91ciBmcmFtZXdvcmsgcHJvZHVjZXMgYXJlIHJlYXNvbmFibHkKZWZmaWNpZW50IGFuZCBzdWZm aWNpZW50bHkgZnVsbC1mZWF0dXJlZCB0byBiZSB1c2VkIGFzIGEgZHJvcC1pbgpyZXBsYWNlbWVu dHMgZm9yIGFsbCBwYXJzaW5nIGNvbXBvbmVudHMgb2YgYSB0eXBpY2FsIFRDUC9JUApzdGFjay4g V2Ugc3VwcG9ydCB0aGlzIGNsYWltIGJ5IGV4dHJhY3Rpbmcgb3VyIGRlY29kZXJzCnRvIE9DYW1s IGFuZCBpbnRlZ3JhdGluZyB0aGUgcmVzdWx0aW5nIGNvZGUgaW50byB0aGUgcHVyZU9DYW1sClRD UC9JUCBzdGFjayBvZiBNaXJhZ2VPUy4KCi0tIApSaWNoYXJkIE1vcnRpZXIKcmljaGFyZC5tb3J0 aWVyQGNsLmNhbS5hYy51awoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3Rz LnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0 aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Sun Mar 18 13:20:11 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 18 Mar 2018 13:20:11 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exYEK-0001mE-JI; Sun, 18 Mar 2018 13:20:08 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exYEI-0001jQ-SE for mirageos-devel@lists.xenproject.org; Sun, 18 Mar 2018 13:20:07 +0000 X-Inumbo-ID: 0c3b937a-2aaf-11e8-9728-bc764e045a96 Received: from mail-qt0-x241.google.com (unknown [2607:f8b0:400d:c0d::241]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 0c3b937a-2aaf-11e8-9728-bc764e045a96; Sun, 18 Mar 2018 14:19:55 +0100 (CET) Received: by mail-qt0-x241.google.com with SMTP id h4so9624804qtn.13 for ; Sun, 18 Mar 2018 06:20:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=dBr9QJusbLRyk7r8g2X8OlHYvHoPl5IXqb7htpC5k7Q=; b=dhL620gumgf5Hk0NDcqIACJ+H0emXIvRsYhn8nfKeYvv+8waWzegcNKGl1P3rS52x/ DuPnBcKI1PJG0PMy5Nz/DaWBjjfqSF/4uU3ABUv7Qvp9dJ1+0ruuJOw1KIFefv8pZTbM JWd9SUExLFv29jAziv3w3G736UyU8J+ExhFpUUfhY50VmgBkVJdm5aIb1SCINIGYn1Pg dvvy+rXqPYUkG+uoh7l6Uaw/rFdYkn1eQoh/WcviHd0/mNohC+HrZ01ZldNN3D+Ra0Y9 qMZ3AFBBZfRa+CmsYoIU8unWXl77GMpwv4hgVQKDeg8mDUdaIFViczTyl2dOgGrMFPpl rLrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=dBr9QJusbLRyk7r8g2X8OlHYvHoPl5IXqb7htpC5k7Q=; b=phb07yj069g2rMaiKsJrgAsl04Qb8yp6sZnuL6XsiOjqM65rdUTKV8lC/1ES9w144y IxafWicaaPJAiqE8jV13gqLUM7TJR8TrKaT66u6x4yyHnR8ed9X25Kj+jCwjexHo9ch6 65/loqTaxq24vk2lG3WN6ThHpAQBLHAv86dXi8CavshBoatZIOZrd0SeS2j6j3VCGB1b gyJ04hSmZqDYQXtddWj8VIqK6sSmsd1bcKX0mhqLh2v2jUT2fBX16BjFKENnaSVvDtVW jzNJ2fPyeMNzUIAJLjh62Q9p9UclvojItHv5BczwGELwND6djK0b7VWpm/9XwXAvP7Yb P/Zg== X-Gm-Message-State: AElRT7Ff2NUs8JFDTFkBUWTpockkhyd0gxvsc25sfO4W9UlujdV1WDsr DM1AKztUhpds4Fy0IAespZnheTbDhIIpdM6RIbA= X-Google-Smtp-Source: AG47ELt6nR89edHqPveC3VF480KW73qXuQNT1vMPHyV2v3t85/PqEPBtce3oWSOxY7In9VJQg/s6hEVdZG36vcSoNGQ= X-Received: by 10.237.49.43 with SMTP id 40mr12767620qtg.260.1521379204009; Sun, 18 Mar 2018 06:20:04 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Romain Calascibetta Date: Sun, 18 Mar 2018 13:19:53 +0000 Message-ID: To: Richard Mortier Cc: mirageos-devel@lists.xenproject.org Subject: Re: [MirageOS-devel] Deriving encoders/decoders X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============1884672679047260052==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============1884672679047260052== Content-Type: multipart/alternative; boundary="94eb2c0c9b720616cb0567afb37d" --94eb2c0c9b720616cb0567afb37d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi all, I just developped Encore which, from combinators, make an `angstrom` decoder AND an encoder. By this way, we ensure isomorphism between them. You can see the project here: https://github.com/dinosaure/encore I will integrate soon Encore to ocaml-git to ensure, again, isomorphism between Git object decoder and Git object encoder (and ensure, we don't miss something, we don't produce some noises and we produce exactly the same output from an input - and by this way, keep the same hash). I need to improve the API and may be we need to optimize encoder but it's a good start to have a safe way to produce a decoder and an encoder automatically by a description of a format. On Sun, Mar 18, 2018 at 12:39 PM Richard Mortier < richard.mortier@cl.cam.ac.uk> wrote: > Came across this, might be of interest: > > https://arxiv.org/abs/1803.04870 > https://arxiv.org/pdf/1803.04870.pdf > > Narcissus: Deriving Correct-By-Construction Decoders and Encoders from > Binary Formats > Sorawit Suriyakarn, Cl=C3=A9ment Pit--Claudel, Benjamin Delaware, Adam Ch= lipala > (Submitted on 13 Mar 2018) > Every injective function has an inverse, although constructing the > inverse for a particular injective function can be quite tricky. One > common instance of inverse-function pairs is the binary encoders and > decoders used to convert in-memory data into and out of a structured > binary format for network communication. Ensuring that a given decoder > is a proper inverse of the original encoder is particularly important, > as any error has the potential to introduce security vulnerabilities or > to corrupt or lose data in translation. > In this paper, we present a synthesis framework, Narcissus, that > eliminates both the tedium and the potential for error in building the > inverse of a binary encoder. The starting point of the process is a > binary format, expressed as a functional program in the nondeterminism > monad, that precisely captures all the valid binary encodings of an > arbitrary datatype instance. From this specification, Narcissus > synthesizes a decoder that is guaranteed to be the inverse of this > relation, drawing on an extensible set of decoding strategies to > construct the implementation. Each decoder is furthermore guaranteed to > detect malformed encodings by failing on inputs not included in this > relation. The derivation is carried out inside the Coq proof assistant > and produces a proof trail certifying the correctness of the synthesized > decoder. We demonstrate the utility of our framework by deriving and > evaluating the performance of decoders for all packet formats used in a > standard network stack. > > ...and from the eval: > > The decoders that our framework produces are reasonably > efficient and sufficiently full-featured to be used as a drop-in > replacements for all parsing components of a typical TCP/IP > stack. We support this claim by extracting our decoders > to OCaml and integrating the resulting code into the pureOCaml > TCP/IP stack of MirageOS. > > -- > Richard Mortier > richard.mortier@cl.cam.ac.uk > > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel > --94eb2c0c9b720616cb0567afb37d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi all,

I just developped Enco= re which, from combinators, make an `angstrom` decoder AND an encoder. By t= his way, we ensure isomorphism between them. You can see the project here: = https://github.com/dinosaur= e/encore

I will integrate soon Encore to ocaml-git to ensu= re, again, isomorphism between Git object decoder and Git object encoder (a= nd ensure, we don't miss something, we don't produce some noises an= d we produce exactly the same output from an input - and by this way, keep = the same hash).

I need to improve the API and may be we need t= o optimize encoder but it's a good start to have a safe way to produce = a decoder and an encoder automatically by a description of a format.

On Sun, Mar 18, 2018 at = 12:39 PM Richard Mortier <richard.mortier@cl.cam.ac.uk> wrote:
Came across this, might be of interest:

https://arxiv.org/abs/1803.04870
https://arxiv.org/pdf/1803.04870.pdf

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from
Binary Formats
Sorawit Suriyakarn, Cl=C3=A9ment Pit--Claudel, Benjamin Delaware, Adam Chli= pala
(Submitted on 13 Mar 2018)
Every injective function has an inverse, although constructing the
inverse for a particular injective function can be quite tricky. One
common instance of inverse-function pairs is the binary encoders and
decoders used to convert in-memory data into and out of a structured
binary format for network communication. Ensuring that a given decoder
is a proper inverse of the original encoder is particularly important,
as any error has the potential to introduce security vulnerabilities or
to corrupt or lose data in translation.
In this paper, we present a synthesis framework, Narcissus, that
eliminates both the tedium and the potential for error in building the
inverse of a binary encoder. The starting point of the process is a
binary format, expressed as a functional program in the nondeterminism
monad, that precisely captures all the valid binary encodings of an
arbitrary datatype instance. From this specification, Narcissus
synthesizes a decoder that is guaranteed to be the inverse of this
relation, drawing on an extensible set of decoding strategies to
construct the implementation. Each decoder is furthermore guaranteed to
detect malformed encodings by failing on inputs not included in this
relation. The derivation is carried out inside the Coq proof assistant
and produces a proof trail certifying the correctness of the synthesized decoder. We demonstrate the utility of our framework by deriving and
evaluating the performance of decoders for all packet formats used in a
standard network stack.

...and from the eval:

The decoders that our framework produces are reasonably
efficient and sufficiently full-featured to be used as a drop-in
replacements for all parsing components of a typical TCP/IP
stack. We support this claim by extracting our decoders
to OCaml and integrating the resulting code into the pureOCaml
TCP/IP stack of MirageOS.

--
Richard Mortier
richard.m= ortier@cl.cam.ac.uk

_______________________________________________
MirageOS-devel mailing list
Mi= rageOS-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/lis= tinfo/mirageos-devel
--94eb2c0c9b720616cb0567afb37d-- --===============1884672679047260052== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============1884672679047260052==-- From mirageos-devel-bounces@lists.xenproject.org Sun Mar 18 13:21:56 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 18 Mar 2018 13:21:56 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exYG3-0001qT-PC; Sun, 18 Mar 2018 13:21:55 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exYG2-0001qM-JA for mirageos-devel@lists.xenproject.org; Sun, 18 Mar 2018 13:21:54 +0000 X-Inumbo-ID: 5a787866-2aaf-11e8-8248-2fda3a446a53 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 5a787866-2aaf-11e8-8248-2fda3a446a53; Sun, 18 Mar 2018 13:22:06 +0000 (UTC) Received: from [192.168.42.55] (adsl196-11-83-206-196.adsl196-3.iam.net.ma [196.206.83.11]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id ED630E9D for ; Sun, 18 Mar 2018 14:21:43 +0100 (CET) To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert Message-ID: Date: Sun, 18 Mar 2018 13:20:58 +0000 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] Deriving encoders/decoders X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" dGhhbmtzIGZvciB0aGUgcG9pbnRlciwgY29kZSBidHcgYXQKaHR0cHM6Ly9naXRodWIuY29tL21p dC1wbHYvZmlhdC90cmVlL21hc3Rlci9zcmMvTmFyY2lzc3VzCgpoYW5uZXMKCl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxp bmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3Rz LnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Mon Mar 19 18:33:30 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 19 Mar 2018 18:33:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exzaw-0003Y9-JC; Mon, 19 Mar 2018 18:33:18 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1exzau-0003XK-Lm for mirageos-devel@lists.xenproject.org; Mon, 19 Mar 2018 18:33:16 +0000 X-Inumbo-ID: f3b1955e-2ba3-11e8-9728-bc764e045a96 Received: from mail.tyknet.dk (unknown [2a01:4f8:201:2327:144:76:253:226]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id f3b1955e-2ba3-11e8-9728-bc764e045a96; Mon, 19 Mar 2018 19:33:01 +0100 (CET) Received: from [10.137.3.22] (unknown [46.29.248.238]) (using TLSv1.2 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.tyknet.dk (Postfix) with ESMTPSA id D2087BD797C for ; Mon, 19 Mar 2018 18:33:10 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.10.3 mail.tyknet.dk D2087BD797C Authentication-Results: mail.tyknet.dk; dkim=none To: mirageos-devel@lists.xenproject.org References: From: Joe Message-ID: <5b63be5a-f7ce-2873-80fe-da900f24600e@celo.io> Date: Mon, 19 Mar 2018 19:33:05 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Subject: Re: [MirageOS-devel] Deriving encoders/decoders X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" Tm93IGFsbCB3ZSBuZWVkIGlzIGFuIEFTTi4xIEVuY29kaW5nIENvbnRyb2wgTm90YXRpb24gKEVD TikgCmltcGxlbWVudGF0aW9uIG9mIHRoaXMsIHRoZW4gd2UgY2FuIHBhcnNlIGV2ZXJ5dGhpbmco ISkgOi0pCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpN aXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVj dC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFn ZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Wed Mar 21 12:22:17 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 21 Mar 2018 12:22:17 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1eyckk-00034j-Gk; Wed, 21 Mar 2018 12:22:02 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1eycki-00034a-Mf for mirageos-devel@lists.xenproject.org; Wed, 21 Mar 2018 12:22:00 +0000 X-Inumbo-ID: 845ab2a1-2d02-11e8-8248-2fda3a446a53 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 845ab2a1-2d02-11e8-8248-2fda3a446a53; Wed, 21 Mar 2018 12:22:27 +0000 (UTC) Received: from [192.168.42.80] (i5E86DD43.versanet.de [94.134.221.67]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id A64334D9 for ; Wed, 21 Mar 2018 13:21:56 +0100 (CET) From: Hannes Mehnert To: mirageos-devel@lists.xenproject.org Message-ID: Date: Wed, 21 Mar 2018 13:21:54 +0100 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 21th March at 16.00 UTC X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" RGVhciBoYWNrZXJzLAoKd2UnbGwgaGF2ZSBvbmUgb2Ygb3VyIHJlZ3VsYXJseS1zY2hlZHVsZWQg Yml3ZWVrbHkgSVJDIGNhdGNodXBzIGF0IDE2LjAwClVUQyBsYXRlciB0b2RheSAoaW4gMi41IGhv dXJzKS4gIFdlIG1lZXQgaW4gI21pcmFnZSBvbiBpcmMuZnJlZW5vZGUubmV0LgoKUGxlYXNlIGFk ZCBpdGVtcyB0byB0aGUgYWdlbmRhIGF0Cmh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdl LXd3dy93aWtpL0NhbGwtQWdlbmRhIzIxLW1hcmNoLTIwMTggLQppZGVhbGx5IHdpdGggeW91ciBu aWNrIGFsb25nc2lkZSBzbyB3ZSBrbm93IHdobyBoYXMgYSBxdWVzdGlvbiBvcgpzdGF0ZW1lbnQg YWJvdXQgdGhhdCBpdGVtLgoKWW91IGNhbiBzZWUgdGhlIElSQyBsb2dzIGZvciB0aGUgcHJldmlv dXMgY2F0Y2h1cCBvbiAyOHRoIEZlYnJ1YXJ5IGF0Cmh0dHBzOi8vaXJjbG9nLndoaXRlcXVhcmsu b3JnL21pcmFnZS8yMDE4LTAyLTI4ICh0aGFua3MsIHdoaXRlcXVhcmshKS4KClNlZSB5b3Ugc29v biEKCmhhbm5lcwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnBy b2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9t aXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Wed Mar 21 12:27:06 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 21 Mar 2018 12:27:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1eycpc-0003CZ-Ui; Wed, 21 Mar 2018 12:27:04 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1eycpb-0003CU-IO for mirageos-devel@lists.xenproject.org; Wed, 21 Mar 2018 12:27:03 +0000 X-Inumbo-ID: 1ebc1dc1-2d03-11e8-9728-bc764e045a96 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 1ebc1dc1-2d03-11e8-9728-bc764e045a96; Wed, 21 Mar 2018 13:26:47 +0100 (CET) Received: from [192.168.42.80] (i5E86DD43.versanet.de [94.134.221.67]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id C32234E5 for ; Wed, 21 Mar 2018 13:26:59 +0100 (CET) To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert Message-ID: <9d2b0677-02a7-c519-6b88-32fd3a009fb2@mehnert.org> Date: Wed, 21 Mar 2018 13:26:57 +0100 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 21th March at 16.00 UTC X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gMjEvMDMvMjAxOCAxMzoyMSwgSGFubmVzIE1laG5lcnQgd3JvdGU6Cj4gd2UnbGwgaGF2ZSBv bmUgb2Ygb3VyIHJlZ3VsYXJseS1zY2hlZHVsZWQgYml3ZWVrbHkgSVJDIGNhdGNodXBzIGF0IDE2 LjAwCj4gVVRDIGxhdGVyIHRvZGF5IChpbiAyLjUgaG91cnMpLiAgV2UgbWVldCBpbiAjbWlyYWdl IG9uIGlyYy5mcmVlbm9kZS5uZXQuCgpvZmYtYnktb25lLCByYXRoZXIgMy41IGhvdXJzLgoKX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2 ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBz Oi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Wed Mar 28 23:32:38 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 28 Mar 2018 23:32:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1KYJ-0000F1-Ck; Wed, 28 Mar 2018 23:32:23 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1KYH-0000Ew-4i for mirageos-devel@lists.xenproject.org; Wed, 28 Mar 2018 23:32:22 +0000 X-Inumbo-ID: 60740537-32e0-11e8-8249-2fda3a446a53 Received: from mail2.protonmail.ch (unknown [185.70.40.22]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 60740537-32e0-11e8-8249-2fda3a446a53; Wed, 28 Mar 2018 23:33:11 +0000 (UTC) Date: Wed, 28 Mar 2018 19:32:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1522279936; bh=A7pXxrG/OICv6txoFDIwGgHCyZl8tLob0GSPR56i8tw=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=H525O0oAX0LztXc6gs36Rj+gJ4fEi5OiH6mZBrmppKDGO1uerEbClAL52QOfHXl2y h3e1/+lUXEE4xd/LgcnIi6gKCVqypoaWzwrnmjeByub11ot8RJuivp2OgB/2tL+2NS t2GhggNYs9FVB0Wz5l9h5zsPvx/v2SnKPpE8D9AA= To: "mirageos-devel@lists.xenproject.org" From: Adam Steen Message-ID: Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on mail.protonmail.ch Subject: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Reply-To: Adam Steen Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" SGkKCldhcyBsb29raW5nIGZvciBzb21lIGhlbHAgd2l0aCByZWdhcmRzIHRvIHRoZSBmb2xsb3cg c2l0dWF0aW9uLgoKSSBhbSB1c2luZyB0aGUgInNvbG81L29wYW0tc29sbzUgT1BBTSByZW1vdGUi IHNvIGkgY2FuIHRyYWNrIHNvbG81L21hc3Rlci4KCmJ1dCBpIG5lZWQgdG8gcGluIG1pcmFnZSBm cm9tIGdpdDovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJhZ2UjbGQtcGtnLWNvbmZpZwoKYnV0IHdo ZW4gaSBkbwoKIm9wYW0gcGluIGFkZCBtaXJhZ2UgZ2l0Oi8vZ2l0aHViLmNvbS9oYW5uZXNtL21p cmFnZSNsZC1wa2ctY29uZmlnIgoKSSBnZXQKCiJZb3VyIHJlcXVlc3QgY2FuJ3QgYmUgc2F0aXNm aWVkOgogICAgLSBtaXJhZ2UuZGV2fnNvbG81IGlzIG5vdCBhdmFpbGFibGUgYmVjYXVzZSB0aGUg cGFja2FnZSBpcyBwaW5uZWQgdG8gZ2l0Oi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZSNsZC1w a2ctY29uZmlnLCB2ZXJzaW9uIGRldn5zb2xvNS4KCk5vIHNvbHV0aW9uIGZvdW5kLCBleGl0aW5n IgoKSSBrbm93IGkgYW0gbWlzc2luZyBzb21ldGhpbmcgaSBqdXN0IGRvbid0IGtub3cgd2hhdCEK CkNoZWVycwpBZGFtCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVu cHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZv L21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Thu Mar 29 11:41:51 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 29 Mar 2018 11:41:51 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1Vw6-00042c-9p; Thu, 29 Mar 2018 11:41:42 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1Vw5-00042N-61 for mirageos-devel@lists.xenproject.org; Thu, 29 Mar 2018 11:41:41 +0000 X-Inumbo-ID: 44679660-3346-11e8-8249-2fda3a446a53 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 44679660-3346-11e8-8249-2fda3a446a53; Thu, 29 Mar 2018 11:42:33 +0000 (UTC) Received: from [192.168.42.80] (i5E86D25D.versanet.de [94.134.210.93]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 687C1ED7 for ; Thu, 29 Mar 2018 13:41:37 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert Message-ID: <2ec52009-8044-8031-0c35-24d8fe7d92a0@mehnert.org> Date: Thu, 29 Mar 2018 13:41:24 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" RGVhciBBZGFtLAoKT24gMjkvMDMvMjAxOCAwMTozMiwgQWRhbSBTdGVlbiB3cm90ZToKPiBXYXMg bG9va2luZyBmb3Igc29tZSBoZWxwIHdpdGggcmVnYXJkcyB0byB0aGUgZm9sbG93IHNpdHVhdGlv bi4KPiAKPiBJIGFtIHVzaW5nIHRoZSAic29sbzUvb3BhbS1zb2xvNSBPUEFNIHJlbW90ZSIgc28g aSBjYW4gdHJhY2sgc29sbzUvbWFzdGVyLgo+IAo+IGJ1dCBpIG5lZWQgdG8gcGluIG1pcmFnZSBm cm9tIGdpdDovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJhZ2UjbGQtcGtnLWNvbmZpZwo+IAo+IGJ1 dCB3aGVuIGkgZG8KPiAKPiAib3BhbSBwaW4gYWRkIG1pcmFnZSBnaXQ6Ly9naXRodWIuY29tL2hh bm5lc20vbWlyYWdlI2xkLXBrZy1jb25maWciCgpkb2VzIGBvcGFtIHBpbiBhZGQgbWlyYWdlCl9o dHRwc186Ly9naXRodWIuY29tL2hhbm5lc20vbWlyYWdlXy5naXRfI2xkLXBrZy1jb25maWdgIHdv cmsgKHJlbW92ZQphbGwgdGhlIF8pPwoKSSBzdXNwZWN0IHRoZSBgZ2l0YCB1cmwgKHdoaWNoIHVz ZXMgbm8gdHJhbnNwb3J0IGVuY3J5cHRpb24gKwphdXRoZW50aWNhdGlvbikgcmVxdWlyZXMgYSBg LmdpdGAgYXQgdGhlIGVuZCBvZiB0aGUgdXJsIChiZWZvcmUgdGhlCmJyYW5jaCkuICBJdCBpcyBw cmVmZXJhYmxlIHRvIHVzZSBodHRwcyBJTUhPIHNpbmNlIHRoYXQgYXQgbGVhc3QgY2hlY2tzCnRo ZSBzZXJ2ZXIgY2VydGlmaWNhdGUgKGRlcGVuZGluZyBvbiB5b3VyIGFjdHVhbCBvcGFtIHZlcnNp b24gYW5kIGdpdAphbmQgZG93bmxvYWRlciB1dGlsaXR5LCBjZXJ0aWZpY2F0ZSBjaGVja3MgbWF5 IGJlIGRpc2FibGVkLCBJIHVzZQpgZG93bmxvYWQtY29tbWFuZDogWyJmZXRjaCIgdXJsICItbyIg b3V0XWAgaW4gbXkgLm9wYW0vY29uZmlnKS4KCgpoYW5uZXMKCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApN aXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2pl Y3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Thu Mar 29 12:02:25 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 29 Mar 2018 12:02:25 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1WG7-0005eq-6I; Thu, 29 Mar 2018 12:02:23 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1WG5-0005ed-5T for mirageos-devel@lists.xenproject.org; Thu, 29 Mar 2018 12:02:22 +0000 X-Inumbo-ID: 281a8b42-3349-11e8-8249-2fda3a446a53 Received: from mail1.protonmail.ch (unknown [185.70.40.18]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 281a8b42-3349-11e8-8249-2fda3a446a53; Thu, 29 Mar 2018 12:03:13 +0000 (UTC) Date: Thu, 29 Mar 2018 08:02:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1522324933; bh=clIF3vHyjvDgBy6NMTnukymuCh1oI+0Rux/8TU3Cp/s=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References: Feedback-ID:From; b=QqWo5FQtyJCn7DE1KrTfXQw7YUCqhNObWV1U7jyVFLa+Ss/ZBkEdsjiROD2H621wS /mKVU6BeD0QD6ar2+J8TUvrW6Bn4QsOJkcNZPxnUEtTmD1M44/7VBUAgrERan4sszi qzRJLnrLOYQrjNeM2Q8AbylQWvOakcUSV+f44PcQ= To: Hannes Mehnert From: Adam Steen Message-ID: In-Reply-To: <2ec52009-8044-8031-0c35-24d8fe7d92a0@mehnert.org> References: <2ec52009-8044-8031-0c35-24d8fe7d92a0@mehnert.org> Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-0.7 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,NO_DNS_FOR_FROM autolearn=no autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on mail.protonmail.ch Subject: Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Reply-To: Adam Steen Cc: "mirageos-devel@lists.xenproject.org" Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gTWFyY2ggMjksIDIwMTggNzo0MSBQTSwgSGFubmVzIE1laG5lcnQgPGhhbm5lc0BtZWhuZXJ0 Lm9yZz4gd3JvdGU6Cgo+IOKAi+KAiwo+IAo+IERlYXIgQWRhbSwKPiAKPiBPbiAyOS8wMy8yMDE4 IDAxOjMyLCBBZGFtIFN0ZWVuIHdyb3RlOgo+IAo+ID4gV2FzIGxvb2tpbmcgZm9yIHNvbWUgaGVs cCB3aXRoIHJlZ2FyZHMgdG8gdGhlIGZvbGxvdyBzaXR1YXRpb24uCj4gPiAKPiA+IEkgYW0gdXNp bmcgdGhlICJzb2xvNS9vcGFtLXNvbG81IE9QQU0gcmVtb3RlIiBzbyBpIGNhbiB0cmFjayBzb2xv NS9tYXN0ZXIuCj4gPiAKPiA+IGJ1dCBpIG5lZWQgdG8gcGluIG1pcmFnZSBmcm9tIGdpdDovL2dp dGh1Yi5jb20vaGFubmVzbS9taXJhZ2UjbGQtcGtnLWNvbmZpZwo+ID4gCj4gPiBidXQgd2hlbiBp IGRvCj4gPiAKPiA+ICJvcGFtIHBpbiBhZGQgbWlyYWdlIGdpdDovL2dpdGh1Yi5jb20vaGFubmVz bS9taXJhZ2UjbGQtcGtnLWNvbmZpZyIKPiAKPiBkb2VzYG9wYW0gcGluIGFkZCBtaXJhZ2UgX2h0 dHBzXzovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJhZ2VfLmdpdF8jbGQtcGtnLWNvbmZpZ2Agd29y ayAocmVtb3ZlCj4gCj4gYWxsIHRoZSBfKT8KPiAKPiBJIHN1c3BlY3QgdGhlIGBnaXRgIHVybCAo d2hpY2ggdXNlcyBubyB0cmFuc3BvcnQgZW5jcnlwdGlvbiArCj4gCj4gYXV0aGVudGljYXRpb24p IHJlcXVpcmVzIGEgYC5naXRgIGF0IHRoZSBlbmQgb2YgdGhlIHVybCAoYmVmb3JlIHRoZQo+IAo+ IGJyYW5jaCkuIEl0IGlzIHByZWZlcmFibGUgdG8gdXNlIGh0dHBzIElNSE8gc2luY2UgdGhhdCBh dCBsZWFzdCBjaGVja3MKPiAKPiB0aGUgc2VydmVyIGNlcnRpZmljYXRlIChkZXBlbmRpbmcgb24g eW91ciBhY3R1YWwgb3BhbSB2ZXJzaW9uIGFuZCBnaXQKPiAKPiBhbmQgZG93bmxvYWRlciB1dGls aXR5LCBjZXJ0aWZpY2F0ZSBjaGVja3MgbWF5IGJlIGRpc2FibGVkLCBJIHVzZQo+IAo+IGBkb3du bG9hZC1jb21tYW5kOiBbImZldGNoIiB1cmwgIi1vIiBvdXRdYCBpbiBteSAub3BhbS9jb25maWcp Lgo+IAo+IGhhbm5lcwo+IAo+IE1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdAo+IAo+IE1pcmFn ZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4gCj4gaHR0cHM6Ly9saXN0cy54ZW5wcm9q ZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCgpTb3JyeSBubyBsdWNrCgpv cGFtIHBpbiBhZGQgbWlyYWdlIGh0dHBzOi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZS5naXQj bGQtcGtnLWNvbmZpZwptaXJhZ2UgaXMgbm93IGdpdC1waW5uZWQgdG8gaHR0cHM6Ly9naXRodWIu Y29tL2hhbm5lc20vbWlyYWdlLmdpdCNsZC1wa2ctY29uZmlnCgpbbWlyYWdlXSBodHRwczovL2dp dGh1Yi5jb20vaGFubmVzbS9taXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcgdXBkYXRlZApbbWlyYWdl XSBJbnN0YWxsaW5nIG5ldyBwYWNrYWdlIGRlc2NyaXB0aW9uIGZyb20gaHR0cHM6Ly9naXRodWIu Y29tL2hhbm5lc20vbWlyYWdlLmdpdCNsZC1wa2ctY29uZmlnCgptaXJhZ2UgbmVlZHMgdG8gYmUg aW5zdGFsbGVkLgpZb3VyIHJlcXVlc3QgY2FuJ3QgYmUgc2F0aXNmaWVkOgogIC0gbWlyYWdlLmRl dn5zb2xvNSBpcyBub3QgYXZhaWxhYmxlIGJlY2F1c2UgdGhlIHBhY2thZ2UgaXMgcGlubmVkIHRv IGh0dHBzOi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZS5naXQjbGQtcGtnLWNvbmZpZywgdmVy c2lvbiBkZXZ+c29sbzUuCgpObyBzb2x1dGlvbiBmb3VuZCwgZXhpdGluZwpbTk9URV0gUGlubmlu ZyBjb21tYW5kIHN1Y2Nlc3NmdWwsIGJ1dCB5b3VyIGluc3RhbGxlZCBwYWNrYWdlcyBtYXkgYmUg b3V0IG9mIHN5bmMuCgpJIHJhbiB0aGUgZm9sbG93aW5nIGNvbW1hbmQgc2VxdWVuY2UgdG8gc2V0 IHRoaXMgdXAuCgoKcm0gLXJmICRIT01FLy5vcGFtICYmIFwKICAgICAgICAgICAgICAgIG9wYW0g aW5pdCAtbiAmJiBcCiAgICAgICAgICAgICAgICBldmFsIGBvcGFtIGNvbmZpZyBlbnZgICYmIFwK ICAgICAgICAgICAgICAgIG9wYW0gc3dpdGNoIDQuMDYuMSAmJiBcCiAgICAgICAgICAgICAgICBl dmFsIGBvcGFtIGNvbmZpZyBlbnZgICYmIFwKICAgICAgICAgICAgICAgIGV4cG9ydCBPUEFNTk9B U1BDVUQ9MSAmJiBcCiAgICAgICAgICAgICAgICBvcGFtIHJlcG8gYWRkIHNvbG81LWRldiBnaXQ6 Ly9naXRodWIuY29tL1NvbG81L29wYW0tc29sbzUgJiYgXAogICAgICAgICAgICAgICAgb3BhbSB1 cGRhdGUgJiYgXAogICAgICAgICAgICAgICAgb3BhbSB1cGdyYWRlICYmIFwKICAgICAgICAgICAg ICAgIGV2YWwgYG9wYW0gY29uZmlnIGVudmAgJiYgXAogICAgICAgICAgICAgICAgb3BhbSBwaW4g YWRkIGRlcGV4dCBnaXQ6Ly9naXRodWIuY29tL2FkYW1zdGVlbi9vcGFtLWRlcGV4dCNvcGVuYnNk IC15ICYmIFwKICAgICAgICAgICAgICAgIG9wYW0gcGluIGFkZCBzb2xvNS1rZXJuZWwtdWt2bSBn aXQ6Ly9naXRodWIuY29tL2FkYW1zdGVlbi9zb2xvNSNvcGVuYnNkIC15ICYmIFwKICAgICAgICAg ICAgICAgIG9wYW0gcGluIGFkZCBvY2FtbC1mcmVlc3RhbmRpbmcgZ2l0Oi8vZ2l0aHViLmNvbS9h ZGFtc3RlZW4vb2NhbWwtZnJlZXN0YW5kaW5nI29wZW5ic2QgLXkKCmkgZG8gaXQgdGhpcyB3YXks IHNvIGkgY2FuIGNvbnNpc3RlbnRseSByZXByb2R1Y2UgdGhpbmdzLgoKQ2hlZXJzCkFkYW0KCl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRl dmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRw czovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Thu Mar 29 14:44:38 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 29 Mar 2018 14:44:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1Yn0-0001HK-QT; Thu, 29 Mar 2018 14:44:30 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1Yn0-0001HF-EB for mirageos-devel@lists.xenproject.org; Thu, 29 Mar 2018 14:44:30 +0000 X-Inumbo-ID: cefeb67b-335f-11e8-8249-2fda3a446a53 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id cefeb67b-335f-11e8-8249-2fda3a446a53; Thu, 29 Mar 2018 14:45:22 +0000 (UTC) Received: from [192.168.42.80] (i5E86DC59.versanet.de [94.134.220.89]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id BA2BBBAF for ; Thu, 29 Mar 2018 16:44:26 +0200 (CEST) References: <2ec52009-8044-8031-0c35-24d8fe7d92a0@mehnert.org> To: "mirageos-devel@lists.xenproject.org" From: Hannes Mehnert Message-ID: <1763bcd6-2a38-6ccf-723d-b9bbe04f4c16@mehnert.org> Date: Thu, 29 Mar 2018 16:44:13 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gMjkvMDMvMjAxOCAxNDowMiwgQWRhbSBTdGVlbiB3cm90ZToKPiBvcGFtIHBpbiBhZGQgbWly YWdlIGh0dHBzOi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZS5naXQjbGQtcGtnLWNvbmZpZwo+ IG1pcmFnZSBpcyBub3cgZ2l0LXBpbm5lZCB0byBodHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9t aXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcKPiAKPiBbbWlyYWdlXSBodHRwczovL2dpdGh1Yi5jb20v aGFubmVzbS9taXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcgdXBkYXRlZAo+IFttaXJhZ2VdIEluc3Rh bGxpbmcgbmV3IHBhY2thZ2UgZGVzY3JpcHRpb24gZnJvbSBodHRwczovL2dpdGh1Yi5jb20vaGFu bmVzbS9taXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcKPiAKPiBtaXJhZ2UgbmVlZHMgdG8gYmUgaW5z dGFsbGVkLgo+IFlvdXIgcmVxdWVzdCBjYW4ndCBiZSBzYXRpc2ZpZWQ6Cj4gICAtIG1pcmFnZS5k ZXZ+c29sbzUgaXMgbm90IGF2YWlsYWJsZSBiZWNhdXNlIHRoZSBwYWNrYWdlIGlzIHBpbm5lZCB0 byBodHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcsIHZl cnNpb24gZGV2fnNvbG81LgoKb2ssIG1heWJlIGEgYG9wYW0gcGluIGFkZCBtaXJhZ2UuZGV2fnNv bG81Cmh0dHBzOi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZS5naXQjbGQtcGtnLWNvbmZpZ2Ag PyAgaS5lLiBzcGVjaWZ5IHRoZQp2ZXJzaW9uIG51bWJlciBvZiBtaXJhZ2UgZXhwbGljaXRseS4u CgpJJ20gbm90IGVudGlyZWx5IHN1cmUgaG93IG9wYW0gYmVoYXZlcyBpbiBzdWNoIGEgc2V0dGlu ZyAoSUlVQywgb24KT3BlbkJTRCB5b3Ugc3RpbGwgZG9uJ3QgdXNlIGFueSBleHRlcm5hbCBzb2x2 ZXIpLgoKCmhhbm5lcwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhl bnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5m by9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Fri Mar 30 02:13:30 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 30 Mar 2018 02:13:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1jXZ-0008Du-I1; Fri, 30 Mar 2018 02:13:17 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1f1jXY-0008Dp-Cz for mirageos-devel@lists.xenproject.org; Fri, 30 Mar 2018 02:13:17 +0000 X-Inumbo-ID: 0817e70b-33c0-11e8-8249-2fda3a446a53 Received: from mail2.protonmail.ch (unknown [185.70.40.22]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 0817e70b-33c0-11e8-8249-2fda3a446a53; Fri, 30 Mar 2018 02:14:10 +0000 (UTC) Date: Thu, 29 Mar 2018 22:13:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1522375991; bh=jpFysfZlDtTYyFv1bZuIkjE2oQOGdjvoSVF6MF68NUk=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References: Feedback-ID:From; b=i7xBB6nkhGF4kKZkQxEOWzEmw16TqYRNnbaZzjVBz8YSF+WKmbFiJqYpAjSOi2vXE 6Qg9CCBl3NidjDaAALuGR2n2/37eNkD4xPlcP+IARIqkSqK3Iv0y7Eo/Nq74bektuh iMTrdQP+xOeDGF2nQVjP0jpE+H1Nd2dOqIQeI5S8= To: Hannes Mehnert From: Adam Steen Message-ID: In-Reply-To: <1763bcd6-2a38-6ccf-723d-b9bbe04f4c16@mehnert.org> References: <2ec52009-8044-8031-0c35-24d8fe7d92a0@mehnert.org> <1763bcd6-2a38-6ccf-723d-b9bbe04f4c16@mehnert.org> Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on mail.protonmail.ch Subject: Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev X-BeenThere: mirageos-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Reply-To: Adam Steen Cc: "mirageos-devel@lists.xenproject.org" Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gTWFyY2ggMjksIDIwMTggMTA6NDQgUE0sIEhhbm5lcyBNZWhuZXJ0IDxoYW5uZXNAbWVobmVy dC5vcmc+IHdyb3RlOgoKPiDigIvigIsKPiAKPiBPbiAyOS8wMy8yMDE4IDE0OjAyLCBBZGFtIFN0 ZWVuIHdyb3RlOgo+IAo+ID4gb3BhbSBwaW4gYWRkIG1pcmFnZSBodHRwczovL2dpdGh1Yi5jb20v aGFubmVzbS9taXJhZ2UuZ2l0I2xkLXBrZy1jb25maWcKPiA+IAo+ID4gbWlyYWdlIGlzIG5vdyBn aXQtcGlubmVkIHRvIGh0dHBzOi8vZ2l0aHViLmNvbS9oYW5uZXNtL21pcmFnZS5naXQjbGQtcGtn LWNvbmZpZwo+ID4gCj4gPiBbbWlyYWdlXSBodHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJh Z2UuZ2l0I2xkLXBrZy1jb25maWcgdXBkYXRlZAo+ID4gCj4gPiBbbWlyYWdlXSBJbnN0YWxsaW5n IG5ldyBwYWNrYWdlIGRlc2NyaXB0aW9uIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL2hhbm5lc20v bWlyYWdlLmdpdCNsZC1wa2ctY29uZmlnCj4gPiAKPiA+IG1pcmFnZSBuZWVkcyB0byBiZSBpbnN0 YWxsZWQuCj4gPiAKPiA+IFlvdXIgcmVxdWVzdCBjYW4ndCBiZSBzYXRpc2ZpZWQ6Cj4gPiAKPiA+ IC0gICBtaXJhZ2UuZGV2fnNvbG81IGlzIG5vdCBhdmFpbGFibGUgYmVjYXVzZSB0aGUgcGFja2Fn ZSBpcyBwaW5uZWQgdG8gaHR0cHM6Ly9naXRodWIuY29tL2hhbm5lc20vbWlyYWdlLmdpdCNsZC1w a2ctY29uZmlnLCB2ZXJzaW9uIGRldn5zb2xvNS4KPiAKPiBvaywgbWF5YmUgYWBvcGFtIHBpbiBh ZGQgbWlyYWdlLmRldn5zb2xvNSBodHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9taXJhZ2UuZ2l0 I2xkLXBrZy1jb25maWdgID8gaS5lLiBzcGVjaWZ5IHRoZQo+IAo+IHZlcnNpb24gbnVtYmVyIG9m IG1pcmFnZSBleHBsaWNpdGx5Li4KPiAKPiBJJ20gbm90IGVudGlyZWx5IHN1cmUgaG93IG9wYW0g YmVoYXZlcyBpbiBzdWNoIGEgc2V0dGluZyAoSUlVQywgb24KPiAKPiBPcGVuQlNEIHlvdSBzdGls bCBkb24ndCB1c2UgYW55IGV4dGVybmFsIHNvbHZlcikuCj4gCj4gaGFubmVzCj4gCj4gTWlyYWdl T1MtZGV2ZWwgbWFpbGluZyBsaXN0Cj4gCj4gTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVj dC5vcmcKPiAKPiBodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8v bWlyYWdlb3MtZGV2ZWwKCkdvb2QgTW9ybmluZyBIYW5uZXMKCkp1c3Qgd2FudGVkIHRvIHVwZGF0 ZSwgYWZ0ZXIgaW5zdGFsbGluZyBhc3BjdWQgKGkgbmVlZCB0byBzdWJtaXQgYSBwYXRjaCkgSSB3 YXMgYWJsZSB0byBnZXQgdGhlIHNvbHV0aW9uIHRvIHJlc29sdmUgYW5kIHlvdXIgbWlyYWdlIGJy YW5jaCBsZC1wa2ctY29uZmlnIHdvcmtzLgoKSSBub3cgaGF2ZSBhIHBpZSBvciBwaWMgbGlua2lu ZyBwcm9ibGVtIGkgbmVlZCB0byBpbnZlc3RpZ2F0ZS4KCkNoZWVycwpBZGFtCgpwcyBhc3B1ZCBo YXMgb25seSByZWNlbnRseSBiZWVuIGFibGUgdG8gY29tcGlsZSBvbiBPcGVuQlNELCBPcGVuQlNE IGFkZGVkIGEgbWlzc2luZyBmdW5jdGlvbi4KcHBzIEkgaG9wZSB0byBjb21tdW5pY2F0ZSB3aXRo IEFuaWwgdG8gZ2V0IGl0IGFkZGVkIGFzIHBhcnQgb2YgdGhlIG9wYW0gaW5zdGFsbCAob25seSBn b3QgaXQgd29ya2luZyB0aGlzIG1vcm5pbmcpCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1Mt ZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9t YWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg==