From mirageos-devel-bounces@lists.xenproject.org Sat Sep 01 11:21:11 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sat, 01 Sep 2018 11:21:11 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fw3xZ-0008NP-CU; Sat, 01 Sep 2018 11:20:57 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fw3xY-0008NK-Ot for mirageos-devel@lists.xenproject.org; Sat, 01 Sep 2018 11:20:56 +0000 X-Inumbo-ID: 32cd1c64-add9-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 32cd1c64-add9-11e8-a6a9-d7ebe60f679a; Sat, 01 Sep 2018 11:21:41 +0000 (UTC) Received: from [192.168.42.80] (i5E86D52E.versanet.de [94.134.213.46]) (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 01C41F03 for ; Sat, 1 Sep 2018 13:20:52 +0200 (CEST) To: "mirageos-devel@lists.xenproject.org" From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: <6d1c0d61-b830-2446-4caf-079b45a35737@mehnert.org> Date: Sat, 1 Sep 2018 13:20:39 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] HEADSUP: changes in module type IP (mirage-protocols{-lwt}) to be merged Monday Sep 3rd 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" SGVsbG8sCgp3aGlsZSBkZWJ1Z2dpbmcgYW4gSVB2NCBpc3N1ZSwgYW5kIHJlYWRpbmcgdGhyb3Vn aCBNaXJhZ2VPUyBjb2RlLCBJCmZvdW5kIHNvbWUgbGVmdG92ZXIgdHlwZSBhbGlhc2VzIChuYW1l bHkgZXRoaWYsIHByZWZpeCkgd2hpY2ggYXJlIG5vCmxvbmdlciBuZWVkZWQgaW4gdGhlIElQIG1v ZHVsZSB0eXBlLiAgQUZBSUNULCB0aGV5IHVzZWQgdG8gYmUgcGFydCBvZgp0aGUgYGNvbm5lY3Rg IHNpZ25hdHVyZSwgd2hpY2ggaXMgbm8gbG9uZ2VyIHBhcnQgb2YgdGhlIG1vZHVsZSB0eXBlLgoK SSB3ZW50IHRocm91Z2ggbWlyYWdlLXByb3RvY29sc3stbHd0fSBhbmQgYWxsIHRoZSB1c2VycyBJ IGNvdWxkIGZpbmQgdG8KcmVtb3ZlIHRoZW0gKHNpbmNlIEkgbGlrZSB0byByZW1vdmUgdW5uZWNl c3NhcnkgYm9pbGVycGxhdGUgY29kZSA7KSkuClRoZSBjaGFuZ2VzIGNvbXBpbGUgYW5kIHJ1biBm aW5lICh0aGVyZSBhcmUgc29tZSBwaW5zIHJlcXVpcmVkIHNpbmNlIHRoZQpDSSBjcm9zcy1yZWZl cmVuY2VzIG90aGVyIGxpYnJhcmllcywgYW5kIGJ1aWxkcyByZXZlcnNlIGRlcGVuZGVuY2llcyku CgpQbGVhc2UgaGF2ZSBhIGxvb2sgYXQgdGhlIGZvbGxvd2luZyBQUnM6Ci0gaHR0cHM6Ly9naXRo dWIuY29tL21pcmFnZS9taXJhZ2UtcHJvdG9jb2xzL3B1bGwvMTEKLSBodHRwczovL2dpdGh1Yi5j b20vbWlyYWdlL21pcmFnZS10Y3BpcC9wdWxsLzM3MQotIGh0dHBzOi8vZ2l0aHViLmNvbS9taXJh Z2UvY2hhcnJ1YS1jb3JlL3B1bGwvODMKLSBodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFn ZS1xdWJlcy9wdWxsLzI0CgpBbmQgbGV0IG1lIGtub3cgaWYgeW91IHdpc2ggdG8gcmV0YWluIHRo ZSB0eXBlcyBhcyBpcyAoaWYgc28sIHBsZWFzZQp0ZWxsIHdoeSksIGFuZC9vciBsZXQgbWUga25v dyBpZiB5b3UncmUgYXdhcmUgb2YgYW55IG90aGVyCmltcGxlbWVudGF0aW9ucyBvZiBJUCB3aGlj aCBtYXkgbmVlZCB0byBiZSBhZGFwdGVkICh2cG5raXQgaXMgYnVpbHQgYXMgYQpyZXZlcnNlIGRl cGVuZGVuY3kgb2YgbWlyYWdlLXByb3RvY29scyBieSB0cmF2aXMsIGFuZCB3b3JrcyBmaW5lIHdp dGgKdGhlIGNoYW5nZXMpLgoKVGhvbWFzIEdhemFnbmFpcmUgYWxyZWFkeSBhcHByb3ZlZCB0aGUg Zmlyc3QgUFIsIGlmIG5vYm9keSBvYmplY3RzLCBJJ2xsCm1lcmdlIHRoZSBhYm92ZSBtZW50aW9u ZWQgUFJzIG9uIF9Nb25kYXksIFNlcCAzcmRfIGFuZCBkcmFmdCByZWxlYXNlcyBvZgp0aGUgYWZm ZWN0ZWQgbGlicmFyaWVzLCBhbmQgYWxzbyBhZGQgdXBwZXIgYm91bmRzIHRvIHRoZSB2ZXJzaW9u cwphbHJlYWR5IGluIG9wYW0tcmVwb3NpdG9yeSB0byBub3QgdXNlIG5ld2VyIG1pcmFnZS1wcm90 b2NvbHMuCgpJJ2QgcHJvcG9zZSB0byBzdGljayB0byBzZW1hbnRpYyB2ZXJzaW9uaW5nIGluIHRo aXMgY2FzZSBhbmQgd291bGQKcmVsZWFzZSBhIG1pcmFnZS1wcm90b2NvbHN7LWx3dH0uMi4wLjAu CgoKVGhhbmtzIGZvciByZWFkaW5nLAoKaGFubmVzCgpfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdl T1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9y Zy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Sat Sep 01 15:34:28 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sat, 01 Sep 2018 15:34:28 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fw7uj-0001ER-LU; Sat, 01 Sep 2018 15:34:17 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fw7ui-0001EM-Eq for mirageos-devel@lists.xenproject.org; Sat, 01 Sep 2018 15:34:16 +0000 X-Inumbo-ID: 426eb051-adfc-11e8-a8a5-bc764e045a96 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 426eb051-adfc-11e8-a8a5-bc764e045a96; Sat, 01 Sep 2018 17:32:40 +0200 (CEST) Received: from [192.168.42.80] (i5E86D52E.versanet.de [94.134.213.46]) (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 5B7781CBC for ; Sat, 1 Sep 2018 17:34:11 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: <6d1c0d61-b830-2446-4caf-079b45a35737@mehnert.org> From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: <33747698-d66f-bad4-6f29-4fc5ce132715@mehnert.org> Date: Sat, 1 Sep 2018 17:33:57 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 In-Reply-To: <6d1c0d61-b830-2446-4caf-079b45a35737@mehnert.org> Content-Language: en-US Subject: Re: [MirageOS-devel] HEADSUP: changes in module type IP (mirage-protocols{-lwt}) to be merged Monday Sep 3rd 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" SSBzZW50IHRoZSBtYWlsIGEgYml0IHRvbyBlYXJseSwgdGhlcmUgYXJlIGEgYnVuY2ggb2YgbW9y ZSB0eXBlIGFsaWFzZXMKd2hpY2ggYXJlIG5vIGxvbmdlciB1c2VkOgoKaHR0cHM6Ly9naXRodWIu Y29tL21pcmFnZS9taXJhZ2Utc3RhY2svcHVsbC8xMQpodHRwczovL2dpdGh1Yi5jb20vbWlyYWdl L21pcmFnZS9wdWxsLzkyMAoKTXkgcGxhbiBpcyB0byBtZXJnZSBhbmQgcmVsZWFzZSAoaW5jbHVk aW5nIGZpeGluZyB1cHBlciBib3VuZHMgYW5kCnBvdGVudGlhbGx5IGludHJvZHVjaW5nIGNvbmZs aWN0cykuCgpoYW5uZXMKCk9uIDAxLzA5LzIwMTggMTM6MjAsIEhhbm5lcyBNZWhuZXJ0IHdyb3Rl Ogo+IEhlbGxvLAo+IAo+IHdoaWxlIGRlYnVnZ2luZyBhbiBJUHY0IGlzc3VlLCBhbmQgcmVhZGlu ZyB0aHJvdWdoIE1pcmFnZU9TIGNvZGUsIEkKPiBmb3VuZCBzb21lIGxlZnRvdmVyIHR5cGUgYWxp YXNlcyAobmFtZWx5IGV0aGlmLCBwcmVmaXgpIHdoaWNoIGFyZSBubwo+IGxvbmdlciBuZWVkZWQg aW4gdGhlIElQIG1vZHVsZSB0eXBlLiAgQUZBSUNULCB0aGV5IHVzZWQgdG8gYmUgcGFydCBvZgo+ IHRoZSBgY29ubmVjdGAgc2lnbmF0dXJlLCB3aGljaCBpcyBubyBsb25nZXIgcGFydCBvZiB0aGUg bW9kdWxlIHR5cGUuCj4gCj4gSSB3ZW50IHRocm91Z2ggbWlyYWdlLXByb3RvY29sc3stbHd0fSBh bmQgYWxsIHRoZSB1c2VycyBJIGNvdWxkIGZpbmQgdG8KPiByZW1vdmUgdGhlbSAoc2luY2UgSSBs aWtlIHRvIHJlbW92ZSB1bm5lY2Vzc2FyeSBib2lsZXJwbGF0ZSBjb2RlIDspKS4KPiBUaGUgY2hh bmdlcyBjb21waWxlIGFuZCBydW4gZmluZSAodGhlcmUgYXJlIHNvbWUgcGlucyByZXF1aXJlZCBz aW5jZSB0aGUKPiBDSSBjcm9zcy1yZWZlcmVuY2VzIG90aGVyIGxpYnJhcmllcywgYW5kIGJ1aWxk cyByZXZlcnNlIGRlcGVuZGVuY2llcykuCj4gCj4gUGxlYXNlIGhhdmUgYSBsb29rIGF0IHRoZSBm b2xsb3dpbmcgUFJzOgo+IC0gaHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9taXJhZ2UtcHJvdG9j b2xzL3B1bGwvMTEKPiAtIGh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdlLXRjcGlwL3B1 bGwvMzcxCj4gLSBodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL2NoYXJydWEtY29yZS9wdWxsLzgz Cj4gLSBodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS1xdWJlcy9wdWxsLzI0Cj4gCj4g QW5kIGxldCBtZSBrbm93IGlmIHlvdSB3aXNoIHRvIHJldGFpbiB0aGUgdHlwZXMgYXMgaXMgKGlm IHNvLCBwbGVhc2UKPiB0ZWxsIHdoeSksIGFuZC9vciBsZXQgbWUga25vdyBpZiB5b3UncmUgYXdh cmUgb2YgYW55IG90aGVyCj4gaW1wbGVtZW50YXRpb25zIG9mIElQIHdoaWNoIG1heSBuZWVkIHRv IGJlIGFkYXB0ZWQgKHZwbmtpdCBpcyBidWlsdCBhcyBhCj4gcmV2ZXJzZSBkZXBlbmRlbmN5IG9m IG1pcmFnZS1wcm90b2NvbHMgYnkgdHJhdmlzLCBhbmQgd29ya3MgZmluZSB3aXRoCj4gdGhlIGNo YW5nZXMpLgo+IAo+IFRob21hcyBHYXphZ25haXJlIGFscmVhZHkgYXBwcm92ZWQgdGhlIGZpcnN0 IFBSLCBpZiBub2JvZHkgb2JqZWN0cywgSSdsbAo+IG1lcmdlIHRoZSBhYm92ZSBtZW50aW9uZWQg UFJzIG9uIF9Nb25kYXksIFNlcCAzcmRfIGFuZCBkcmFmdCByZWxlYXNlcyBvZgo+IHRoZSBhZmZl Y3RlZCBsaWJyYXJpZXMsIGFuZCBhbHNvIGFkZCB1cHBlciBib3VuZHMgdG8gdGhlIHZlcnNpb25z Cj4gYWxyZWFkeSBpbiBvcGFtLXJlcG9zaXRvcnkgdG8gbm90IHVzZSBuZXdlciBtaXJhZ2UtcHJv dG9jb2xzLgo+IAo+IEknZCBwcm9wb3NlIHRvIHN0aWNrIHRvIHNlbWFudGljIHZlcnNpb25pbmcg aW4gdGhpcyBjYXNlIGFuZCB3b3VsZAo+IHJlbGVhc2UgYSBtaXJhZ2UtcHJvdG9jb2xzey1sd3R9 LjIuMC4wLgo+IAo+IAo+IFRoYW5rcyBmb3IgcmVhZGluZywKPiAKPiBoYW5uZXMKPiAKPiBfX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+IE1pcmFnZU9TLWRl dmVsIG1haWxpbmcgbGlzdAo+IE1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4g aHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRl dmVsCj4gCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K TWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2pl Y3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJh Z2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Mon Sep 03 13:11:05 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 03 Sep 2018 13:11:05 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fwod0-0006CX-8z; Mon, 03 Sep 2018 13:10:50 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fwocy-0006CS-LO for mirageos-devel@lists.xenproject.org; Mon, 03 Sep 2018 13:10:48 +0000 X-Inumbo-ID: 8b58fd02-af7a-11e8-a8a5-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 8b58fd02-af7a-11e8-a8a5-bc764e045a96; Mon, 03 Sep 2018 15:09:10 +0200 (CEST) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 156f702e for ; Mon, 3 Sep 2018 14:10:44 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :content-type:mime-version:subject:message-id:date:to; s= selector1; bh=B9W9V0RiNvr5t+mFjsFL6K2V74U=; b=d13bvY+adaye5Zxkmv 5kUaeFOPvTit4xRRBVufxBar15Rq4ypDvGHFyQhyk341oqpbYohbzL2YsawvZQjJ 6Bun5oVJJ4F4H0taBSSSlSjYpBnIIZF+PFX0AmHH5L3Ic7f/Ax/K5FZteAgHYJs9 0Rg0OcXfI5AfFbi61gAci+Ztg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :content-type:mime-version:subject:message-id:date:to; q=dns; s= selector1; b=gJTbeq5HJlrGF6Yvntq9t2mVMWLmDBvznmUWhplalVOVNtvNzo1 FES4O+z/zAScvXjJHDqg0O2ttoaaVHGYV2wItOvrlf7+4pESA/gZuoDo7m1Kh0nK 6D65AkHly18+b1rk+z7wm6YhH9UCTjrglPjQmsws31sKflzNHiAv7fd0= Received: from [192.168.2.38] (cpc91194-cmbg18-2-0-cust81.5-4.cable.virginm.net [80.6.180.82]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id a7ce412f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Mon, 3 Sep 2018 14:10:44 +0100 (BST) From: Anil Madhavapeddy Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Message-Id: Date: Mon, 3 Sep 2018 14:10:51 +0100 To: mirageos-devel X-Mailer: Apple Mail (2.3445.9.1) Subject: [MirageOS-devel] removing global use of Result 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: multipart/mixed; boundary="===============1267885836827330548==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============1267885836827330548== Content-Type: multipart/alternative; boundary="Apple-Mail=_21C862E2-96D8-4887-9DB9-C0BF0D6A5D97" --Apple-Mail=_21C862E2-96D8-4887-9DB9-C0BF0D6A5D97 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Dear all, I noticed in https://github.com/mirage/mirage-tcpip/pull/372 = that Hannes makes a = good point about globally opening the Result module, which we used to do = for compatibility for compilers pre-4.03.0. =20 Nowadays, in the forthcoming OCaml 4.08 release, there will be a more = extensive Result module with more functions available, so we should = start removing use of the older compatibility shim just in case the = shadowed functions cause issues. So if you spot use of the `result` package and a global Result module in = any other Mirage libraries, feel free to submit PRs along the lines of = the one above to clean them up and prepare us nicely for 4.08.0. Anil= --Apple-Mail=_21C862E2-96D8-4887-9DB9-C0BF0D6A5D97 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii Dear = all,

I noticed = in https://github.com/mirage/mirage-tcpip/pull/372 that = Hannes makes a good point about globally opening the Result module, = which we used to do for compatibility for compilers pre-4.03.0. =  

Nowadays,= in the forthcoming OCaml 4.08 release, there will be a more extensive = Result module with more functions available, so we should start removing = use of the older compatibility shim just in case the shadowed functions = cause issues.

So= if you spot use of the `result` package and a global Result module in = any other Mirage libraries, feel free to submit PRs along the lines of = the one above to clean them up and prepare us nicely for = 4.08.0.

Anil
= --Apple-Mail=_21C862E2-96D8-4887-9DB9-C0BF0D6A5D97-- --===============1267885836827330548== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============1267885836827330548==-- From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 12:40:32 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 12:40:32 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxAd3-0001Uc-8J; Tue, 04 Sep 2018 12:40:21 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxAd2-0001UX-0l for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 12:40:20 +0000 X-Inumbo-ID: ca910f43-b03f-11e8-a6a9-d7ebe60f679a Received: from mail4.protonmail.ch (unknown [185.70.40.27]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id ca910f43-b03f-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 12:41:06 +0000 (UTC) Date: Tue, 04 Sep 2018 12:40:10 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1536064816; bh=XYvcVcRMiV71eUGWhTDn3XwZL2Yt+FJd6/t/sstAExI=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=l8VUX/kkIQDKeo7ilgQu3ljUI0kSHOr9sknUhDgCOiBniZS5LhT6AspfrcMLb6KL8 JHXccw7i+1mlOjPrWFId2XASHlT23O4WIsZJU2fglnQd8oOKBpNS9bYHysRxYyxetG It1Vi5CB+vVxin5YGI5i3cPz8X7dN8UQ1nS4hwtE= To: "mirageos-devel@lists.xenproject.org" From: Adam Steen Message-ID: <4zuzGe-Ivr-_HHL_H2D2Bb5pPv4abUCuHJVL0H-hdAzxPtU7WpomZWG0kLTdqwZQoTPQwkl_6OQgmwCpDSW8o2ZHkNZrl2Xj47kuiQvxq1w=@adamsteen.com.au> Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.1 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.0 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mail.protonmail.ch Subject: [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding 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" SGkKCmkgd2FzIHRyeWluZyB0byB0ZXN0IHN0YXRpY193ZWJzaXRlX3RscyBhbmQgZ290IHRoZSBm b2xsb3dpbmcgZXJyb3IgYWZ0ZXIgYSAibWlyYWdlIGNvbmZpZ3VyZSAtdCB1a3ZtICYmIGdtYWtl IGRlcGVuZHMiCgoKW0VSUk9SXSBUaGUgc291cmNlcyBvZiB0aGUgZm9sbG93aW5nIGNvdWxkbid0 IGJlIG9idGFpbmVkLCBhYm9ydGluZzoKICAgICAgICAgIC0gZ21wLWZyZWVzdGFuZGluZy42LjEu Mi0xCgpnbWFrZTogKioqIFtNYWtlZmlsZToxNDogZGVwZW5kc10gRXJyb3IgNDAKCklzIHRoaXMg ZHVlIHRvIHRoZSBpbnN0YWxsZWQgdmVyc2lvbiBvZiBnbXA/IG9yIC4uLi4KCkNoZWVycwpBZGFt CgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VP Uy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcK aHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRl dmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 12:55:12 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 12:55:12 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxArO-0002hb-T7; Tue, 04 Sep 2018 12:55:10 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxArN-0002fi-0T for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 12:55:09 +0000 X-Inumbo-ID: dd424d43-b041-11e8-a6a9-d7ebe60f679a Received: from limerock02.mail.cornell.edu (unknown [128.84.13.242]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTP id dd424d43-b041-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 12:55:56 +0000 (UTC) X-CornellRouted: This message has been Routed already. Received: from authusersmtp.mail.cornell.edu (granite4.serverfarm.cornell.edu [10.16.197.9]) by limerock02.mail.cornell.edu (8.14.4/8.14.4_cu) with ESMTP id w84Ct6sA028132 for ; Tue, 4 Sep 2018 08:55:07 -0400 Received: from mail-lj1-f180.google.com (mail-lj1-f180.google.com [209.85.208.180]) (authenticated bits=0) by authusersmtp.mail.cornell.edu (8.14.4/8.12.10) with ESMTP id w84Ct4H5005323 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Tue, 4 Sep 2018 08:55:06 -0400 Received: by mail-lj1-f180.google.com with SMTP id j19-v6so3041737ljc.7 for ; Tue, 04 Sep 2018 05:55:05 -0700 (PDT) X-Gm-Message-State: APzg51BSGjgqunVtOE4gTg75JYjwvELVOTw2r1D7YdQlc74PmyEVPZQZ X33AvqqgW8c08/sz4hVBAxF3pFwpDJq0LOpVUhY= X-Google-Smtp-Source: ANB0VdY+fFpFaBWYr+yNGCM8XiV1Kv6LTdQCt4yWS+DB1IeoF+guFhsxJNmwndyUtuzlddr+ioXg7Mt/Wq8aHuib2NU= X-Received: by 2002:a2e:550b:: with SMTP id j11-v6mr21385548ljb.124.1536065704423; Tue, 04 Sep 2018 05:55:04 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Arnaud Sahuguet Date: Tue, 4 Sep 2018 08:46:16 -0400 X-Gmail-Original-Message-ID: Message-ID: To: Anil Madhavapeddy X-PMX-Cornell-Gauge: Gauge=X X-PMX-CORNELL-AUTH-RESULTS: dkim-out=none; Subject: Re: [MirageOS-devel] removing global use of Result 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: , Cc: mirageos-devel Content-Type: multipart/mixed; boundary="===============6132025083703289613==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============6132025083703289613== Content-Type: multipart/alternative; boundary="000000000000aa01c605750b2ae1" --000000000000aa01c605750b2ae1 Content-Type: text/plain; charset="UTF-8" All notifications should be have been sent and the program should be or will be on the website shortly. On Mon, Sep 3, 2018 at 9:11 AM Anil Madhavapeddy wrote: > Dear all, > > I noticed in https://github.com/mirage/mirage-tcpip/pull/372 that Hannes > makes a good point about globally opening the Result module, which we used > to do for compatibility for compilers pre-4.03.0. > > Nowadays, in the forthcoming OCaml 4.08 release, there will be a more > extensive Result module with more functions available, so we should start > removing use of the older compatibility shim just in case the shadowed > functions cause issues. > > So if you spot use of the `result` package and a global Result module in > any other Mirage libraries, feel free to submit PRs along the lines of the > one above to clean them up and prepare us nicely for 4.08.0. > > Anil > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel > --000000000000aa01c605750b2ae1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
All notifications should be have been sent and the p= rogram should be or will be on the website shortly.

On Mon, Sep 3, 2018 at 9:11 AM Ani= l Madhavapeddy <anil@recoil.org&g= t; wrote:
Dear all,

I noti= ced in=C2=A0https://github.com/mirage/mirage-tcpip/pull/372=C2=A0tha= t Hannes makes a good point about globally opening the Result module, which= we used to do for compatibility for compilers pre-4.03.0. =C2=A0

Nowadays, in the forthcoming OCaml 4.08 release, there will= be a more extensive Result module with more functions available, so we sho= uld start removing use of the older compatibility shim just in case the sha= dowed functions cause issues.

So if you spot use o= f the `result` package and a global Result module in any other Mirage libra= ries, feel free to submit PRs along the lines of the one above to clean the= m up and prepare us nicely for 4.08.0.

Anil
<= /div>_______________________________________________
MirageOS-devel mailing list
Mi= rageOS-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/lis= tinfo/mirageos-devel
--000000000000aa01c605750b2ae1-- --===============6132025083703289613== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============6132025083703289613==-- From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 12:58:49 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 12:58:49 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxAut-000337-VL; Tue, 04 Sep 2018 12:58:47 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxAus-000332-Tl for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 12:58:47 +0000 X-Inumbo-ID: 5ec7decf-b042-11e8-a6a9-d7ebe60f679a Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 5ec7decf-b042-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 12:59:34 +0000 (UTC) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id B4028122804 for ; Tue, 4 Sep 2018 14:58:44 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1536065924; bh=KqZX80KTBEI+5cxpqpWOFfxHZqPTNVKEJh1E2cbE80E=; h=Date:From:To:Subject:References:In-Reply-To:From; b=Ty75T3q3mtXJxqKvz1TPZjvCmREngumNxMdYRim+2fYTgK1lYyeXYDutvkD+odMAK dVUrtSbkERp3Y9velT3ljjhbdj575w/z11Q3cVcDUGieOVSe4aCKZ6cVgley6HyRZ3 3wRAFV/kwIAEh4vx8fnWrpYKbXDdDad9pqfRuPo/sjv7m65+5eFK/pUcpTk1Eyjk+r 8IcxvRty3Dkgl7PQeQfTbMJUIIEhZE2Y8/ngPBGQAM/8KefqbUrpT2Azpf4UxaFlyp c+uCB9ter2ddTRODQyFuM7XM6IEUdgJvs2L5Ng48yWEIgzBpZYWqmkhYZRqcxWX3XX WYFtwm5uXGh1A== Received: by nodbug.lucina.net (Postfix, from userid 1000) id 7072A268631E; Tue, 4 Sep 2018 14:58:44 +0200 (CEST) Date: Tue, 4 Sep 2018 14:58:44 +0200 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180904125844.g76cl6kia2i4phna@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org References: <4zuzGe-Ivr-_HHL_H2D2Bb5pPv4abUCuHJVL0H-hdAzxPtU7WpomZWG0kLTdqwZQoTPQwkl_6OQgmwCpDSW8o2ZHkNZrl2Xj47kuiQvxq1w=@adamsteen.com.au> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <4zuzGe-Ivr-_HHL_H2D2Bb5pPv4abUCuHJVL0H-hdAzxPtU7WpomZWG0kLTdqwZQoTPQwkl_6OQgmwCpDSW8o2ZHkNZrl2Xj47kuiQvxq1w=@adamsteen.com.au> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding 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" T24gVHVlc2RheSwgMDQuMDkuMjAxOCBhdMKgMTI6NDAsIEFkYW0gU3RlZW4gd3JvdGU6Cj4gSGkK PiAKPiBpIHdhcyB0cnlpbmcgdG8gdGVzdCBzdGF0aWNfd2Vic2l0ZV90bHMgYW5kIGdvdCB0aGUg Zm9sbG93aW5nIGVycm9yIGFmdGVyIGEgIm1pcmFnZSBjb25maWd1cmUgLXQgdWt2bSAmJiBnbWFr ZSBkZXBlbmRzIgo+IAo+IAo+IFtFUlJPUl0gVGhlIHNvdXJjZXMgb2YgdGhlIGZvbGxvd2luZyBj b3VsZG4ndCBiZSBvYnRhaW5lZCwgYWJvcnRpbmc6Cj4gICAgICAgICAgIC0gZ21wLWZyZWVzdGFu ZGluZy42LjEuMi0xCj4gCj4gZ21ha2U6ICoqKiBbTWFrZWZpbGU6MTQ6IGRlcGVuZHNdIEVycm9y IDQwCj4gCj4gSXMgdGhpcyBkdWUgdG8gdGhlIGluc3RhbGxlZCB2ZXJzaW9uIG9mIGdtcD8gb3Ig Li4uLgoKIm9wYW0gc291cmNlIGdtcC1mcmVlc3RhbmRpbmciIHNlZW1zIHRvIHdvcmsgZnJvbSBo ZXJlIChjbGVhcmVkIHRoZSBvcGFtCmNhY2hlLCBhbmQgYWxzbyB0ZXN0ZWQgbWFudWFsbHkgZG93 bmxvYWRpbmcgdGhlIHNvdXJjZSBVUkwpLiBMaWtlbHkgYQp0cmFuc2llbnQgcHJvYmxlbS4KCi1t YXRvCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJh Z2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5v cmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9z LWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 18:46:10 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 18:46:10 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxGKq-0000ll-Sx; Tue, 04 Sep 2018 18:45:56 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxGKp-0000lg-EN for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 18:45:55 +0000 X-Inumbo-ID: db3253da-b072-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id db3253da-b072-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 18:46:39 +0000 (UTC) Received: from [192.168.42.80] (i5E86CD5.versanet.de [94.134.205.5]) (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 7281F70F for ; Tue, 4 Sep 2018 20:45:48 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: <5d435ae7-7c1e-3deb-06f9-fad2e3fe366c@mehnert.org> Date: Tue, 4 Sep 2018 20:45:44 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] removing global use of Result 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" T24gMDMvMDkvMjAxOCAxNToxMCwgQW5pbCBNYWRoYXZhcGVkZHkgd3JvdGU6Cj4gU28gaWYgeW91 IHNwb3QgdXNlIG9mIHRoZSBgcmVzdWx0YCBwYWNrYWdlIGFuZCBhIGdsb2JhbCBSZXN1bHQgbW9k dWxlIGluIGFueSBvdGhlciBNaXJhZ2UgbGlicmFyaWVzLCBmZWVsIGZyZWUgdG8gc3VibWl0IFBS cyBhbG9uZyB0aGUgbGluZXMgb2YgdGhlIG9uZSBhYm92ZSB0byBjbGVhbiB0aGVtIHVwIGFuZCBw cmVwYXJlIHVzIG5pY2VseSBmb3IgNC4wOC4wLgoKSWYgeW91J3JlIGtlZW4gb24gZG9pbmcgdGhp cywgaGVyZSdzIGEgc3BlY2lhbGx5IGNyYWZ0ZWQgVVJMIHdoaWNoIHVzZXMKR2l0SHVicyBzZWFy Y2ggZnVuY3Rpb25hbGl0eSB0byBsb29rIGZvciB0aGVzZSBjYXNlczoKICBodHRwczovL2dpdGh1 Yi5jb20vc2VhcmNoP3E9b3JnJTNBbWlyYWdlKyUyMm9wZW4rUmVzdWx0JTIyJnR5cGU9Q29kZQoK aGFubmVzCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpN aXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVj dC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFn ZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 18:53:32 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 18:53:32 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxGSA-0001Xu-HN; Tue, 04 Sep 2018 18:53: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 1fxGS9-0001Xp-Gv for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 18:53:29 +0000 X-Inumbo-ID: ec82121d-b073-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id ec82121d-b073-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 18:54:17 +0000 (UTC) Received: from [192.168.42.80] (i5E86CD5.versanet.de [94.134.205.5]) (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 82EFF71F for ; Tue, 4 Sep 2018 20:53:27 +0200 (CEST) From: Hannes Mehnert To: mirageos-devel@lists.xenproject.org Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Tue, 4 Sep 2018 20:53:23 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 5th September at 16.00 BST 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 Yml3ZWVrbHkgSVJDIGNhdGNodXBzIGF0IDE2LjAwCkJTVCB0b21vcnJvdyAoU2VwdGVtYmVyIDV0 aCkuICBXZSBtZWV0IGluICNtaXJhZ2Ugb24gaXJjLmZyZWVub2RlLm5ldC4KClBsZWFzZSBhZGQg aXRlbXMgdG8gdGhlIGFnZW5kYSBhdApodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS13 d3cvd2lraS9DYWxsLUFnZW5kYSM1LXNlcHRlbWJlci0yMDE4IC0KaWRlYWxseSB3aXRoIHlvdXIg bmljayBhbG9uZ3NpZGUgc28gd2Uga25vdyB3aG8gaGFzIGEgcXVlc3Rpb24gb3IKc3RhdGVtZW50 IGFib3V0IHRoYXQgaXRlbS4KCllvdSBjYW4gc2VlIHRoZSBJUkMgbG9ncyBmb3IgdGhlIHByZXZp b3VzIGNhdGNodXAgb24gMjV0aCBKdWx5IGF0Cmh0dHBzOi8vaXJjbG9nLndoaXRlcXVhcmsub3Jn L21pcmFnZS8yMDE4LTA3LTI1ICh0aGFua3MsIHdoaXRlcXVhcmshKS4KClNlZSB5b3UgdGhlcmUh CgpoYW5uZXMKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f Ck1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9q ZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWly YWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Tue Sep 04 22:27:20 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 04 Sep 2018 22:27:20 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxJmv-0003PM-CN; Tue, 04 Sep 2018 22:27:09 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxJmt-0003PG-BZ for mirageos-devel@lists.xenproject.org; Tue, 04 Sep 2018 22:27:07 +0000 X-Inumbo-ID: c409b627-b091-11e8-a6a9-d7ebe60f679a Received: from mail4.protonmail.ch (unknown [185.70.40.27]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id c409b627-b091-11e8-a6a9-d7ebe60f679a; Tue, 04 Sep 2018 22:27:54 +0000 (UTC) Date: Tue, 04 Sep 2018 22:26:58 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1536100023; bh=Imwe3G0XAztP3bLAnNOEPIyuiK3NNxlMrEv/xakdbp8=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References: Feedback-ID:From; b=WDgTyrlV4o7/WbALmJlGM+DJEIMNec/XQljzePYq6rwc8yxyUqqD8QgFdDomGIsqL u+JbdwE6aufq5Ckb5zLGaJr8Lrs+whWWW+RVUIKi40NKRujT3GYBY5BpPdtuJ7YB1d bD2DS8CZ/8IC4scej7d6zGQbBOCoimotMeWxGDio= To: Martin Lucina From: Adam Steen Message-ID: <15jYNL3XUvnQ6SQfOBtmUimC2Vv4aUQ75h0DyOVmpIv9jmkdA0yzwVvekheaR11V5lmvSKWR0UyqAD_FkxT3UDWXRUGX_QIKQAHpayzFaZ8=@adamsteen.com.au> In-Reply-To: <20180904125844.g76cl6kia2i4phna@nodbug.lucina.net> References: <4zuzGe-Ivr-_HHL_H2D2Bb5pPv4abUCuHJVL0H-hdAzxPtU7WpomZWG0kLTdqwZQoTPQwkl_6OQgmwCpDSW8o2ZHkNZrl2Xj47kuiQvxq1w=@adamsteen.com.au> <20180904125844.g76cl6kia2i4phna@nodbug.lucina.net> Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.1 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.0 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mail.protonmail.ch Subject: Re: [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding 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" 4oCQ4oCQ4oCQ4oCQ4oCQ4oCQ4oCQIE9yaWdpbmFsIE1lc3NhZ2Ug4oCQ4oCQ4oCQ4oCQ4oCQ4oCQ 4oCQCk9uIFNlcHRlbWJlciA0LCAyMDE4IDg6NTggUE0sIE1hcnRpbiBMdWNpbmEgPG1hcnRpbkBs dWNpbmEubmV0PiB3cm90ZToKCj4gT24gVHVlc2RheSwgMDQuMDkuMjAxOCBhdMKgMTI6NDAsIEFk YW0gU3RlZW4gd3JvdGU6Cj4KPiA+IEhpCj4gPiBpIHdhcyB0cnlpbmcgdG8gdGVzdCBzdGF0aWNf d2Vic2l0ZV90bHMgYW5kIGdvdCB0aGUgZm9sbG93aW5nIGVycm9yIGFmdGVyIGEgIm1pcmFnZSBj b25maWd1cmUgLXQgdWt2bSAmJiBnbWFrZSBkZXBlbmRzIgo+ID4gW0VSUk9SXSBUaGUgc291cmNl cyBvZiB0aGUgZm9sbG93aW5nIGNvdWxkbid0IGJlIG9idGFpbmVkLCBhYm9ydGluZzoKPiA+IC0g Z21wLWZyZWVzdGFuZGluZy42LjEuMi0xCj4gPiBnbWFrZTogKioqIFtNYWtlZmlsZToxNDogZGVw ZW5kc10gRXJyb3IgNDAKPiA+IElzIHRoaXMgZHVlIHRvIHRoZSBpbnN0YWxsZWQgdmVyc2lvbiBv ZiBnbXA/IG9yIC4uLi4KPgo+ICJvcGFtIHNvdXJjZSBnbXAtZnJlZXN0YW5kaW5nIiBzZWVtcyB0 byB3b3JrIGZyb20gaGVyZSAoY2xlYXJlZCB0aGUgb3BhbQo+IGNhY2hlLCBhbmQgYWxzbyB0ZXN0 ZWQgbWFudWFsbHkgZG93bmxvYWRpbmcgdGhlIHNvdXJjZSBVUkwpLiBMaWtlbHkgYQo+IHRyYW5z aWVudCBwcm9ibGVtLgo+Cj4gLW1hdG8KPgo+IE1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdAo+ IE1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4gaHR0cHM6Ly9saXN0cy54ZW5w cm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCgpsb29rcyBsaWtlIGEg T3BlbkJTRCB0YXIgaW5jb21wYXRpYmlsaXR5LgoKJCBvcGFtIHNvdXJjZSBnbXAtZnJlZXN0YW5k aW5nLjYuMS4yLTEKW2dtcC1mcmVlc3RhbmRpbmcuNi4xLjItMV0gZm91bmQgaW4gY2FjaGUKW0VS Uk9SXSBEb3dubG9hZCBmYWlsZWQ6ICIvYmluL3RhciB4ZkogL2hvbWUvYXN0ZWVuLy5vcGFtL2Rv d25sb2FkLWNhY2hlL21kNS9mNS9mNThmYTgwMDFkNjBjNGM3NzU5NWZiYmI2MmI2M2MxZCAtQyAv dG1wL29wYW0tMTY0NjAtNWE2MWM1IiBleGl0ZWQgd2l0aCBjb2RlIDEKCnRoZW4KCiQvYmluL3Rh ciB4ZkogL2hvbWUvYXN0ZWVuLy5vcGFtL2Rvd25sb2FkLWNhY2hlL21kNS9mNS9mNThmYTgwPHNu aXA+Ci9iaW4vdGFyOiB1bmtub3duIG9wdGlvbiBKCnVzYWdlOiB0YXIgPHNuaXA+CgpsYXN0bHks IGZyb20gc29tZSByYW5kb20gbGltdXggdGFyIG1hbiBwYWdlCgotSiwgLS14egpmaWx0ZXIgdGhl IGFyY2hpdmUgdGhyb3VnaCB4egoKYmFjayB0byBsb29raW5nIGF0IHRoZSBPcGVuQlNEIHVwZGF0 ZWQgT1BBTSBwb3J0LCBwYXRjaCBmYWlscwoKQ2hlZXJzCkFkYW0KCgoKX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBs aXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVu cHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Thu Sep 06 15:30:47 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 06 Sep 2018 15:30:47 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxwEv-0002HI-B0; Thu, 06 Sep 2018 15:30:37 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fxwEu-0002H9-3J for mirageos-devel@lists.xenproject.org; Thu, 06 Sep 2018 15:30:36 +0000 X-Inumbo-ID: e9b9f0be-b1e9-11e8-a6a9-d7ebe60f679a Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id e9b9f0be-b1e9-11e8-a6a9-d7ebe60f679a; Thu, 06 Sep 2018 15:31:24 +0000 (UTC) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id 55DDF122804 for ; Thu, 6 Sep 2018 17:30:33 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1536247833; bh=fLDSZXQ0MjxIFyjUj+QI4rwXcRtWJqpcECzIxcPrXWM=; h=Date:From:To:Subject:References:In-Reply-To:From; b=apK9bMJxmot4Nn88O6etpObV6hcOhbuBO30Q3XRoZi4jTWrncERpu7vggrHKflUq7 yfC7kgWRh65O70dp9zAgIGJIaiqJICiqwom9t60NuSCe3qn3YfdgXZ9MMTLURW5BMl MNdfRMpdW+bQBIrqq8/P9DbM2OaxcJQ69RBZU05ViUT4EzCfox6T1Eb/LlGJaFPIPD 5bOmaTD4UQtY2fkJzySsF8XuoI0z501ILKM3wMpel4JEkO32LaiZRdrQAPlfpCyUC3 ezXXd76vOmerLonyZgJ11jK4jXLYjch8qWtcXkSqWSsinqoZfGBDcC0gx9T4+rIGlA Ppc4QeZYjpLRA== Received: by nodbug.lucina.net (Postfix, from userid 1000) id 37665265E86C; Thu, 6 Sep 2018 17:30:33 +0200 (CEST) Date: Thu, 6 Sep 2018 17:30:33 +0200 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180906153033.ei5b5ppoe6mbiig5@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org References: <20180824145720.nq6sziuhmelhc7aq@nodbug.lucina.net> <3a83ccc8-270a-0e84-ae19-6d2499898741@mehnert.org> <20180827143817.dbd3ewu73fkr4wg3@nodbug.lucina.net> <20180828143948.vb2bp72zybtmmp76@nodbug.lucina.net> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20180828143948.vb2bp72zybtmmp76@nodbug.lucina.net> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [MirageOS-devel] Solo5 renaming and OPAM package names 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" QWxsLAoKcHJvZ3Jlc3MgdXBkYXRlIG9uIHRoaXM6CgpBZnRlciBzcGVuZGluZyBhIGNvdXBsZSBv ZiBkYXlzIHdyaXRpbmcgYSBidW5jaCBvZiBPUEFNLXJlcG9zaXRvcnktbXVuZ2luZwp0b29scywg c28gdGhhdCBJIG5ldmVyIGFnYWluIGhhdmUgdG8gZG8gMjArIGNoYW5nZXMgdG8gcGFja2FnZXMg bWFudWFsbHksCkkndmUgZmluYWxseSBkb25lIGFuIGVuZC10by1lbmQgdGVzdCBvZiB0aGUgY2hh bmdlcyB3aXRoIE1pcmFnZSwgdXNpbmcgbXkKd2lwLXJlbmFtaW5nIGJyYW5jaCBvZiB0aGUgb3Bh bS1zb2xvNSByZXBvc2l0b3J5OgpodHRwczovL2dpdGh1Yi5jb20vbWF0by9vcGFtLXNvbG81L3Ry ZWUvd2lwLXJlbmFtaW5nLgoKTm90ZSB0aGF0IHRoaXMgZG9lcyBub3QgYWN0dWFsbHkgd29yayB5 ZXQgd2l0aG91dCBtYW51YWwgaGFja3MgZHVlIHRvIHNvbWUKaXNzdWVzIEkgZm91bmQgd2l0aCB0 aGUgU29sbzUgY2hhbmdlcyAoc2VlIHRoZSBTb2xvNSBQUiAjMjcyIGZvciBkZXRhaWxzKS4KCkFw YXJ0IGZyb20gdGhlIGlzc3VlcyBtZW50aW9uZWQgdGhlcmUsIHRoZXJlIGFyZSBhIGNvdXBsZSBt b3JlIHRoYXQgYXJlCk1pcmFnZSBhbmQvb3IgT1BBTSBzcGVjaWZpYzoKCjEuIEhlcmUgaXMgd2hh dCBoYXBwZW5zIHdoZW4gSSBhZGQgdGhhdCByZXBvc2l0b3J5IGFuZCBhdHRlbXB0IHRvIHVwZ3Jh ZGUKYW4gZXhpc3RpbmcgTWlyYWdlL1NvbG81IHN3aXRjaDoKCi0tLWN1dCBoZXJlLS0tCiQgb3Bh bSB1cGdyYWRlClRoZSBmb2xsb3dpbmcgcGFja2FnZXMgYXJlIG5vdCBiZWluZyB1cGdyYWRlZCBi ZWNhdXNlIHRoZSBuZXcgdmVyc2lvbnMgY29uZmxpY3QKd2l0aCBvdGhlciBpbnN0YWxsZWQgcGFj a2FnZXM6CiAgLSBtaXJhZ2UuZGV2fnNvbG81CiAgLSBtaXJhZ2Utc29sbzUuZGV2fnNvbG81CiAg LSBvY2FtbC1mcmVlc3RhbmRpbmcuZGV2fnNvbG81CiAgLSBvcGFtLWNvcmUuMi4wLjAKICAtIG9w YW0tZmlsZS1mb3JtYXQuMi4wLjAKICAgIOKIlyBvcGFtLWVkLjAuMSBpcyBpbnN0YWxsZWQgYW5k IHJlcXVpcmVzIG9wYW0tZmlsZS1mb3JtYXQgPSAyLjAuMH5iZXRhMwogIC0gb3BhbS1mb3JtYXQu Mi4wLjAKSG93ZXZlciwgeW91IG1heSAib3BhbSB1cGdyYWRlIiB0aGVzZSBwYWNrYWdlcyBleHBs aWNpdGx5LCB3aGljaCB3aWxsIGFzawpwZXJtaXNzaW9uIHRvIGRvd25ncmFkZSBvciB1bmluc3Rh bGwgdGhlIGNvbmZsaWN0aW5nIHBhY2thZ2VzLgpOb3RoaW5nIHRvIGRvLgokIG9wYW0gdXBncmFk ZSBtaXJhZ2UKVGhlIGZvbGxvd2luZyBhY3Rpb25zIHdpbGwgYmUgcGVyZm9ybWVkOgogIOKGlyB1 cGdyYWRlICAgbWlyYWdlICAgICAgICAgICAgICAgMy4xLjEgdG8gZGV2fnNvbG81CiAg4oiXIGlu c3RhbGwgICBzb2xvNS1iaW5kaW5ncy12dCAgICBkZXZ+c29sbzUKICAgICAgICAgIFtyZXF1aXJl ZCBieSBvY2FtbC1mcmVlc3RhbmRpbmddCiAg4oqYIHJlbW92ZSAgICBzb2xvNS1rZXJuZWwtdWt2 bSAgICAwLjMuMQogICAgICAgICAgW2NvbmZsaWN0cyB3aXRoIG9jYW1sLWZyZWVzdGFuZGluZ10K ICDihpcgdXBncmFkZSAgIG9jYW1sLWZyZWVzdGFuZGluZyAgIDAuMy4xIHRvIGRldn5zb2xvNQog IOKGlyB1cGdyYWRlICAgbWlyYWdlLXNvbG81ICAgICAgICAgMC4zLjAgdG8gZGV2fnNvbG81IFt1 c2VzIG9jYW1sLWZyZWVzdGFuZGluZ10KICDihrsgcmVjb21waWxlIG1pcmFnZS1ib290dmFyLXNv bG81IDAuMy4wICAgICAgICAgICAgICBbdXNlcyBtaXJhZ2Utc29sbzVdCj09PT09IOKIlyAxICAg 4oa7IDEgICDihpcgMyAgIOKKmCAxID09PT09CkRvIHlvdSB3YW50IHRvIGNvbnRpbnVlPyBbWS9u XSBuCi0tLWN1dCBoZXJlLS0tCgpROiBQZW9wbGUgd2lsbCBuZWVkIHRvIGV4cGxjaXRseSAib3Bh bSB1cGdyYWRlIG1pcmFnZSIgdG8gZ2V0CnRoZSBuZXcgdmVyc2lvbi4gSXMgdGhpcyBPSz8KCjIu ICJtaXJhZ2UgY2xlYW4iIGZhaWxzIGFmdGVyIHVwZ3JhZGluZyBkdWUgdG8gb2NhbWxidWlsZCBj b21wbGFpbmluZyBhYm91dApfYnVpbGRfdWt2bSAod2hpY2ggaXQgbm93IGtub3dzIG5vdGhpbmcg YWJvdXQpLiBTbywgSSBndWVzcyBhdCBsZWFzdCBmb3IKdGhlICJjbGVhbiIgcGhhc2UsIHdlIHNo b3VsZCBrZWVwIHRob3NlIG9sZCBuYW1lcyBhcm91bmQgc28gdGhhdCB0aGlzIGRvZXMKbm90IGZh aWw/CgpMYXN0bHksIG9uIHllc3RlcmRheSdzIG1pcmFnZSBjYWxsLCBzb21lb25lIChUaG9tYXNH Pykgc3VnZ2VzdGVkIHVzaW5nCidodnQnIHJhdGhlciB0aGFuIGp1c3QgJ3Z0JyBmb3IgbmFtaW5n IHRoZSB0YXJnZXQgZm9ybWVybHkga25vd24gYXMgJ3Vrdm0nLgpHaXZlbiB0aGF0IEknbGwgaGF2 ZSB0byByZWRvIHRoaXMgcGF0Y2ggc2V0IGFueXdheSwgSSdtIGNvbnNpZGVyaW5nIHRha2luZwp0 aGF0IHN1Z2dlc3Rpb24sIHNpbmNlIGl0IGlzIGJvdGggbW9yZSBleHBsaWNpdCAoIipoYXJkd2Fy ZSoKdmlydHVhbGl6YXRpb24iKSBhbmQgbGV4aWNvZ3JhcGhpY2FsbHkgbW9yZSBkaXN0aW5jdCBm cm9tIGFub3RoZXIgdGFyZ2V0CigndmlydGlvJykuCgpBbnkgb2JqZWN0aW9ucz8KClRoYW5rcywK Ci1tYXRvCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpN aXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVj dC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFn ZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Mon Sep 10 08:30:01 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 10 Sep 2018 08:30:01 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fzHZv-0000Pe-0H; Mon, 10 Sep 2018 08:29:51 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fzHZt-0000PZ-HW for mirageos-devel@lists.xenproject.org; Mon, 10 Sep 2018 08:29:49 +0000 X-Inumbo-ID: 6d2b22bc-b4d3-11e8-a8a5-bc764e045a96 Received: from mail-lf1-f42.google.com (unknown [209.85.167.42]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 6d2b22bc-b4d3-11e8-a8a5-bc764e045a96; Mon, 10 Sep 2018 10:28:00 +0200 (CEST) Received: by mail-lf1-f42.google.com with SMTP id h64-v6so16713125lfi.10 for ; Mon, 10 Sep 2018 01:29:47 -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:from:date:message-id:subject:to; bh=9RXpgYK0Xh2b8WXPuSd1WyCCzC38JkPRvGn7Aefza3k=; b=dyJQa5Ysh0V2291/i95xzbNAxkQaukIOvNet6G1Hnvxvaa4rKWAVjOK11/oZthwQVz TTsjb+hmRELL3qURJUR6oTJKJQbmcDviBEzSlwg2NLgVz29YZ6X+XFjCuUfATaZZ24OA RscQaykoJg3VG7AaR98GIeKRiSTK0gRSzc5jZzFBecVnaQgSl9qJBpY3ZopDY4beK0HT gvlu2rdb8sQQLUN92sxTDT2g73FszB3wqbFlEk60p9U2BY/26JymKHIzq/O3MO0KPHkO 8Ly5375VFeVct8JPCttFAqvpsR/upXC8+4Er2Z11hxMcaU12wdZ+CEh9aevrSEktrHo2 BU7g== X-Gm-Message-State: APzg51C/Dc/oB306PnAZbE+CGp7Tzgi1PAjydYhi/rPG7Mi8rWClNcUF KpzZEkxv1Bu7CVEJQQCfSiE0N7mJ2q64jlyuIxPGhbD+ X-Google-Smtp-Source: ANB0Vdbq9JC5yz98RKZd5z64RpJcjmHzdDGksf1p6WcZjMc8d9CEk2+31gFplcoxctGBDsyRRJPv+nSJrUgdG2k+Jt0= X-Received: by 2002:a19:5911:: with SMTP id n17-v6mr12376487lfb.102.1536568185250; Mon, 10 Sep 2018 01:29:45 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?=C3=89tienne_Millon?= Date: Mon, 10 Sep 2018 10:29:32 +0200 Message-ID: To: mirageos-devel@lists.xenproject.org Subject: [MirageOS-devel] [ANN] An implementation of the Noise Protocol Framework 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" SGVsbG8sCgpJIGFtIGFubm91bmNpbmcgdGhlIGZpcnN0IHJlbGVhc2Ugb2Ygbm9pc2UsIGFuIGlt cGxlbWVudGF0aW9uIG9mIHRoZQpOb2lzZSBQcm90b2NvbCBGcmFtZXdvcms6CgpodHRwczovL2dp dGh1Yi5jb20vZW1pbGxvbi9vY2FtbC1ub2lzZQpodHRwczovL25vaXNlcHJvdG9jb2wub3JnLwoK SXQgY29udGFpbnMgYnVpbGRpbmcgYmxvY2tzIHRvIGltcGxlbWVudCBhIHNlY3VyZSBwcm90b2Nv bCB3aXRoCmNvbmZpZGVudGlhbGl0eSBhbmQgYXV0aGVudGljYXRpb24gb24gdG9wIG9mIG1vZGVy biBjcnlwdG9ncmFwaGljCnByaW1pdGl2ZXMuIFRoaXMgcHJvdG9jb2wgZnJhbWV3b3JrIGlzIHVz ZWQgYnkgV2hhdHNBcHAsIFdpcmVHdWFyZCwKYW5kIExpZ2h0bmluZy4KClRoaXMgaXMgc3RpbGwg YSB2ZXJ5IGVhcmx5IHZlcnNpb246Ci0gaXQgY29udGFpbnMgc29tZSBjdXN0b20gaW1wbGVtZW50 YXRpb25zIG9mIGNyeXB0b2dyYXBoaWMgcHJpbWl0aXZlcwotIHRoZSBpbnRlcmZhY2UgaXMgdW5z dGFibGUKLSBtb3N0IGFwcGxpY2F0aW9ucyBuZWVkIGEgaGlnaGVyIGxldmVsIHByb3RvY29sIGxp a2UgTm9pc2VTb2NrZXQsCndoaWNoIGlzIGNvbXBhcmFibGUgdG8gVExTCgpOZXh0IG9uIG15IHJv YWRtYXAgaXMgaW1wbGVtZW50aW5nIGEgV2lyZUd1YXJkIGNsaWVudCBhbmQgc2VydmVyIHRoYXQK Y2FuIGJlIHVzZWQgaW4gTWlyYWdlLgoKSWYgeW91IGFyZSBpbnRlcmVzdGVkIGluIGltcGxlbWVu dGluZyBhIHByb3RvY29sIHRoYXQgdXNlcyBOb2lzZSwKcGxlYXNlIGdldCBpbiB0b3VjaCEKClRo YW5rcwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWly YWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qu b3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vv cy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Wed Sep 12 05:03:30 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Sep 2018 05:03: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 1fzxJ5-0001Wv-7w; Wed, 12 Sep 2018 05:03:15 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fzxJ4-0001Wq-5B for mirageos-devel@lists.xenproject.org; Wed, 12 Sep 2018 05:03:14 +0000 X-Inumbo-ID: e365bd29-b648-11e8-a8a5-bc764e045a96 Received: from mail1.protonmail.ch (unknown [185.70.40.18]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id e365bd29-b648-11e8-a8a5-bc764e045a96; Wed, 12 Sep 2018 07:01:21 +0200 (CEST) Date: Wed, 12 Sep 2018 05:03:01 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1536728588; bh=TwZuUg751VELGD7cpCyRpg88RjZyaFaGgHg0mweTTX4=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=qCaCbmZrIwHvO3g9BhqZXoFah+giclegBQWRWwz+f34tHPHAYlrdiJoS86S71+k/T 8gezFPOw09BlYJrN/n8BFbB80Gd3yW8Vvh7c71dvr4Jrg9rnLf0Cz9BT7xmUM7rhKk 63AUmJa4PMggStozFyHhpu6r1J8DoLFVNSdg0edo= 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=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.0 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mail.protonmail.ch Subject: [MirageOS-devel] Bad hash for zarith-freestanding.1.7 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" SGkgQWxsCgpJIGFtIG5vdCBzdXJlIGlmIHRoaXMgaXMgdGhlIGNvcnJlY3QgcGxhY2UgdG8gcG9z dCB0aGlzIGJ1dCBJIGFtIGdldHRpbmcgdGhlIGZvbGxvd2luZwoKbWlyYWdlJCBvcGFtIHNvdXJj ZSB6YXJpdGgtZnJlZXN0YW5kaW5nClt6YXJpdGgtZnJlZXN0YW5kaW5nLjEuN10gZG93bmxvYWRl ZCBmcm9tIGNhY2hlIGF0IGh0dHBzOi8vb3BhbS5vY2FtbC5vcmcvMi4wL2NhY2hlCltXQVJOSU5H XSBTb21lIGVycm9ycyBleHRyYWN0aW5nIHRvIC9ob21lL2FzdGVlbi96YXJpdGgtZnJlZXN0YW5k aW5nLjEuNzoKICAgICAgICAgIEZhaWx1cmUoIkJhZCBoYXNoIGZvcgogICAgICAgICAgL2hvbWUv YXN0ZWVuLy5vcGFtL3JlcG8vZGVmYXVsdC9wYWNrYWdlcy96YXJpdGgtZnJlZXN0YW5kaW5nL3ph cml0aC1mcmVlc3RhbmRpbmcuMS43L2ZpbGVzL21pcmFnZS1idWlsZC5zaCIpCgptaXJhZ2UkCgpD b3VsZCB0aGlzIGJlIGEgdHJhbnNpZW50IHRoaW5nIG9yIGhhcyB0aGUgYWN0dWFsbHkgZmlsZSBi ZWVuIGNoYW5nZWQgYW5kIHRoZSBoYXNoIG5lZWRzIHVwZGF0aW5nPwoKQ2hlZXJzCkFkYW0KCl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRl dmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRw czovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Wed Sep 12 07:24:30 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 12 Sep 2018 07:24: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 1fzzVe-0004EJ-E4; Wed, 12 Sep 2018 07:24:22 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fzzVd-0004EC-Hp for mirageos-devel@lists.xenproject.org; Wed, 12 Sep 2018 07:24:21 +0000 X-Inumbo-ID: 9af1b6eb-b65c-11e8-a8a5-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 9af1b6eb-b65c-11e8-a8a5-bc764e045a96; Wed, 12 Sep 2018 09:22:29 +0200 (CEST) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 214fe1f5; Wed, 12 Sep 2018 08:24:17 +0100 (BST) 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=kfbHALnzsg29ds51v9DQDWJrLmI=; b=yKf5X7Bg16OdS9CI2A dM+koYwLqP96xkRy3ShuYJxk62O8uxOUsTBSqDosHX/WGn64wHh/MtuManfzN53P n04JG8cdaLPuPKfJk1PRfoaEW9G1+tK1N2tC3YfAron1hFnfaTveG9w5OtXQSG6S 6L7e594ScsYsRNDjKTZ/FjWFs= 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=b+aREKGSg7zFHUi3qOlnKoOjjbyL2bnfKvkLRi8M+WaouW5EyrE ccBV5uUdIn6nVN0wWDHkwQ3iZjGzOlqcoVvirYcopHAfKGCwut7ryf91SEKk8rN6 M6l2tPTO06617BPFIIuM0SciWeL+gJED3Ff7qgzYQrbC81wdxXjBlGbM= Received: from [10.5.200.144] (host81-145-254-113.range81-145.btcentralplus.com [81.145.254.113]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id e6f25a0f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Wed, 12 Sep 2018 08:24:17 +0100 (BST) Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 12 Sep 2018 08:24:14 +0100 Message-Id: References: To: Adam Steen , Louis Gesbert X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] Bad hash for zarith-freestanding.1.7 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: , 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" T24gMTIgU2VwIDIwMTgsIGF0IDA2OjAzLCBBZGFtIFN0ZWVuIDxhZGFtQGFkYW1zdGVlbi5jb20u YXU+IHdyb3RlOgo+IAo+IEhpIEFsbAo+IAo+IEkgYW0gbm90IHN1cmUgaWYgdGhpcyBpcyB0aGUg Y29ycmVjdCBwbGFjZSB0byBwb3N0IHRoaXMgYnV0IEkgYW0gZ2V0dGluZyB0aGUgZm9sbG93aW5n Cj4gCj4gbWlyYWdlJCBvcGFtIHNvdXJjZSB6YXJpdGgtZnJlZXN0YW5kaW5nCj4gW3phcml0aC1m cmVlc3RhbmRpbmcuMS43XSBkb3dubG9hZGVkIGZyb20gY2FjaGUgYXQgaHR0cHM6Ly9vcGFtLm9j YW1sLm9yZy8yLjAvY2FjaGUKPiBbV0FSTklOR10gU29tZSBlcnJvcnMgZXh0cmFjdGluZyB0byAv aG9tZS9hc3RlZW4vemFyaXRoLWZyZWVzdGFuZGluZy4xLjc6Cj4gICAgICAgICAgRmFpbHVyZSgi QmFkIGhhc2ggZm9yCj4gICAgICAgICAgL2hvbWUvYXN0ZWVuLy5vcGFtL3JlcG8vZGVmYXVsdC9w YWNrYWdlcy96YXJpdGgtZnJlZXN0YW5kaW5nL3phcml0aC1mcmVlc3RhbmRpbmcuMS43L2ZpbGVz L21pcmFnZS1idWlsZC5zaCIpCj4gCj4gbWlyYWdlJAo+IAo+IENvdWxkIHRoaXMgYmUgYSB0cmFu c2llbnQgdGhpbmcgb3IgaGFzIHRoZSBhY3R1YWxseSBmaWxlIGJlZW4gY2hhbmdlZCBhbmQgdGhl IGhhc2ggbmVlZHMgdXBkYXRpbmc/CgoKVGhpcyBsb29rcyBsaWtlIGEgYnVnIGluIHRoZSBvcGFt MiByZXdyaXRlciBzY3JpcHQuICBBZnRlciB5b3VyIHBhdGNoIHRvIGFkZCBzdXBwb3J0IGZvciBP cGVuQlNEIGluIG9wYW0tcmVwb3NpdG9yeSBpbiBiZTk5Yzc4NTY2OTNjZTIxZmEzZGQzYTA0ODM3 YjY3M2EwMzkwYmE2LCBpdCBhcHBlYXJzIHRoYXQgdGhlIGNvcnJlc3BvbmRpbmcgbWQ1IGluIHRo ZSAyLjAuMCBicmFuY2ggaW4gb3BhbS1yZXBvc2l0b3J5IGhhc27igJl0IGFsc28gYmVlbiB1cGRh dGVkLiAgWW91IHNob3VsZCBiZSBhYmxlIHRvIHN1Ym1pdCBhIG1hbnVhbCBQUiB0byB0aGUgMi4w LjAgYnJhbmNoIG9mIG9wYW0tcmVwb3NpdG9yeSB3aXRoIHRoZSBuZXcgbWQ1IGZvciBtaXJhZ2Ut YnVpbGQuc2gsIGFuZCBhbGwgd2lsbCBiZSBnb29kIHdpdGggdGhlIHdvcmxkIGFnYWluLgoKLWFu aWwKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdl T1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3Jn Cmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1k ZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Thu Sep 13 07:07:55 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 13 Sep 2018 07:07:55 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0Lj4-0006UP-7w; Thu, 13 Sep 2018 07:07: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 1g0Lj3-0006UK-1m for mirageos-devel@lists.xenproject.org; Thu, 13 Sep 2018 07:07:41 +0000 X-Inumbo-ID: d3f62ed0-b723-11e8-a6a9-d7ebe60f679a Received: from mail2.protonmail.ch (unknown [185.70.40.22]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id d3f62ed0-b723-11e8-a6a9-d7ebe60f679a; Thu, 13 Sep 2018 07:08:34 +0000 (UTC) Date: Thu, 13 Sep 2018 07:07:32 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1536822457; bh=K23LXVR1ffqtg9Mz1lgpUaDny/rnA76k2YFGgtBFwMs=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=n9r8ZhtFLxGSPKkwKSv+FTfpCaIjI3+bPm1zYEqsDJO/7JS4OEX7poml4tmPWibOz cXJxJBE9t9WrYHY/E3HYETcizgmQGKhO2JZiN1kMVuMozx0UYEhBmqmPbzHm3v4LuC sSRbHZxbh6y+Db+lptEIh4ysxJBvFDeBvPHqKV0o= 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=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.0 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mail.protonmail.ch Subject: [MirageOS-devel] MirageOS on OpenBSD (Now Works) 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" SGkgQWxsCgpBcyBzb21lIG9mIHlvdSBrbm93IGkgaGF2ZSBiZWVuIHdvcmtpbmcgYXQgbWFraW5n IE1pcmFnZU9TIHdvcmsgb24gT3BlbkJTRCwgSXQgbm93IHdvcmtzLCBJIGhhdmUgYnVpbHQgYW5k IHRlc3RlZCBhbGwgYXBwbGljYXRpb25zLCBkZXZpY2UtdXNhZ2UgYW5kIHR1dG9yaWFscyBpbiBt aXJhZ2Utc2tlbGV0b24uCgpZb3UgbWF5YmUgYXNraW5nIGhvdyBkbyBpIGRvIHRoaXMgbXlzZWxm PyBUaGUgZm9sbG93aW5nIHNjcmlwdCB3b3JrcyBmcm9tIGEgZnJlc2ggaW5zdGFsbCBvZiBPcGVu QlNEIGN1cnJlbnQgKHNvb24gdG8gYmUgNi40KSBhbmQgYnVpbGRzIHRoZSAnc3RhdGljX3dlYnNp dGVfdGxzJwoKPHN0YXJ0IG9mIHNjcmlwdD4KIyEvYmluL3NoIC1lCgojIFBsZWFzZSBlbnN1cmUg ZG9hcyBpcyBzZXR1cCBmb3IgdGhlIGN1cnJlbnQgdXNlcgoKIyB0d2VhayB0aGUgZW52aXJvbm1l bnQsIHNvIHRoaW5ncyBjYW4gYmUgYSBsaXR0bGUgY2xlYW5lcgpQUkVGSVg9JEhPTUUvLmxvY2Fs CmlmIFsgISAtZCAiJFBSRUZJWCIgXTsgdGhlbgogIG1rZGlyICRQUkVGSVgKZmkKZXhwb3J0IFBB VEg9JFBSRUZJWC9iaW46JFBBVEgKZXhwb3J0IEFVVE9DT05GX1ZFUlNJT049Mi42OQoKIyByZXF1 aXJlZCBwYWNrYWdlcwpkb2FzIHBrZ19hZGQgYXV0b2NvbmYlMi42OSBiYXNoIGJ6aXAyIGN1cmwg Z2l0IGdtYWtlIGdwYXRjaCBndGFyLS0gb2NhbWwgcGtnY29uZiB1bnppcC0tIHh6CgojIGJ1aWxk IG9wYW0gLSB3YWl0aW5nIG9uIE9QQU0gUFIjMzUzOCAtIGh0dHBzOi8vZ2l0aHViLmNvbS9vY2Ft bC9vcGFtL3B1bGwvMzUzOAp1bGltaXQgLXMgMzI3NjgKZ2l0IGNsb25lIGh0dHBzOi8vZ2l0aHVi LmNvbS9hZGFtc3RlZW4vb3BhbS5naXQKY2Qgb3BhbQouL2NvbmZpZ3VyZSAtLXByZWZpeCAkUFJF RklYCmdtYWtlIGxpYi1leHQKZ21ha2UKZ21ha2UgaW5zdGFsbApjZCAuLgoKIyBzZXR1cCB0aGUg Mi4wLjAgcmVwb3NpdG9yeQojIHRoZXJlIHdhcyBhbiBpc3N1ZSB3aXRoIHRoZSBhdXRvIGNvbnZl cnNpb24gcHJvY2VzcyAtIG9wYW0tcmVwb3NpdG9yeSBQUiMxMjYwNSAtIGh0dHBzOi8vZ2l0aHVi LmNvbS9vY2FtbC9vcGFtLXJlcG9zaXRvcnkvcHVsbC8xMjYwNQpnaXQgY2xvbmUgaHR0cHM6Ly9n aXRodWIuY29tL29jYW1sL29wYW0tcmVwb3NpdG9yeS5naXQKY2Qgb3BhbS1yZXBvc2l0b3J5Cmdp dCBjaGVja291dCAyLjAuMApjZCAuLgoKIyBzZXR1cCBvcGFtIGFuZCBtaXJhZ2UKb3BhbSBpbml0 IC0tY29tcCA0LjA2LjEgLW4gZGVmYXVsdCBvcGFtLXJlcG9zaXRvcnkKZXZhbCAkKG9wYW0gZW52 KQpvcGFtIGluc3RhbGwgbWlyYWdlIC15Cm9wYW0gcGluIGFkZCBzb2xvNS1rZXJuZWwtdWt2bSBn aXQ6Ly9naXRodWIuY29tL1NvbG81L3NvbG81IC15ICMgd2FpdGluZyBvbiB0aGUgbmV4dCByZWxl YXNlIG9mIFNvbG81CgojIG1pcmFnZS1za2VsZXRvbiB0dXRvcmlhbHMKZ2l0IGNsb25lIGh0dHBz Oi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdlLXNrZWxldG9uLmdpdApjZCBtaXJhZ2Utc2tlbGV0 b24vYXBwbGljYXRpb25zL3N0YXRpY193ZWJzaXRlX3RscwptaXJhZ2UgY29uZmlndXJlIC10IHVr dm0KZ21ha2UgZGVwZW5kcwpnbWFrZQo8ZW5kIG9mIHNjcmlwdD4KCnRoZSBzY3JpcHQgY2FuIGFs c28gYmUgdmlld2VkL2Rvd25sb2FkZWQgZnJvbSBbMV0uCgpJZiB5b3UgaGF2ZSBhIE9wZW5CU0Qg Y3VycmVudCBtYWNoaW5lLCBwbGVhc2UgdGVzdCB0aGlzIGFuZCBsZXQgbWUga25vdyBob3cgeW91 IGdvIQoKSG9wZWZ1bGx5IHdpdGggdGltZSBpdHMgc2hvdWxkIGJlIGFzIHNpbXBsZSBhcwoKZG9h cyBwa2dfYWRkIDxyZXF1aXJlZCBwYWNrYWdlcz4Kb3BhbSBpbml0Cm9wYW0gaW5zdGFsbCBtaXJh Z2UgLXkKbWlyYWdlIGNvbmZpZ3VyZSAtdCB1a3ZtCmdtYWtlIGRlcGVuZHMKZ21ha2UKCkNoZWVy cwpBZGFtCgpbMV0KZ2l0aHViOiBodHRwczovL2dpc3QuZ2l0aHViLmNvbS9hZGFtc3RlZW4vNmJk YWU4ZGM5M2Q4ZjkxZjllYjZjZjFkYmJiYmU0YjUKcmF3OiBodHRwczovL2dpc3QuZ2l0aHVidXNl cmNvbnRlbnQuY29tL2FkYW1zdGVlbi82YmRhZThkYzkzZDhmOTFmOWViNmNmMWRiYmJiZTRiNS9y YXcvMzYxOWM2ZjNlNDI3NTZiMTFiYjM3ODhiMjIyNmRjM2JlNjdkNzkxMy9zZXR1cC5zaAoKCgpf X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1k ZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0 cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVs Cg== From mirageos-devel-bounces@lists.xenproject.org Thu Sep 13 10:01:02 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 13 Sep 2018 10:01:02 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0OQi-00058a-T0; Thu, 13 Sep 2018 10:00:56 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0OQh-00058R-Mr for mirageos-devel@lists.xenproject.org; Thu, 13 Sep 2018 10:00:55 +0000 X-Inumbo-ID: 088476fb-b73c-11e8-a6a9-d7ebe60f679a Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 088476fb-b73c-11e8-a6a9-d7ebe60f679a; Thu, 13 Sep 2018 10:01:51 +0000 (UTC) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id E8B60122804 for ; Thu, 13 Sep 2018 12:00:53 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1536832853; bh=36c4J84PRyS7R+YxsqngG4rxxZ6tY82/7LVIewbQb8U=; h=Date:From:To:Subject:References:In-Reply-To:From; b=MZLCDTgc14v/LCG+Sh5RIiKmAe8WuPhyaoO1rHB8y+zTeLEI85FA+jV/Mz4QxaIhp wAtQ2QQkNeS5b30OwQ0GNaeqSAihlwKaxycQkK4NMHUID3pkLhzog1upzWtgckGR0e 2tVBt3zvd7LEM2Km+SOQFnQApPvEqWpbhzL+uKcDoN8DBIkWY17nYX6Z2iv3gbFfHr PvkjwQM8KlfenD8rKv0O+4PmLyyZnyRrHSrFLosKWgEOWk7OAKgt8SRRhXS93Oe4kY IYoCB0IsWdEA1aF9zr+0D0aQqypIfjnW/uUuay2v94AvbdcAoyeYbUcEUHfnI/qvUj uLM4FnGz4Hdfw== Received: by nodbug.lucina.net (Postfix, from userid 1000) id BFA20265E86C; Thu, 13 Sep 2018 12:00:53 +0200 (CEST) Date: Thu, 13 Sep 2018 12:00:53 +0200 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180913100053.yo3pmmgivzdlj7iz@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org References: MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) 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" SGkgQWRhbSwKCk9uIFRodXJzZGF5LCAxMy4wOS4yMDE4IGF0wqAwNzowNywgQWRhbSBTdGVlbiB3 cm90ZToKPiBIaSBBbGwKPiAKPiBBcyBzb21lIG9mIHlvdSBrbm93IGkgaGF2ZSBiZWVuIHdvcmtp bmcgYXQgbWFraW5nIE1pcmFnZU9TIHdvcmsgb24gT3BlbkJTRCwgSXQgbm93IHdvcmtzLCBJIGhh dmUgYnVpbHQgYW5kIHRlc3RlZCBhbGwgYXBwbGljYXRpb25zLCBkZXZpY2UtdXNhZ2UgYW5kIHR1 dG9yaWFscyBpbiBtaXJhZ2Utc2tlbGV0b24uCgpUaGlzIGlzIGdvb2QgbmV3cyEgVGhhbmtzIHZl cnkgbXVjaCBmb3Igd29ya2luZyBvbiBpdCBhbmQgcGVyc2V2ZXJpbmchCgo+IFlvdSBtYXliZSBh c2tpbmcgaG93IGRvIGkgZG8gdGhpcyBteXNlbGY/IFRoZSBmb2xsb3dpbmcgc2NyaXB0IHdvcmtz IGZyb20gYSBmcmVzaCBpbnN0YWxsIG9mIE9wZW5CU0QgY3VycmVudCAoc29vbiB0byBiZSA2LjQp IGFuZCBidWlsZHMgdGhlICdzdGF0aWNfd2Vic2l0ZV90bHMnCgpOb3RlIHRoYXQgdGhlICJncmVh dCBTb2xvNSByZW5hbWluZyIgaXMgb24gdGhlIGhvcml6b24gKHNlZQpodHRwczovL2dpdGh1Yi5j b20vU29sbzUvc29sbzUvcHVsbC8yNzQpLCBJIGhhdmUgYSBoYXJkIGRlYWRsaW5lIHRvIG1lcmdl CnRoaXMgYW5kIGdldCBhbiAwLjQuMCBvdXQgYnkgdGhlIHdlZWtlbmQuIFNvIHRoZSBpbnN0cnVj dGlvbnMgaGVyZSB3aWxsCmNoYW5nZS4KCkNoZWVycywKCi1tYXRvCgpfX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxp c3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5w cm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Thu Sep 13 12:49:37 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 13 Sep 2018 12:49:37 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0R3n-0002nB-PU; Thu, 13 Sep 2018 12:49:27 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0R3m-0002n6-4N for mirageos-devel@lists.xenproject.org; Thu, 13 Sep 2018 12:49:26 +0000 X-Inumbo-ID: 9256c8db-b753-11e8-a6a9-d7ebe60f679a Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 9256c8db-b753-11e8-a6a9-d7ebe60f679a; Thu, 13 Sep 2018 12:50:20 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id e3588d89; Thu, 13 Sep 2018 13:49:23 +0100 (BST) 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=ftZptaOFFf7JkNTfrNktYzi/XXk=; b=SGdhYBzhGXwSqr2TGb djhce/9eJy1BDAAzCdjxUrvZRhl6HLAz+EC0LFi2YZ13ck+Ryxyy/krh3Rs5uVDv Kd1aM3B5Drm2kLIE6EwQPx2uKszCXzZCw9h4iWoMkPHMf8EPHhcR86w3s/QXNr77 UheuVFejj6012UqEBDiOuFYco= 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=PXtgr+Rdp7PIO4xnEc8Vc6e4wZhg91bkM2d28Jx2LqdIeNSlZXX 25kwDKEGRXSQPHyZOIyXtwPXNeb2uXvhBwLnipQeNCK5uQLkdy3PJItgmhnOsHLx 4CPYX6ikA0DnyjKL0L3lDDNnFPiB9g1N53HFO/zZVQDWvlzlEECyknmk= Received: from dhcp-10-248-105-174.eduroam.wireless.private.cam.ac.uk (global-5-142.nat-2.net.cam.ac.uk [131.111.5.142]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 0ac31bd8 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 13 Sep 2018 13:49:23 +0100 (BST) Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Anil Madhavapeddy In-Reply-To: Date: Thu, 13 Sep 2018 13:49:21 +0100 Message-Id: <88B736DD-F24E-4DED-BF48-5FD951CC1A73@recoil.org> References: To: Adam Steen X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) 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: , 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" Cj4gT24gMTMgU2VwIDIwMTgsIGF0IDA4OjA3LCBBZGFtIFN0ZWVuIDxhZGFtQGFkYW1zdGVlbi5j b20uYXU+IHdyb3RlOgo+IAo+IEhpIEFsbAo+IAo+IEFzIHNvbWUgb2YgeW91IGtub3cgaSBoYXZl IGJlZW4gd29ya2luZyBhdCBtYWtpbmcgTWlyYWdlT1Mgd29yayBvbiBPcGVuQlNELCBJdCBub3cg d29ya3MsIEkgaGF2ZSBidWlsdCBhbmQgdGVzdGVkIGFsbCBhcHBsaWNhdGlvbnMsIGRldmljZS11 c2FnZSBhbmQgdHV0b3JpYWxzIGluIG1pcmFnZS1za2VsZXRvbi4KPiAKPiBZb3UgbWF5YmUgYXNr aW5nIGhvdyBkbyBpIGRvIHRoaXMgbXlzZWxmPyBUaGUgZm9sbG93aW5nIHNjcmlwdCB3b3JrcyBm cm9tIGEgZnJlc2ggaW5zdGFsbCBvZiBPcGVuQlNEIGN1cnJlbnQgKHNvb24gdG8gYmUgNi40KSBh bmQgYnVpbGRzIHRoZSDigJhzdGF0aWNfd2Vic2l0ZV90bHMnCgoKVGhpcyBpcyByZWFsbHkgYXdl c29tZSBBZGFtIOKAlCB0aGFuayB5b3UgZm9yIGRvaW5nIHNvIG11Y2ggd29yayBhY3Jvc3Mgc28g bWFueSBjb21wb25lbnRzIHRvIG1ha2UgdGhpcyBoYXBwZW4uCgpJ4oCZdmUgZmluYWxseSBnb3Qg YSBzaGlueSBuZXcgWDEgQ2FyYm9uIGJvb3RpbmcgdXAgT3BlbkJTRCwgc28gSSBwbGFuIHRvIHN0 YXJ0IHVzaW5nIHRoaXMgYXMgb25lIG9mIG15IHByaW1hcnkgZGV2ZWxvcG1lbnQgZW52aXJvbm1l bnRzIGFzIHNvb24gYXMgSSBnZXQgd2lmaSB3b3JraW5nIG9uIGl0IDotKQoKQW5pbAoKCl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVs IG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczov L2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Thu Sep 13 16:04:31 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 13 Sep 2018 16:04:31 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0U6P-0005OL-NE; Thu, 13 Sep 2018 16:04:21 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0U6P-0005OD-2p for mirageos-devel@lists.xenproject.org; Thu, 13 Sep 2018 16:04:21 +0000 X-Inumbo-ID: 697e47d6-b76e-11e8-a8a5-bc764e045a96 Received: from mail-pl1-x629.google.com (unknown [2607:f8b0:4864:20::629]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 697e47d6-b76e-11e8-a8a5-bc764e045a96; Thu, 13 Sep 2018 18:02:28 +0200 (CEST) Received: by mail-pl1-x629.google.com with SMTP id s17-v6so2798002plp.7 for ; Thu, 13 Sep 2018 09:04:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=gHUjKXJTJMJ9RwernVn5GELiD8yRUiU6S+pK3HsMm4I=; b=JTpN4S14WRKWlU5Y06y7feECcgGYs01vwZnJ7BoUqsaXx5h+vqey9CsrJ8nFBkWd3w jDie8raWUUw9H1zCPiz308mhGkm5QKfht/2qI+7YycoImS/ebIfKu33bj+tB5WDDunFO pWqBybJk63x5dh1EpNbG0czw9TtrWUk0k93swAX4PQb39mg0N0ceVZ414yUuFTc9Pa+e CQa4VZMElJZ8nuXBv9F730SYI2vd+FB8i14L6BivfqKQS31/LpzGdHkLD72QDngiV0Jk J2ayCEeqCYiWZbQK3MM4eNzOWGf9GJ58SmL2qg1WqxgvYCzzxZyDGEtiNZ7KWPpGOdqJ ormw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=gHUjKXJTJMJ9RwernVn5GELiD8yRUiU6S+pK3HsMm4I=; b=TuK/1cEjodYsJgK14zDNdzi9KyfMeoxBdcBXL5auq5JfFj4M4q/gge4HQPFtvat7HV 0lDXVzwMhP2CA1ttbA3KVoyqq3wID5KthFFbVknalqkglK3O9XTE28Flw7LnJGk8S/9B 8fyUmyQyeFjVPwTM9wSQVyZYt0o/O0cQW9SHv4tAyobZ1XtR6iXrq6EokwfsOclb2QkE ebF2jN8hADaRQhLutwRd1CLEgsf/KMO0O8SyaNqjxbU/2FAAbm7hWeFPcwYnp7jZ5Ke5 us9Fbcfb+pu+xMJqoQgCXqMHxUaYdjnMPyN01mneEg9HGsmwmetIpfaWa4upp/rFKzYJ WD6w== X-Gm-Message-State: APzg51CE1hCPaUResuYvQ/IY55KDc7ijoL3BXTHaZWLnLcUKpXQwFD53 9ESv3K4nKxSnPvuJihzOKwx2zPZI X-Google-Smtp-Source: ANB0VdarW1fioFp9f12XaDtR8Nif4iZ9AIuFo4P+G0mKdN7ErQ98bfZ/f9ykT+1vchsVRNjeIhpTCA== X-Received: by 2002:a17:902:163:: with SMTP id 90-v6mr7856356plb.322.1536854659358; Thu, 13 Sep 2018 09:04:19 -0700 (PDT) Received: from Takayukis-MacBook-Air.local (59-168-246-19.rev.home.ne.jp. [59.168.246.19]) by smtp.gmail.com with ESMTPSA id 22-v6sm6882559pfl.126.2018.09.13.09.04.17 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 13 Sep 2018 09:04:18 -0700 (PDT) From: Takayuki Imada To: mirageos-devel@lists.xenproject.org Message-ID: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> Date: Fri, 14 Sep 2018 01:05:15 +0900 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese 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-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" RGVhciBhbGwsCgpJIGhhdmUgcmVjZW50bHkgZGVjaWRlZCB0byBjcmVhdGUgSmFwYW5lc2UgV2Vi IHBhZ2VzIHRvIGludHJvZHVjZSBVbmlrZXJuZWxzLgpBIG1haW4gbW90aXZhdGlvbiBmb3IgdGhp cyBpcyB0aGF0IG1vc3Qgb2YgY29tcHV0ZXIgZ2Vla3MgaW4gSmFwYW4gaGF2ZSBkaWZmaWN1bHRp ZXMgaW4gZWFzaWx5IHVuZGVyc3RhbmRpbmcgYWJvdXQgVW5pa2VybmVscyBhbmQgdGhlaXIgdmFs dWVzIGR1ZSB0byB0aGUgbGFjayBvZiBpbmZvcm1hdGlvbiBvbiBVbmlrZXJuZWxzIHdyaXR0ZW4g aW4gSmFwYW5lc2UuCgpGb3J0dW5hdGVseSwgdGhlcmUgaXMgYSBmYW1vdXMgV2ViIHNpdGUgY2Fs bGVkIFFpaXRhWzFdLCB3aGVyZSBoYWNrZXJzICg9c29mdHdhcmUgZW5naW5lZXJzKSBjYW4gZWFz aWx5IGNyZWF0ZSBXZWIgcGFnZXMgdG8gc2hhcmUgdGhlaXIgb3duIGtub3dsZWRnZSBmb3IgZnJl ZS4KVGhpcyBzaXRlIG1haW5seSB0YXJnZXRzIEphcGFuZXNlIGhhY2tlcnMsIHNvIG1vc3Qgb2Yg dGhlIHRvcGljcyBhcmUgd3JpdHRlbiBpbiBKYXBhbmVzZS4KCkN1cnJlbnRseSBJIGhhdmUgYSBw bGFuIHRvIGhhdmUgVW5pa2VybmVscyByZWxhdGVkIFdlYiBwYWdlcyBvbiB0aGUgc2l0ZSB0byBp bnRyb2R1Y2UgdGhlIFVuaWtlcm5lbHMgY29uY2VwdCBhbmQgTWlyYWdlT1MgVW5pa2VybmVsIHRv by4KSWYgeW91IGhhdmUgYW55IHN1Z2dlc3Rpb25zIG9yIGNvbW1lbnRzLCBwbGVhc2UgbGV0IG1l IGtub3cuCgpbMV0gaHR0cHM6Ly9xaWl0YS5jb20vCgpNYW55IHRoYW5rcywKCi0tIApUYWtheXVr aSBJbWFkYQoKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f XwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJv amVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21p cmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Thu Sep 13 21:17:02 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 13 Sep 2018 21:17:02 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0Yyj-0005YE-3u; Thu, 13 Sep 2018 21:16:45 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0Yyi-0005Y9-73 for mirageos-devel@lists.xenproject.org; Thu, 13 Sep 2018 21:16:44 +0000 X-Inumbo-ID: 712333b0-b79a-11e8-a6a9-d7ebe60f679a Received: from relay6-d.mail.gandi.net (unknown [217.70.183.198]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 712333b0-b79a-11e8-a6a9-d7ebe60f679a; Thu, 13 Sep 2018 21:17:39 +0000 (UTC) X-Originating-IP: 75.128.228.110 Received: from [10.137.0.16] (75-128-228-110.dhcp.mrqt.mi.charter.com [75.128.228.110]) (Authenticated sender: guybrush@somerandomidiot.com) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 851DFC0009 for ; Thu, 13 Sep 2018 21:16:41 +0000 (UTC) To: mirageos-devel@lists.xenproject.org References: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> From: Mindy Preston Message-ID: <0b78cc52-7736-d842-3eaf-f5b4d8378379@somerandomidiot.com> Date: Thu, 13 Sep 2018 16:16:38 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 In-Reply-To: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> Content-Language: en-US Subject: Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese 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-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gMDkvMTMvMTggMTE6MDUsIFRha2F5dWtpIEltYWRhIHdyb3RlOgoKPiBEZWFyIGFsbCwKPgo+ IEkgaGF2ZSByZWNlbnRseSBkZWNpZGVkIHRvIGNyZWF0ZSBKYXBhbmVzZSBXZWIgcGFnZXMgdG8g aW50cm9kdWNlIAo+IFVuaWtlcm5lbHMuCj4gQSBtYWluIG1vdGl2YXRpb24gZm9yIHRoaXMgaXMg dGhhdCBtb3N0IG9mIGNvbXB1dGVyIGdlZWtzIGluIEphcGFuIAo+IGhhdmUgZGlmZmljdWx0aWVz IGluIGVhc2lseSB1bmRlcnN0YW5kaW5nIGFib3V0IFVuaWtlcm5lbHMgYW5kIHRoZWlyIAo+IHZh bHVlcyBkdWUgdG8gdGhlIGxhY2sgb2YgaW5mb3JtYXRpb24gb24gVW5pa2VybmVscyB3cml0dGVu IGluIEphcGFuZXNlLgo+Cj4gRm9ydHVuYXRlbHksIHRoZXJlIGlzIGEgZmFtb3VzIFdlYiBzaXRl IGNhbGxlZCBRaWl0YVsxXSwgd2hlcmUgaGFja2VycyAKPiAoPXNvZnR3YXJlIGVuZ2luZWVycykg Y2FuIGVhc2lseSBjcmVhdGUgV2ViIHBhZ2VzIHRvIHNoYXJlIHRoZWlyIG93biAKPiBrbm93bGVk Z2UgZm9yIGZyZWUuCj4gVGhpcyBzaXRlIG1haW5seSB0YXJnZXRzIEphcGFuZXNlIGhhY2tlcnMs IHNvIG1vc3Qgb2YgdGhlIHRvcGljcyBhcmUgCj4gd3JpdHRlbiBpbiBKYXBhbmVzZS4KPgo+IEN1 cnJlbnRseSBJIGhhdmUgYSBwbGFuIHRvIGhhdmUgVW5pa2VybmVscyByZWxhdGVkIFdlYiBwYWdl cyBvbiB0aGUgCj4gc2l0ZSB0byBpbnRyb2R1Y2UgdGhlIFVuaWtlcm5lbHMgY29uY2VwdCBhbmQg TWlyYWdlT1MgVW5pa2VybmVsIHRvby4KPiBJZiB5b3UgaGF2ZSBhbnkgc3VnZ2VzdGlvbnMgb3Ig Y29tbWVudHMsIHBsZWFzZSBsZXQgbWUga25vdy4KCkNvb2whIEkgcmVjYWxsIHNvbWUgZWFybHkg c2VhcmNoZXMgSSBkaWQgYWJvdXQgTWlyYWdlT1MgbGVhZGluZyB0byBvbGQgCnVuYW5zd2VyZWQg cXVlc3Rpb25zIG9uIFFpaXRhIChjaXJjYSAyMDE0ISkuwqAgSXQgd291bGQgYmUgZ3JlYXQgdG8g CmVuZ2FnZSB3aXRoIHRoYXQgY29tbXVuaXR5IDopCgpJdCB3b3VsZCBiZSBwcm9iYWJseSBiZSB1 c2VmdWwgdG8ga25vdyB3aGF0IHJlc291cmNlcyBleGlzdCBmb3IgCmRpc2N1c3NpbmcgcmVsYXRl ZCBjb25jZXB0cyBpbiBPQ2FtbCAoZnVuY3RvcnMsIGZvciBleGFtcGxlKSBpbiAKSmFwYW5lc2Us IGluIGFkZGl0aW9uIHRvIGV4cGxhbmF0aW9ucyBvZiB3aHkgdW5pa2VybmVscyBpbiBnZW5lcmFs IGFyZSBhIApjb29sIGlkZWEuCgpBbnkgZmVlZGJhY2sgYWJvdXQgdGhpbmdzIHRoYXQgYXJlIHBh cnRpY3VsYXJseSBkaWZmaWN1bHQgdG8gdW5kZXJzdGFuZCAKaW4gdGhlIEVuZ2xpc2gtbGFuZ3Vh Z2UgZG9jdW1lbnRhdGlvbiBmb3IgTWlyYWdlT1Mgd291bGQgYmUgcmVhbGx5IApoZWxwZnVsIGZv ciB1cyBmcm9tIHRoZSBwcm9qZWN0IHNpZGUsIHRvby7CoCBJIHRoaW5rIG1vc3Qgb2YgdGhlIHR1 dG9yaWFsIAp3YXMgd3JpdHRlbiBieSBwZW9wbGUgd2hvIHNwZWFrIEVuZ2xpc2ggYXMgYSBmaXJz dCBsYW5ndWFnZSwgYW5kIGl0IApjb3VsZCBwcm9iYWJseSB1c2Ugc29tZSBmZWVkYmFjayBvbiB3 aGF0J3MgdW5jbGVhci4KClRoZXJlIGlzIGFsc28gdGhlIGJyYWluc3Rvcm1pbmcgdGFibGUgb2Yg Y29udGVudHMgZm9yIHRoZSBNaXJhZ2VPUyAKaGFuZGJvb2sgYXQgaHR0cHM6Ly9naXRodWIuY29t L21pcmFnZS9taXJhZ2UtaGFuZGJvb2sgLCB3aGljaCB3YXMgYmVndW4gCmF0IHRoZSBsYXN0IGhh Y2sgcmV0cmVhdC7CoCBJdCB3b3VsZCBiZSBncmVhdCBpZiBiaXRzIG9mIHRoaXMgd2VyZSBmaWxs ZWQgCmluIGZvciAqYW55KiBsYW5ndWFnZSEKClRoYW5rcywKTWluZHkKCl9fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcg bGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhl bnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Fri Sep 14 15:02:39 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 14 Sep 2018 15:02:39 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0pc1-00015j-AA; Fri, 14 Sep 2018 15:02:25 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g0pc0-00015e-2O for mirageos-devel@lists.xenproject.org; Fri, 14 Sep 2018 15:02:24 +0000 X-Inumbo-ID: eb052475-b82e-11e8-a8a5-bc764e045a96 Received: from mail-pf1-x441.google.com (unknown [2607:f8b0:4864:20::441]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id eb052475-b82e-11e8-a8a5-bc764e045a96; Fri, 14 Sep 2018 17:00:28 +0200 (CEST) Received: by mail-pf1-x441.google.com with SMTP id h79-v6so4434863pfk.8 for ; Fri, 14 Sep 2018 08:02:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=pQGbeGXF1vU0nAJ+4JE84mR065zSlRiXyoMR7C69UdY=; b=JZlNdjyCMOuXv6qt78CDp+x7olUzc59VF45CbeK6kleC0Hbthq69nG8hX62glg7vCi j3yMOWVuHPiWqgGIC6D4k9jJXmQH3w2wo3KremBdw3k06tzsYT2HV295j5/raPBH1YMH xbCXJO5kEnfpe846ihYlqKuv0+RkPE4tRQfFwFAvP5pwqDi0KStOZYb8hInRF1DwpFxs y9yDtdR1d68KfJtIsCTbG4RR1ffFudYsZcpIiSTISULUoLIFv36QQPSpp3/JIRCmm5ym apvg4vt1GBGlbSV5shR9V1U0cwZspz+dq0staSbqSOgclUuRCzrrtO470KNAfjoYQDpu S2ZQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=pQGbeGXF1vU0nAJ+4JE84mR065zSlRiXyoMR7C69UdY=; b=Uyfic2FgVZlOoNwd2BgOuauOcvHDLjKGq2uYimSb9Y3jyvWGYCefKTdvYPBXUqc7NZ O9DxUziUk7e3kwNn+Hoj2KpIhhPZ92M9z4ragTqZhHKP5j6551kQWyJN7A7J/604+8ui 5To9YLVSta+BaHza7AvRmD4mSzaZvlCy/qEZf3IpDzg+l0rZ152NQZ1PO9t0WUAZ2juZ bcL95ycnJlVjiPsN1veEhT4kJBVhJHHdwjE95ev0/p+W1RHjaCUjQHsmJImd+z4pzM3U 6cQ3l5iPvqGor3lsXeQ3HZxVoJWIrvVBOWfBrMetzm1MGyvatGz70HCQgAMfSMIeOSsM aIvg== X-Gm-Message-State: APzg51D1wNWEz65cKAzfNotJgXdW+H1eImiyjUbvSvtkysSgqDcvX3pP 3u9t+2z9f+58uPflWnP3FGAtDY6g X-Google-Smtp-Source: ANB0Vda57c+U/52rnXTIUpOC2Tlj+BoCywBA5PBypBHVTQg/cWSN1DGyTHD33+E8jGQu6aSFbBHmtQ== X-Received: by 2002:a63:2bc9:: with SMTP id r192-v6mr12474399pgr.386.1536937341527; Fri, 14 Sep 2018 08:02:21 -0700 (PDT) Received: from Takayukis-MacBook-Air.local (59-168-246-19.rev.home.ne.jp. [59.168.246.19]) by smtp.gmail.com with ESMTPSA id z22-v6sm11770775pgc.67.2018.09.14.08.02.20 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Sep 2018 08:02:21 -0700 (PDT) To: Mindy Preston , mirageos-devel@lists.xenproject.org References: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> <0b78cc52-7736-d842-3eaf-f5b4d8378379@somerandomidiot.com> From: Takayuki Imada Message-ID: Date: Sat, 15 Sep 2018 00:03:21 +0900 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <0b78cc52-7736-d842-3eaf-f5b4d8378379@somerandomidiot.com> Content-Language: en-US Subject: Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese 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-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" TWFueSB0aGFua3MgZm9yIHByb3ZpZGluZyB5b3VyIGNvbW1lbnRzIGFuZCBzdWdnZXN0aW9ucyEK ClRoZSBNaXJnZU9TIGhhbmRib29rIHNlZW1zIHRvIGhhdmUgZ29vZCB0b3BpY3Mgd2hpY2ggSSBz aG91bGQgd3JpdGUgb24gUWlpdGEuCkkgd2lsbCB0cnkgdG8gaGF2ZSBhIHZhcmlldHkgb2YgdG9w aWNzIGZyb20gT0NhbWwsIFVuaWtlcm5lbCwgYW5kIE1pcmFnZU9TIHBvaW50cyBvZiB2aWV3LiA6 LSkKCktpbmQgcmVnYXJkcywKCi0tIApUYWtheXVraSBJbWFkYQoKCk9uIDkvMTQvMTggNjoxNiBB TSwgTWluZHkgUHJlc3RvbiB3cm90ZToKPiBPbiAwOS8xMy8xOCAxMTowNSwgVGFrYXl1a2kgSW1h ZGEgd3JvdGU6Cj4gCj4+IERlYXIgYWxsLAo+Pgo+PiBJIGhhdmUgcmVjZW50bHkgZGVjaWRlZCB0 byBjcmVhdGUgSmFwYW5lc2UgV2ViIHBhZ2VzIHRvIGludHJvZHVjZSBVbmlrZXJuZWxzLgo+PiBB IG1haW4gbW90aXZhdGlvbiBmb3IgdGhpcyBpcyB0aGF0IG1vc3Qgb2YgY29tcHV0ZXIgZ2Vla3Mg aW4gSmFwYW4gaGF2ZSBkaWZmaWN1bHRpZXMgaW4gZWFzaWx5IHVuZGVyc3RhbmRpbmcgYWJvdXQg VW5pa2VybmVscyBhbmQgdGhlaXIgdmFsdWVzIGR1ZSB0byB0aGUgbGFjayBvZiBpbmZvcm1hdGlv biBvbiBVbmlrZXJuZWxzIHdyaXR0ZW4gaW4gSmFwYW5lc2UuCj4+Cj4+IEZvcnR1bmF0ZWx5LCB0 aGVyZSBpcyBhIGZhbW91cyBXZWIgc2l0ZSBjYWxsZWQgUWlpdGFbMV0sIHdoZXJlIGhhY2tlcnMg KD1zb2Z0d2FyZSBlbmdpbmVlcnMpIGNhbiBlYXNpbHkgY3JlYXRlIFdlYiBwYWdlcyB0byBzaGFy ZSB0aGVpciBvd24ga25vd2xlZGdlIGZvciBmcmVlLgo+PiBUaGlzIHNpdGUgbWFpbmx5IHRhcmdl dHMgSmFwYW5lc2UgaGFja2Vycywgc28gbW9zdCBvZiB0aGUgdG9waWNzIGFyZSB3cml0dGVuIGlu IEphcGFuZXNlLgo+Pgo+PiBDdXJyZW50bHkgSSBoYXZlIGEgcGxhbiB0byBoYXZlIFVuaWtlcm5l bHMgcmVsYXRlZCBXZWIgcGFnZXMgb24gdGhlIHNpdGUgdG8gaW50cm9kdWNlIHRoZSBVbmlrZXJu ZWxzIGNvbmNlcHQgYW5kIE1pcmFnZU9TIFVuaWtlcm5lbCB0b28uCj4+IElmIHlvdSBoYXZlIGFu eSBzdWdnZXN0aW9ucyBvciBjb21tZW50cywgcGxlYXNlIGxldCBtZSBrbm93Lgo+IAo+IENvb2wh IEkgcmVjYWxsIHNvbWUgZWFybHkgc2VhcmNoZXMgSSBkaWQgYWJvdXQgTWlyYWdlT1MgbGVhZGlu ZyB0byBvbGQgdW5hbnN3ZXJlZCBxdWVzdGlvbnMgb24gUWlpdGEgKGNpcmNhIDIwMTQhKS7CoCBJ dCB3b3VsZCBiZSBncmVhdCB0byBlbmdhZ2Ugd2l0aCB0aGF0IGNvbW11bml0eSA6KQo+IAo+IEl0 IHdvdWxkIGJlIHByb2JhYmx5IGJlIHVzZWZ1bCB0byBrbm93IHdoYXQgcmVzb3VyY2VzIGV4aXN0 IGZvciBkaXNjdXNzaW5nIHJlbGF0ZWQgY29uY2VwdHMgaW4gT0NhbWwgKGZ1bmN0b3JzLCBmb3Ig ZXhhbXBsZSkgaW4gSmFwYW5lc2UsIGluIGFkZGl0aW9uIHRvIGV4cGxhbmF0aW9ucyBvZiB3aHkg dW5pa2VybmVscyBpbiBnZW5lcmFsIGFyZSBhIGNvb2wgaWRlYS4KPiAKPiBBbnkgZmVlZGJhY2sg YWJvdXQgdGhpbmdzIHRoYXQgYXJlIHBhcnRpY3VsYXJseSBkaWZmaWN1bHQgdG8gdW5kZXJzdGFu ZCBpbiB0aGUgRW5nbGlzaC1sYW5ndWFnZSBkb2N1bWVudGF0aW9uIGZvciBNaXJhZ2VPUyB3b3Vs ZCBiZSByZWFsbHkgaGVscGZ1bCBmb3IgdXMgZnJvbSB0aGUgcHJvamVjdCBzaWRlLCB0b28uwqAg SSB0aGluayBtb3N0IG9mIHRoZSB0dXRvcmlhbCB3YXMgd3JpdHRlbiBieSBwZW9wbGUgd2hvIHNw ZWFrIEVuZ2xpc2ggYXMgYSBmaXJzdCBsYW5ndWFnZSwgYW5kIGl0IGNvdWxkIHByb2JhYmx5IHVz ZSBzb21lIGZlZWRiYWNrIG9uIHdoYXQncyB1bmNsZWFyLgo+IAo+IFRoZXJlIGlzIGFsc28gdGhl IGJyYWluc3Rvcm1pbmcgdGFibGUgb2YgY29udGVudHMgZm9yIHRoZSBNaXJhZ2VPUyBoYW5kYm9v ayBhdCBodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS1oYW5kYm9vayAsIHdoaWNoIHdh cyBiZWd1biBhdCB0aGUgbGFzdCBoYWNrIHJldHJlYXQuwqAgSXQgd291bGQgYmUgZ3JlYXQgaWYg Yml0cyBvZiB0aGlzIHdlcmUgZmlsbGVkIGluIGZvciAqYW55KiBsYW5ndWFnZSEKPiAKPiBUaGFu a3MsCj4gTWluZHkKPiAKPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fXwo+IE1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdAo+IE1pcmFnZU9TLWRldmVsQGxp c3RzLnhlbnByb2plY3Qub3JnCj4gaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFu L2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2 ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWls bWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Sun Sep 16 21:04:54 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 16 Sep 2018 21:04:54 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1eDg-0007sz-1o; Sun, 16 Sep 2018 21:04:40 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1eDe-0007sS-Hc for mirageos-devel@lists.xenproject.org; Sun, 16 Sep 2018 21:04:38 +0000 X-Inumbo-ID: 418a70f8-b9f4-11e8-a6a9-d7ebe60f679a Received: from mail.whidbey.net (unknown [209.166.65.58]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 418a70f8-b9f4-11e8-a6a9-d7ebe60f679a; Sun, 16 Sep 2018 21:05:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=whidbey.com; s=mail; h=Content-Transfer-Encoding:Content-Type:Mime-Version:Message-Id:Subject:To:From:Date; bh=38eWsUUGtvdlkzqx3MnPHeVLxbg/H9ey4SuTO0VYypc=; b=k8LVdMKA4HwXB64gDtCIrpUR/hxKZmSdqz6bVMWfBpyPJmUcBn5t61KJFgKdNXzV4Oi4qEXQrbA5nAr4THVlftG7ndT1Gd/rUtd6r6WEl3eWxDSILOE7K0nxZefjSXmzkF9xh3cOLYyYq9OQdxbJvUfZlFc0WgzsyFRHrVHcIq4=; Received: from [209.166.70.62] (helo=sympatico) by mail.whidbey.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84) (envelope-from ) id 1g1eDb-000369-N1; Sun, 16 Sep 2018 14:04:36 -0700 Date: Sun, 16 Sep 2018 21:04:33 +0000 From: "Ken.Dickey" To: mirageos-devel@lists.xenproject.org Message-Id: <20180916210433.57e0e93f988632fc8e449e1f@whidbey.com> Organization: DisOrganized X-Mailer: Sylpheed 3.7.0 (GTK+ 2.24.32; armv7l-unknown-linux-gnueabihf) Mime-Version: 1.0 Subject: [MirageOS-devel] MirageOS 'Hello' up on RasPi3 under ArchLinuxARM/kvm 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" RGV0YWlscyBhdCBlbmQgb2Y6CgogaHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9taXJhZ2UvaXNz dWVzLzkxOQoKRllJLAotS2VuRAoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxp c3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9s aXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Mon Sep 17 10:52:02 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 17 Sep 2018 10:52:02 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1r8E-00023e-4i; Mon, 17 Sep 2018 10:51:54 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1r8C-00023Z-Aj for mirageos-devel@lists.xenproject.org; Mon, 17 Sep 2018 10:51:52 +0000 X-Inumbo-ID: d1a2011b-ba67-11e8-a6a9-d7ebe60f679a Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id d1a2011b-ba67-11e8-a6a9-d7ebe60f679a; Mon, 17 Sep 2018 10:52:50 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 4d98ff87; Mon, 17 Sep 2018 11:51:49 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; s=selector1; bh=sKz9pzqvLUcCug0xrWL+EfRvpCc=; b= JmSPsGU75lyYZX1niiZs9WvylU6KRjPB3CSypUHFyDxT3D+4YJVmZ2ZGBXS0c/Aq Pn0+zwGrcssC+yU548nOeDUKOstMq9GetzVQ3miccKG942NNt0QwkEpITxmxLkoZ B4oHpIce6jOHdIfmopPYAF7s67DX0kIo9ykQhI4/5Sc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; q=dns; s=selector1; b=a2rNw1Mh90W/5vx26eF4ISX haA8m1I3y8JmMbd8y65GeUaxarnvgKhrB7ywgBpliw7xtCcVEDni5CVmZsj/LpBL 2fIeoj+okiWhockczFy06PFVfCufzM93jiTHgcRAa/y65gxmBAAVlT04dGkmVjCU nb9rV45dMh6R+RK430nM= Received: from dhcp-10-248-108-212.eduroam.wireless.private.cam.ac.uk (global-5-142.nat-2.net.cam.ac.uk [131.111.5.142]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 378c70c1 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 17 Sep 2018 11:51:49 +0100 (BST) From: Anil Madhavapeddy Message-Id: <3B4FBDCB-249A-4069-9DC3-55AA5327D345@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Mon, 17 Sep 2018 11:51:48 +0100 In-Reply-To: <20180916210433.57e0e93f988632fc8e449e1f@whidbey.com> To: "Ken.Dickey" References: <20180916210433.57e0e93f988632fc8e449e1f@whidbey.com> X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] MirageOS 'Hello' up on RasPi3 under ArchLinuxARM/kvm 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: , Cc: mirageos-devel@lists.xenproject.org Content-Type: multipart/mixed; boundary="===============7229801141529285585==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============7229801141529285585== Content-Type: multipart/alternative; boundary="Apple-Mail=_EEECB682-9D43-43F6-A989-703DA491BB39" --Apple-Mail=_EEECB682-9D43-43F6-A989-703DA491BB39 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii On 16 Sep 2018, at 22:04, Ken.Dickey wrote: >=20 > Details at end of: >=20 > https://github.com/mirage/mirage/issues/919 >=20 Nice detective work there getting it work on Arch Linux, Ken! If you = have a chance to contribute this to the documentation, it would be nice = to have on https://github.com/mirage/mirage-www = . regards, Anil --Apple-Mail=_EEECB682-9D43-43F6-A989-703DA491BB39 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii On = 16 Sep 2018, at 22:04, Ken.Dickey <Ken.Dickey@whidbey.com> wrote:
Nice detective work there getting it work on Arch = Linux, Ken!  If you have a chance to contribute this to the = documentation, it would be nice to have on https://github.com/mirage/mirage-www.

regards,
Anil

= --Apple-Mail=_EEECB682-9D43-43F6-A989-703DA491BB39-- --===============7229801141529285585== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============7229801141529285585==-- From mirageos-devel-bounces@lists.xenproject.org Mon Sep 17 10:59:35 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 17 Sep 2018 10:59:35 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1rFc-0002Go-Q6; Mon, 17 Sep 2018 10:59:32 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1rFa-0002Gj-8R for mirageos-devel@lists.xenproject.org; Mon, 17 Sep 2018 10:59:30 +0000 X-Inumbo-ID: 786f3e30-ba68-11e8-a8a5-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 786f3e30-ba68-11e8-a8a5-bc764e045a96; Mon, 17 Sep 2018 12:57:30 +0200 (CEST) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 4d9e3a7c; Mon, 17 Sep 2018 11:59:26 +0100 (BST) 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=fS4RA3/gbbjsU6j8ikDzzK32VB0=; b=ivMLdm0OEnzg7r/9/g fkXcZX5LrKaPGb6HTRYYCSQqR6+d8QOGGsaHO3VuTLd1Z+4kX7FtJG9vSrfiHi7s kWwdoxkNKSRmRg2Z+QlZ9r+qZyWsRhNAixcPc0OSHmBkpkjetXoLWgHSzSWPVFYl /kV4+fUyKoyV1pLRkpHIsaQPo= 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=T0+JoC9ij1bNMWeNPmxvLxVbPwflKB2C1JRlJoZejlLRTylAECc SVB398HiFvT+T4M/mgrczdqMssS79GCqsTNGSz1Sj9JacjE4cxp0CXyiDnR1SUgO +13BGnl+CtjjFp5gWSOX+Z4/bYCazHrM5yS0XQlkpuKQTsbIaR/pcPJM= Received: from dhcp-10-248-108-212.eduroam.wireless.private.cam.ac.uk (global-5-142.nat-2.net.cam.ac.uk [131.111.5.142]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 54c4c478 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 17 Sep 2018 11:59:26 +0100 (BST) Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Anil Madhavapeddy In-Reply-To: Date: Mon, 17 Sep 2018 11:59:25 +0100 Message-Id: <1DEDC7B7-63D5-4E73-8198-C17F1F1A5F80@recoil.org> References: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> <0b78cc52-7736-d842-3eaf-f5b4d8378379@somerandomidiot.com> To: Takayuki Imada X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese 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: , 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" V2hhdCBhbiBpbnRlcmVzdGluZyBzaXRlOyB0aGFua3MgZm9yIHRha2luZyB0aGlzIGluaXRpYXRp dmUgVGFrYSEKClRoZXJlIGFwcGVhcnMgdG8gYmUgcXVpdGUgYSBiaXQgb2YgT0NhbWwgY29udGVu dCBvbiBRdWlpdGEgYXMgd2VsbC4gRmVlbCBmcmVlIHRvCmJvcnJvdyBhbnkgdHV0b3JpYWxzIHRo YXQgbWlnaHQgYmUgaGVscGZ1bCBmcm9tIFJlYWwgV29ybGQgT0NhbWwgYXMgd2VsbC4KCnJlZ2Fy ZHMsCkFuaWwKCj4gT24gMTQgU2VwIDIwMTgsIGF0IDE2OjAzLCBUYWtheXVraSBJbWFkYSA8dGFr YXl1a2kuaW1hZGFAZ21haWwuY29tPiB3cm90ZToKPiAKPiBNYW55IHRoYW5rcyBmb3IgcHJvdmlk aW5nIHlvdXIgY29tbWVudHMgYW5kIHN1Z2dlc3Rpb25zIQo+IAo+IFRoZSBNaXJnZU9TIGhhbmRi b29rIHNlZW1zIHRvIGhhdmUgZ29vZCB0b3BpY3Mgd2hpY2ggSSBzaG91bGQgd3JpdGUgb24gUWlp dGEuCj4gSSB3aWxsIHRyeSB0byBoYXZlIGEgdmFyaWV0eSBvZiB0b3BpY3MgZnJvbSBPQ2FtbCwg VW5pa2VybmVsLCBhbmQgTWlyYWdlT1MgcG9pbnRzIG9mIHZpZXcuIDotKQo+IAo+IEtpbmQgcmVn YXJkcywKPiAKPiAtLSAKPiBUYWtheXVraSBJbWFkYQo+IAo+IAo+IE9uIDkvMTQvMTggNjoxNiBB TSwgTWluZHkgUHJlc3RvbiB3cm90ZToKPj4gT24gMDkvMTMvMTggMTE6MDUsIFRha2F5dWtpIElt YWRhIHdyb3RlOgo+Pj4gRGVhciBhbGwsCj4+PiAKPj4+IEkgaGF2ZSByZWNlbnRseSBkZWNpZGVk IHRvIGNyZWF0ZSBKYXBhbmVzZSBXZWIgcGFnZXMgdG8gaW50cm9kdWNlIFVuaWtlcm5lbHMuCj4+ PiBBIG1haW4gbW90aXZhdGlvbiBmb3IgdGhpcyBpcyB0aGF0IG1vc3Qgb2YgY29tcHV0ZXIgZ2Vl a3MgaW4gSmFwYW4gaGF2ZSBkaWZmaWN1bHRpZXMgaW4gZWFzaWx5IHVuZGVyc3RhbmRpbmcgYWJv dXQgVW5pa2VybmVscyBhbmQgdGhlaXIgdmFsdWVzIGR1ZSB0byB0aGUgbGFjayBvZiBpbmZvcm1h dGlvbiBvbiBVbmlrZXJuZWxzIHdyaXR0ZW4gaW4gSmFwYW5lc2UuCj4+PiAKPj4+IEZvcnR1bmF0 ZWx5LCB0aGVyZSBpcyBhIGZhbW91cyBXZWIgc2l0ZSBjYWxsZWQgUWlpdGFbMV0sIHdoZXJlIGhh Y2tlcnMgKD1zb2Z0d2FyZSBlbmdpbmVlcnMpIGNhbiBlYXNpbHkgY3JlYXRlIFdlYiBwYWdlcyB0 byBzaGFyZSB0aGVpciBvd24ga25vd2xlZGdlIGZvciBmcmVlLgo+Pj4gVGhpcyBzaXRlIG1haW5s eSB0YXJnZXRzIEphcGFuZXNlIGhhY2tlcnMsIHNvIG1vc3Qgb2YgdGhlIHRvcGljcyBhcmUgd3Jp dHRlbiBpbiBKYXBhbmVzZS4KPj4+IAo+Pj4gQ3VycmVudGx5IEkgaGF2ZSBhIHBsYW4gdG8gaGF2 ZSBVbmlrZXJuZWxzIHJlbGF0ZWQgV2ViIHBhZ2VzIG9uIHRoZSBzaXRlIHRvIGludHJvZHVjZSB0 aGUgVW5pa2VybmVscyBjb25jZXB0IGFuZCBNaXJhZ2VPUyBVbmlrZXJuZWwgdG9vLgo+Pj4gSWYg eW91IGhhdmUgYW55IHN1Z2dlc3Rpb25zIG9yIGNvbW1lbnRzLCBwbGVhc2UgbGV0IG1lIGtub3cu Cj4+IENvb2whIEkgcmVjYWxsIHNvbWUgZWFybHkgc2VhcmNoZXMgSSBkaWQgYWJvdXQgTWlyYWdl T1MgbGVhZGluZyB0byBvbGQgdW5hbnN3ZXJlZCBxdWVzdGlvbnMgb24gUWlpdGEgKGNpcmNhIDIw MTQhKS4gIEl0IHdvdWxkIGJlIGdyZWF0IHRvIGVuZ2FnZSB3aXRoIHRoYXQgY29tbXVuaXR5IDop Cj4+IEl0IHdvdWxkIGJlIHByb2JhYmx5IGJlIHVzZWZ1bCB0byBrbm93IHdoYXQgcmVzb3VyY2Vz IGV4aXN0IGZvciBkaXNjdXNzaW5nIHJlbGF0ZWQgY29uY2VwdHMgaW4gT0NhbWwgKGZ1bmN0b3Jz LCBmb3IgZXhhbXBsZSkgaW4gSmFwYW5lc2UsIGluIGFkZGl0aW9uIHRvIGV4cGxhbmF0aW9ucyBv ZiB3aHkgdW5pa2VybmVscyBpbiBnZW5lcmFsIGFyZSBhIGNvb2wgaWRlYS4KPj4gQW55IGZlZWRi YWNrIGFib3V0IHRoaW5ncyB0aGF0IGFyZSBwYXJ0aWN1bGFybHkgZGlmZmljdWx0IHRvIHVuZGVy c3RhbmQgaW4gdGhlIEVuZ2xpc2gtbGFuZ3VhZ2UgZG9jdW1lbnRhdGlvbiBmb3IgTWlyYWdlT1Mg d291bGQgYmUgcmVhbGx5IGhlbHBmdWwgZm9yIHVzIGZyb20gdGhlIHByb2plY3Qgc2lkZSwgdG9v LiAgSSB0aGluayBtb3N0IG9mIHRoZSB0dXRvcmlhbCB3YXMgd3JpdHRlbiBieSBwZW9wbGUgd2hv IHNwZWFrIEVuZ2xpc2ggYXMgYSBmaXJzdCBsYW5ndWFnZSwgYW5kIGl0IGNvdWxkIHByb2JhYmx5 IHVzZSBzb21lIGZlZWRiYWNrIG9uIHdoYXQncyB1bmNsZWFyLgo+PiBUaGVyZSBpcyBhbHNvIHRo ZSBicmFpbnN0b3JtaW5nIHRhYmxlIG9mIGNvbnRlbnRzIGZvciB0aGUgTWlyYWdlT1MgaGFuZGJv b2sgYXQgaHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9taXJhZ2UtaGFuZGJvb2sgLCB3aGljaCB3 YXMgYmVndW4gYXQgdGhlIGxhc3QgaGFjayByZXRyZWF0LiAgSXQgd291bGQgYmUgZ3JlYXQgaWYg Yml0cyBvZiB0aGlzIHdlcmUgZmlsbGVkIGluIGZvciAqYW55KiBsYW5ndWFnZSEKPj4gVGhhbmtz LAo+PiBNaW5keQo+PiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwo+PiBNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKPj4gTWlyYWdlT1MtZGV2ZWxAbGlz dHMueGVucHJvamVjdC5vcmcKPj4gaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFu L2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCj4gCj4gX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX18KPiBNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKPiBNaXJh Z2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwo+IGh0dHBzOi8vbGlzdHMueGVucHJvamVj dC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAoKCl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlz dApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnBy b2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Mon Sep 17 18:56:27 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 17 Sep 2018 18:56:27 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g1ygz-0004El-Os; Mon, 17 Sep 2018 18:56: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 1g1ygy-0004Eg-AH for mirageos-devel@lists.xenproject.org; Mon, 17 Sep 2018 18:56:16 +0000 X-Inumbo-ID: 7d37bc73-baab-11e8-a6a9-d7ebe60f679a Received: from mail.whidbey.net (unknown [209.166.65.58]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 7d37bc73-baab-11e8-a6a9-d7ebe60f679a; Mon, 17 Sep 2018 18:57:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=whidbey.com; s=mail; h=Content-Transfer-Encoding:Content-Type:Mime-Version:Message-Id:Subject:To:From:Date; bh=Uvp/bciiYotF5ktSf/QqLB0CZPZxrJJumf9l6u46IT0=; b=JYUeUS50nle/1ZnIqOE2YsFT6IhUSpRXte5+3bVjK1ROmQCq+db2K1c4vmE+ZSD/o+2u0rFxETUic5H/rjwNG5xKMhYqRsnqiUhlOnfuvlFOX4HR86TI9BDKSjcXGTwHZAir3IJ7Yk+cFGOTSXC4FPzdcJeGsEgQbfX9gI/SuRw=; Received: from [209.166.70.62] (helo=sympatico) by mail.whidbey.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84) (envelope-from ) id 1g1ygu-0004LR-Nc; Mon, 17 Sep 2018 11:56:13 -0700 Date: Mon, 17 Sep 2018 18:56:12 +0000 From: "Ken.Dickey" To: mirageos-devel@lists.xenproject.org Message-Id: <20180917185612.6920dae3cace9dae0158a8e0@whidbey.com> Organization: DisOrganized X-Mailer: Sylpheed 3.7.0 (GTK+ 2.24.32; armv7l-unknown-linux-gnueabihf) Mime-Version: 1.0 Subject: [MirageOS-devel] AML-S905X-CC (Le Potato) 'hello' works [recipe] 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" T25jZSBpcyBoYXBwZW5zdGFuY2UsClR3aWNlIGlzIGNvaW5jaWRlbmNlLAouLi4KClJlY2lwZSBm b3IgTWlyYWdlT1Mgb24gQU1MLVM5MDVYLUNDIChMZSBQb3RhdG8pOgoKRG93bmxvYWQgTGVQb3Rh dG8gRGViaWFuIHJlbGVhc2UgZnJvbToKCmh0dHA6Ly9zaGFyZS5sb3ZlcnBpLmNvbS9ib2FyZC9s aWJyZS1jb21wdXRlci1wcm9qZWN0L2xpYnJlLWNvbXB1dGVyLWJvYXJkLWFtbC1zOTA1eC1jYy9p bWFnZS9kZWJpYW4vCgphbmQgaW5zdGFsbCBhcyBpbnN0cnVjdGVkIHRvIFNEIGNhcmQuCgpGcm9t IGEgc2hlbGw6CnZ2di0tLXZ2dgphcHQtZ2V0IGluc3RhbGwgb2NhbWwgb3BhbQpvcGFtIGluaXQK b3BhbSBzd2l0Y2ggNC4wNy4wCmV2YWwgYG9wYW0gY29uZmlnIGVudmAKb3BhbSBpbnN0YWxsIG1p cmFnZQpnaXQgY2xvbmUgZ2l0Oi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdlLXNrZWxldG9uLmdp dApjZCBtaXJhZ2Utc2tlbGV0b24vdHV0b3JpYWwvaGVsbG8KbWlyYWdlIGNvbmZpZ3VyZSAtdCB1 a3ZtCm1ha2UgZGVwZW5kCm1ha2UKLi91a3ZtLWJpbiBoZWxsby51a3ZtCl5eXi0tLV5eXgoKSGFw cHkgaGFja2luZyEKLUtlbkQKPT09PT09PT09PT0KTm90ZTogQXJjaExpbnV4QXJtIFJhc1BpMyBp bnN0YWxsIGluc3RydWN0aW9ucyBhdDoKICBodHRwczovL2FyY2hsaW51eGFybS5vcmcvcGxhdGZv cm1zL2FybXY4L2Jyb2FkY29tL3Jhc3BiZXJyeS1waS0zCj09PT09PT09PT09Ck5vdyBJIGdvdHRh IGxlYXJuIG1lIHNvbWUgT0NhbWwrTWlyYWdlT1MhCgoKCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJh Z2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qu b3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Tue Sep 18 13:14:41 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 18 Sep 2018 13:14:41 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g2Fpj-0000eg-HT; Tue, 18 Sep 2018 13:14:27 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g2Fpi-0000eZ-Cu for mirageos-devel@lists.xenproject.org; Tue, 18 Sep 2018 13:14:26 +0000 X-Inumbo-ID: 7beee04f-bb44-11e8-a8a5-bc764e045a96 Received: from mail-pl1-x643.google.com (unknown [2607:f8b0:4864:20::643]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 7beee04f-bb44-11e8-a8a5-bc764e045a96; Tue, 18 Sep 2018 15:12:25 +0200 (CEST) Received: by mail-pl1-x643.google.com with SMTP id w14-v6so993494plp.6 for ; Tue, 18 Sep 2018 06:14:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=wsivEj33gmuoeKKBte0ecGXIquU4L6VGbS9RTfCF4F8=; b=nDhEh2kImZBxSY9j+NyTBTzxwyzFyxKIoWU0yko6mhDCDj8rr5/Yb9xyQdD0Pg+bL6 NGlv8+dv+sB51xb+q6kYK44LhspjI59SUFW+zvdrM40lpsBAga2X0kAJLnRW4QhHOInR MeMq/2MBGUqaX2OdiP9SeobH1Sp19L4us2I/19htIMTSAMyTop52xU4JWwJA8xt3HHr1 +2qPMVMSrZvR502bzPlZrHWajAU7sx6CHDk4Xgv6O2ER3VVeNd9kGKMdIVkgTyxzpad4 +zeB/RbdO3+2GKes8yH3NH+qV99mwb6DCjtMcJSP7QCIsh3c0P5jplW/KLML/SueftPF iYAA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=wsivEj33gmuoeKKBte0ecGXIquU4L6VGbS9RTfCF4F8=; b=g3jCsM0x6fKpQuSIDmmxPyqK78wM84YxxiLGw8xKTES26u0Zhka2AchfvhVXWJ4P8x oJ9Lv+eKufm7iTFXnXQ9h/P2ilE3ZzSkXObLqOyZFu9ddmUSoYC5XpDxvyElPuXTvcFJ 4oOOOU5cgnOKHTGD+Rtv6NqbACvsIzghSzF31BLNu0fRUw4GYsUSO0QlUtI7WZre2kNc kYd7PXdqTE+4ePewcZiJSye78MR8ivWr6e+ulj3h96I0CY0cbfvkqzifjIMkRhPm/QNl MoGuBYpy55uo+IAyPDQ8md/tRadulZA6SDVULmZxCZHJ3ds2URqiLCR3xeIqLGmG62NK b1Jw== X-Gm-Message-State: APzg51CQ5txvsX3CS+f+wqgxHaMOHJ8mKYwO3ML9ujwpFAIAvi3ijXQl 17lgp9ibvKMTVMi7659rA/oT3Ra/ X-Google-Smtp-Source: ANB0VdYo9VF0M0RkKYnDbCRA7mgW8xLLgP/DwOuoxA+4YUiv7KXknt/wai2x1y5/We9vmdSJY7jP7Q== X-Received: by 2002:a17:902:598d:: with SMTP id p13-v6mr29171103pli.171.1537276463753; Tue, 18 Sep 2018 06:14:23 -0700 (PDT) Received: from Takayukis-MacBook-Air.local (59-168-246-19.rev.home.ne.jp. [59.168.246.19]) by smtp.gmail.com with ESMTPSA id q80-v6sm26710784pfd.15.2018.09.18.06.14.21 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 18 Sep 2018 06:14:22 -0700 (PDT) To: Anil Madhavapeddy References: <549c3c05-e7ba-6780-28cb-df96a83ab32d@gmail.com> <0b78cc52-7736-d842-3eaf-f5b4d8378379@somerandomidiot.com> <1DEDC7B7-63D5-4E73-8198-C17F1F1A5F80@recoil.org> From: Takayuki Imada Message-ID: <9a16cc94-5ef1-3ee1-f001-41c01294cc60@gmail.com> Date: Tue, 18 Sep 2018 22:15:37 +0900 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <1DEDC7B7-63D5-4E73-8198-C17F1F1A5F80@recoil.org> Content-Language: en-US Subject: Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese 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: , Cc: mirageos-devel@lists.xenproject.org Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" ID4gVGhlcmUgYXBwZWFycyB0byBiZSBxdWl0ZSBhIGJpdCBvZiBPQ2FtbCBjb250ZW50IG9uIFF1 aWl0YSBhcyB3ZWxsLiBGZWVsIGZyZWUgdG8KID4gYm9ycm93IGFueSB0dXRvcmlhbHMgdGhhdCBt aWdodCBiZSBoZWxwZnVsIGZyb20gUmVhbCBXb3JsZCBPQ2FtbCBhcyB3ZWxsLgpNYW55IHRoYW5r cywgQW5pbCEgOi0pCgotLSAKVGFrYXl1a2kgSW1hZGEKCgpPbiA5LzE3LzE4IDc6NTkgUE0sIEFu aWwgTWFkaGF2YXBlZGR5IHdyb3RlOgo+IFdoYXQgYW4gaW50ZXJlc3Rpbmcgc2l0ZTsgdGhhbmtz IGZvciB0YWtpbmcgdGhpcyBpbml0aWF0aXZlIFRha2EhCj4gCj4gVGhlcmUgYXBwZWFycyB0byBi ZSBxdWl0ZSBhIGJpdCBvZiBPQ2FtbCBjb250ZW50IG9uIFF1aWl0YSBhcyB3ZWxsLiBGZWVsIGZy ZWUgdG8KPiBib3Jyb3cgYW55IHR1dG9yaWFscyB0aGF0IG1pZ2h0IGJlIGhlbHBmdWwgZnJvbSBS ZWFsIFdvcmxkIE9DYW1sIGFzIHdlbGwuCj4gCj4gcmVnYXJkcywKPiBBbmlsCj4gCj4+IE9uIDE0 IFNlcCAyMDE4LCBhdCAxNjowMywgVGFrYXl1a2kgSW1hZGEgPHRha2F5dWtpLmltYWRhQGdtYWls LmNvbT4gd3JvdGU6Cj4+Cj4+IE1hbnkgdGhhbmtzIGZvciBwcm92aWRpbmcgeW91ciBjb21tZW50 cyBhbmQgc3VnZ2VzdGlvbnMhCj4+Cj4+IFRoZSBNaXJnZU9TIGhhbmRib29rIHNlZW1zIHRvIGhh dmUgZ29vZCB0b3BpY3Mgd2hpY2ggSSBzaG91bGQgd3JpdGUgb24gUWlpdGEuCj4+IEkgd2lsbCB0 cnkgdG8gaGF2ZSBhIHZhcmlldHkgb2YgdG9waWNzIGZyb20gT0NhbWwsIFVuaWtlcm5lbCwgYW5k IE1pcmFnZU9TIHBvaW50cyBvZiB2aWV3LiA6LSkKPj4KPj4gS2luZCByZWdhcmRzLAo+Pgo+PiAt LSAKPj4gVGFrYXl1a2kgSW1hZGEKPj4KPj4KPj4gT24gOS8xNC8xOCA2OjE2IEFNLCBNaW5keSBQ cmVzdG9uIHdyb3RlOgo+Pj4gT24gMDkvMTMvMTggMTE6MDUsIFRha2F5dWtpIEltYWRhIHdyb3Rl Ogo+Pj4+IERlYXIgYWxsLAo+Pj4+Cj4+Pj4gSSBoYXZlIHJlY2VudGx5IGRlY2lkZWQgdG8gY3Jl YXRlIEphcGFuZXNlIFdlYiBwYWdlcyB0byBpbnRyb2R1Y2UgVW5pa2VybmVscy4KPj4+PiBBIG1h aW4gbW90aXZhdGlvbiBmb3IgdGhpcyBpcyB0aGF0IG1vc3Qgb2YgY29tcHV0ZXIgZ2Vla3MgaW4g SmFwYW4gaGF2ZSBkaWZmaWN1bHRpZXMgaW4gZWFzaWx5IHVuZGVyc3RhbmRpbmcgYWJvdXQgVW5p a2VybmVscyBhbmQgdGhlaXIgdmFsdWVzIGR1ZSB0byB0aGUgbGFjayBvZiBpbmZvcm1hdGlvbiBv biBVbmlrZXJuZWxzIHdyaXR0ZW4gaW4gSmFwYW5lc2UuCj4+Pj4KPj4+PiBGb3J0dW5hdGVseSwg dGhlcmUgaXMgYSBmYW1vdXMgV2ViIHNpdGUgY2FsbGVkIFFpaXRhWzFdLCB3aGVyZSBoYWNrZXJz ICg9c29mdHdhcmUgZW5naW5lZXJzKSBjYW4gZWFzaWx5IGNyZWF0ZSBXZWIgcGFnZXMgdG8gc2hh cmUgdGhlaXIgb3duIGtub3dsZWRnZSBmb3IgZnJlZS4KPj4+PiBUaGlzIHNpdGUgbWFpbmx5IHRh cmdldHMgSmFwYW5lc2UgaGFja2Vycywgc28gbW9zdCBvZiB0aGUgdG9waWNzIGFyZSB3cml0dGVu IGluIEphcGFuZXNlLgo+Pj4+Cj4+Pj4gQ3VycmVudGx5IEkgaGF2ZSBhIHBsYW4gdG8gaGF2ZSBV bmlrZXJuZWxzIHJlbGF0ZWQgV2ViIHBhZ2VzIG9uIHRoZSBzaXRlIHRvIGludHJvZHVjZSB0aGUg VW5pa2VybmVscyBjb25jZXB0IGFuZCBNaXJhZ2VPUyBVbmlrZXJuZWwgdG9vLgo+Pj4+IElmIHlv dSBoYXZlIGFueSBzdWdnZXN0aW9ucyBvciBjb21tZW50cywgcGxlYXNlIGxldCBtZSBrbm93Lgo+ Pj4gQ29vbCEgSSByZWNhbGwgc29tZSBlYXJseSBzZWFyY2hlcyBJIGRpZCBhYm91dCBNaXJhZ2VP UyBsZWFkaW5nIHRvIG9sZCB1bmFuc3dlcmVkIHF1ZXN0aW9ucyBvbiBRaWl0YSAoY2lyY2EgMjAx NCEpLiAgSXQgd291bGQgYmUgZ3JlYXQgdG8gZW5nYWdlIHdpdGggdGhhdCBjb21tdW5pdHkgOikK Pj4+IEl0IHdvdWxkIGJlIHByb2JhYmx5IGJlIHVzZWZ1bCB0byBrbm93IHdoYXQgcmVzb3VyY2Vz IGV4aXN0IGZvciBkaXNjdXNzaW5nIHJlbGF0ZWQgY29uY2VwdHMgaW4gT0NhbWwgKGZ1bmN0b3Jz LCBmb3IgZXhhbXBsZSkgaW4gSmFwYW5lc2UsIGluIGFkZGl0aW9uIHRvIGV4cGxhbmF0aW9ucyBv ZiB3aHkgdW5pa2VybmVscyBpbiBnZW5lcmFsIGFyZSBhIGNvb2wgaWRlYS4KPj4+IEFueSBmZWVk YmFjayBhYm91dCB0aGluZ3MgdGhhdCBhcmUgcGFydGljdWxhcmx5IGRpZmZpY3VsdCB0byB1bmRl cnN0YW5kIGluIHRoZSBFbmdsaXNoLWxhbmd1YWdlIGRvY3VtZW50YXRpb24gZm9yIE1pcmFnZU9T IHdvdWxkIGJlIHJlYWxseSBoZWxwZnVsIGZvciB1cyBmcm9tIHRoZSBwcm9qZWN0IHNpZGUsIHRv by4gIEkgdGhpbmsgbW9zdCBvZiB0aGUgdHV0b3JpYWwgd2FzIHdyaXR0ZW4gYnkgcGVvcGxlIHdo byBzcGVhayBFbmdsaXNoIGFzIGEgZmlyc3QgbGFuZ3VhZ2UsIGFuZCBpdCBjb3VsZCBwcm9iYWJs eSB1c2Ugc29tZSBmZWVkYmFjayBvbiB3aGF0J3MgdW5jbGVhci4KPj4+IFRoZXJlIGlzIGFsc28g dGhlIGJyYWluc3Rvcm1pbmcgdGFibGUgb2YgY29udGVudHMgZm9yIHRoZSBNaXJhZ2VPUyBoYW5k Ym9vayBhdCBodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS1oYW5kYm9vayAsIHdoaWNo IHdhcyBiZWd1biBhdCB0aGUgbGFzdCBoYWNrIHJldHJlYXQuICBJdCB3b3VsZCBiZSBncmVhdCBp ZiBiaXRzIG9mIHRoaXMgd2VyZSBmaWxsZWQgaW4gZm9yICphbnkqIGxhbmd1YWdlIQo+Pj4gVGhh bmtzLAo+Pj4gTWluZHkKPj4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fCj4+PiBNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKPj4+IE1pcmFnZU9TLWRl dmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4+PiBodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3Jn L21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwKPj4KPj4gX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPj4gTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBs aXN0Cj4+IE1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCj4+IGh0dHBzOi8vbGlz dHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo+IAoKX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2 ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBz Oi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Tue Sep 18 15:51:37 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 18 Sep 2018 15:51:37 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g2IHh-0005zt-Od; Tue, 18 Sep 2018 15:51:29 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g2IHg-0005zo-KO for mirageos-devel@lists.xenproject.org; Tue, 18 Sep 2018 15:51:28 +0000 X-Inumbo-ID: d76dfb6a-bb5a-11e8-a6a9-d7ebe60f679a Received: from mail.whidbey.net (unknown [209.166.65.58]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id d76dfb6a-bb5a-11e8-a6a9-d7ebe60f679a; Tue, 18 Sep 2018 15:52:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=whidbey.com; s=mail; h=Content-Transfer-Encoding:Content-Type:Mime-Version:Message-Id:Subject:To:From:Date; bh=0J2xf/8ORhwmFfik9Wyrhk1Hnth32MfSJkWvGMG4Shw=; b=A0jwTUK+3xpXqCeLmb9UhAYtmhfhXE9RsuFn7D9eONtwvXJtOCyaaKppKTNh+K0ZjOd1iJzzuo0gsOJAlppxz/7g5PkpJ3UHWHIVu7mvGinBy9ELvZy2zXGaNFTTFbxjPtqmbps08sXqNRvYwi0HmKM302UB1Bz12zYjcFOcxrE=; Received: from [209.166.70.62] (helo=sympatico) by mail.whidbey.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84) (envelope-from ) id 1g2IHe-0003xL-71; Tue, 18 Sep 2018 08:51:26 -0700 Date: Tue, 18 Sep 2018 15:51:25 +0000 From: "Ken.Dickey" To: mirageos-devel@lists.xenproject.org Message-Id: <20180918155125.9032a633c0a32567dc24c6cf@whidbey.com> Organization: DisOrganized X-Mailer: Sylpheed 3.7.0 (GTK+ 2.24.32; armv7l-unknown-linux-gnueabihf) Mime-Version: 1.0 Subject: [MirageOS-devel] Arm8 install options (ArchLinuxARM) 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" SSBoYXZlIG9ubHkgYSBSYXNQaTMgKGFuZCBhIExlUG90YXRvKS4KClBlcmhhcHMgc29tZW9uZSBv dXQgdGhlcmUgY291bGQgdGVzdCBvdGhlciBhcm04IGNoaXBzIHN1cHBvcnRlZCBieSBBcmNoTGlu dXhBUk0gKGJlbG93KSBhbmQgcGVyaGFwcyB0cmltIHRoZSBudW1iZXIgb2YgbG9hZGVkIGxpYnJh cmllcyB0byB1cGRhdGUgdGhlIHdlYiBwYWdlIGluc3RhbGwgcmVjaXBlLgoKSnVzdCBhbiBpZGVh LAotS2VuRAoKTmFtZQkJCQlBcmNoaXRlY3R1cmUJCVByb2Nlc3NvcgotLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0K QWNlciBDaHJvbWVib29rIFIxMyAgICAgICAgICAgICBBUk12OCBDb3J0ZXgtQTcyICAgICAgICBN ZWRpYXRlawpBc3VzIENocm9tZWJvb2sgRmxpcCBDMTAxUEEgICAgIEFSTXY4IENvcnRleC1BNzIg ICAgICAgIFJvY2tjaGlwIFJLMzM5OQpEcmFnb25Cb2FyZCA0MTBjICAgICAgICAgICAgICAgIEFS TXY4IENvcnRleC1BNTMgICAgICAgIFF1YWxjb21tIFNuYXBkcmFnb24gNDEwRQpFU1BSRVNTT2Jp biAgICAgICAgICAgICAgICAgICAgIEFSTXY4IENvcnRleC1BNTMgICAgICAgIE1hcnZlbGwgQXJt YWRhIDM3MDAKSnVubyAgICAgICAgICAgICAgICAgICAgICAgICAgICBBUk12OCBDb3J0ZXgtQSAg ICAgICAgICBBUk0gQ29ydGV4LUEgICAgICAgICAgICAKTUFDQ0hJQVRPYmluICAgICAgICAgICAg ICAgICAgICBBUk12OCBDb3J0ZXgtQTcyICAgICAgICBNYXJ2ZWxsIEFybWFkYSA4MDQwICAgICAK T0RST0lELUMyICAgICAgICAgICAgICAgICAgICAgICBBUk12OCBDb3J0ZXgtQTUzICAgICAgICBB bWxvZ2ljIFM5MDUgICAgClBpbmU2NCAgICAgICAgICAgICAgICAgICAgICAgICAgQVJNdjggQ29y dGV4LUE1MyAgICAgICAgQWxsd2lubmVyIEE2NCAgIApSYXNwYmVycnkgUGkgMyAgICAgICAgICAg ICAgICAgIEFSTXY4IENvcnRleC1BNTMgICAgICAgIEJyb2FkY29tIEJDTTI4MzcKUm9jazY0ICAg ICAgICAgICAgICAgICAgICAgICAgICBBUk12OCBDb3J0ZXgtQTUzICAgICAgICBSb2NrY2hpcCBS SzMzMjggClNhbXN1bmcgQ2hyb21lYm9vayBQbHVzICAgICAgICAgQVJNdjggQ29ydGV4LUE3MiAg ICAgICAgUm9ja2NoaXAgUkszMzk5Ci0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tRS1P LUYtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKCl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlz dApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnBy b2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Mon Sep 24 07:43:25 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 24 Sep 2018 07:43: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 1g4LWO-00066x-Np; Mon, 24 Sep 2018 07:43:08 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4LWM-00066s-R9 for mirageos-devel@lists.xenproject.org; Mon, 24 Sep 2018 07:43:06 +0000 X-Inumbo-ID: 9caf2392-bfcd-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 9caf2392-bfcd-11e8-a6a9-d7ebe60f679a; Mon, 24 Sep 2018 07:44:06 +0000 (UTC) Received: from [192.168.42.80] (i5E86C1B1.versanet.de [94.134.193.177]) (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 DF78D68D for ; Mon, 24 Sep 2018 09:42:59 +0200 (CEST) To: mirageos-devel@lists.xenproject.org From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Mon, 24 Sep 2018 09:42:25 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] [ANN] mirage 3.2.0 released 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" SGVsbG8sCgppdCBpcyBteSBwbGVhc3VyZSB0byBhbm5vdW5jZSB0aGF0IG1pcmFnZSAzLjIuMCBo YXMgYmVlbiByZWxlYXNlZCB0bwpvcGFtLXJlcG9zaXRvcnkoKikuICBUaGlzIHJlbGVhc2UgY29u dGFpbnMgYnJlYWtpbmcgY2hhbmdlcyB3aXRoIGVhcmxpZXIKcmVsZWFzZXM6CgpJdCByZXF1aXJl cyBzb2xvNSAwLjQuMCwgd2hpY2ggcmVuYW1lcyAidWt2bSIgdG8gImh2dCIgKHRoYW5rcyB0byBN YXJ0aW4KTHVjaW5hKQpJdCByZXF1aXJlcyB0Y3BpcCAzLjUuMCwgd2hpY2ggcmVtb3ZlcyBjb21w bGV4aXR5IGZyb20gc3RhY2sKaW5pdGlhbGlzYXRpb24gKHRoYW5rcyB0byBIYW5uZXMgTWVobmVy dCkKCk1pcmFnZSBub3cgY29tZXMgd2l0aCB0aGUgaHZ0IChIYXJkd2FyZSBWaXJ0dWFsaXphdGlv biBUZW5kZXIpIHRhcmdldAooZWFybGllciBrbm93biBhcyB1a3ZtKSwgd2hpY2ggd29ya3Mgb24g TGludXgvS1ZNLCBPcGVuQlNEL1ZNTSAoc2luY2UKNi40KSwgYW5kIEZyZWVCU0QvVk1NfEJIeXZl LgoKIyBVcGdyYWRpbmcgZnJvbSBNaXJhZ2UgMy4xLnggb3IgZWFybGllcgoKRHVlIHRvIGNvbmZs aWN0aW5nIHBhY2thZ2VzLCBvcGFtIHdpbGwgbm90IHVwZ3JhZGUgbWlyYWdlIHRvIHZlcnNpb24K My4yLjAgb3IgbmV3ZXIgaWYgYSB2ZXJzaW9uIG9mIG1pcmFnZS1zb2xvNSBvbGRlciB0aGFuIDAu NC4wIGlzCmluc3RhbGxlZCBpbiB0aGUgc3dpdGNoLiBUbyBwZXJmb3JtIHRoZSB1cGdyYWRlIHlv dSBtdXN0IHJ1biBgb3BhbQp1cGdyYWRlIG1pcmFnZWAgZXhwbGljaXRseS4KCiMjIENoYW5nZXMg cmVxdWlyZWQgdG8gcmVidWlsZCBhbmQgcnVuIHVrdm0gdW5pa2VybmVscwoKQXMgb2YgU29sbzUg MC40LjAsIHRoZSB1a3ZtIHRhcmdldCBoYXMgYmVlbiByZW5hbWVkIHRvIGh2dC4gSWYgeW91IGFy ZQp3b3JraW5nIG91dCBvZiBhbiBleGlzdGluZywgZGlydHksIHNvdXJjZSB0cmVlLCB5b3Ugc2hv dWxkIGluaXRpYWxseSBydW46CgpgYGAKbWlyYWdlIGNvbmZpZ3VyZSAtdCBodnQKbWlyYWdlIGNs ZWFuCm1pcmFnZSBjb25maWd1cmUgLXQgaHZ0CmBgYAoKYW5kIHRoZW4gcHJvY2VlZCBhcyBub3Jt YWwuIElmIHlvdSBhcmUgd29ya2luZyB3aXRoIGEgY2xlYW4gc291cmNlIHRyZWUsCnRoZW4gc2lt cGx5IGNvbmZpZ3VyaW5nIHdpdGggdGhlIG5ldyBodnQgdGFyZ2V0IGlzIHN1ZmZpY2llbnQ6Cgpg bWlyYWdlIGNvbmZpZ3VyZSAtdCBodnRgCgpOb3RlIHRoYXQgdGhlIGJ1aWxkIHByb2R1Y3RzIGhh dmUgY2hhbmdlZDoKClRoZSB1bmlrZXJuZWwgYmluYXJ5IGlzIG5vdyBuYW1lZCBgPHVuaWtlcm5l bD4uaHZ0YCwKdGhlIGB1a3ZtLWJpbmAgYmluYXJ5IGlzIG5vdyBuYW1lZCBgc29sbzUtaHZ0YC4K CiMgYWRhcHQgdG8gbWlyYWdlLXByb3RvY29scywgbWlyYWdlLXN0YWNrLCB0Y3BpcCBjaGFuZ2Vz CgpUaGlzIGlzIGEgYnJlYWtpbmcgY2hhbmdlOiBtaXJhZ2UgMy4yLjAgcmVxdWlyZXMgbWlyYWdl LXByb3RvY29scyAxLjQuMCwKbWlyYWdlLXN0YWNrIDEuMy4wLCBhbmQgdGNwaXAgMy41LjAgdG8g d29yayAoY2hhcnJ1LWNsaWVudC1taXJhZ2UgMC4xMAphbmQgbWlyYWdlLXF1YmVzLWlwdjQgMC42 IGFyZSBhZGFwdGVkIHRvIHRoZSBjaGFuZ2VzKS4gIEFuIG9sZGVyIG1pcmFnZQp3b24ndCBiZSBh YmxlIHRvIHVzZSB0aGVzZSBuZXcgbGlicmFyaWVzIGNvcnJlY3RseS4gIENvbmZsaWN0cyB3ZXJl CmludHJvZHVjZWQgaW4gdGhlIG9wYW0tcmVwb3NpdG9yeS4KCkluIG1vcmUgZGV0YWlsLCAgZGly ZWN0IGFuZCBzb2NrZXQgc3RhY2sgaW5pdGlhbGlzYXRpb24gY2hhbmdlZCwgd2hpY2gKaXMgYXV0 b21hdGljYWxseSBnZW5lcmF0ZWQgYnkgdGhlIG1pcmFnZSB0b29sIGZvciBlYWNoIHVuaWtlcm5l bCAoYXMKcGFydCBvZiBgbWFpbi5tbGApLiAgQSByZWNvcmQgd2FzIGJ1aWx0IHVwLCB3aGljaCBp cyBubyBsb25nZXIgbmVlZGVkLgoKU2V2ZXJhbCB1bm5lZWRlZCB0eXBlIGFsaWFzZXMgd2VyZSBy ZW1vdmVkOgogIGBuZXRpZmAgZnJvbSBNaXJhZ2VfcHJvdG9jb2xzLkVUSElGCiAgYGV0aGlmYCBh bmQgYHByZWZpeGAgZnJvbSBNaXJhZ2VfcHJvdG9jb2xzLklQCiAgYGlwYCBmcm9tIE1pcmFnZV9w cm90b2NvbHMue1VEUCxUQ1B9CiAgYG5ldGlmYCBhbmQgYCduZXRpZiBjb25maWdgIGZyb20gTWly YWdlX3N0YWNrLlY0CiAgYCduZXRpZiBzdGFja3Y0X2NvbmZpZ2AgYW5kIGBzb2NrZXRfc3RhY2tf Y29uZmlnYCBpbiBNaXJhZ2Vfc3RhY2sKCgpSZWdhcmRzLAoKaGFubmVzCgoqIHdoaWNoIHNpbmNl IGEgd2VlayBzd2l0Y2hlZCB0byBvcGFtIDIuMCwgYW5kIHRodXMgeW91J2xsIG9ubHkgc2VlCnVw ZGF0ZXMgaWYgeW91IHVwZ3JhZGVkIHlvdXIgb3BhbSB0byAyLjAgKHlvdSBjYW4gZG8gc28gYnkg Zm9sbG93aW5nIHRoZQppbnN0cnVjdGlvbnMgb24gaHR0cHM6Ly9vcGFtLm9jYW1sLm9yZy9ibG9n L29wYW0tMi0wLTAvKQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhl bnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5m by9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Mon Sep 24 07:48:20 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 24 Sep 2018 07:48:20 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4LbP-0006My-LK; Mon, 24 Sep 2018 07:48:19 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4LbO-0006Ms-7d for mirageos-devel@lists.xenproject.org; Mon, 24 Sep 2018 07:48:18 +0000 X-Inumbo-ID: e4ff2b87-bfcd-11e8-a8a5-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id e4ff2b87-bfcd-11e8-a8a5-bc764e045a96; Mon, 24 Sep 2018 09:46:07 +0200 (CEST) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 7fc80c54; Mon, 24 Sep 2018 08:48:14 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; s=selector1; bh=KeSC0xWaGaOSN19zp3A/Lr1x+3w=; b= inFXNvoIUrzd2WRGd7v5orb8qtGwtlGUnF/i6RUMbD+lo7wmMNHrmY99PG2OxNEb PALjSdZ2oshb/SN2Zmbt/1E5bhfnmVUBT9wBk3pIxLUxiadFnRcr8UxN3QCl1uPO Aw6RFGuY6JEEbiJMDAi1PcCSJRa99FOH9MlaKmmI7gA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; q=dns; s=selector1; b=H3ktZiYgUsdG9hIR4dVrpF7 2ksYLsomigTTHMZzJ28OvukFFOncNAueXowC9cjnWusute3tKS/bwYd8yM2YddHl npHCYPWXLqTntKAfj/p3I599eq8hqgph3i1XRXLfLJ5Mro22x/6caOCY3W+P4U7P dWkQ7VgvB3l3i8AdprgM= Received: by bark.recoil.org (OpenSMTPD) with ESMTPSA id fd76e982 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Mon, 24 Sep 2018 08:48:14 +0100 (BST) From: Anil Madhavapeddy Message-Id: Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Mon, 24 Sep 2018 08:48:13 +0100 In-Reply-To: To: Hannes Mehnert References: X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] [ANN] mirage 3.2.0 released 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: , Cc: mirageos-devel@lists.xenproject.org Content-Type: multipart/mixed; boundary="===============1107727011940481515==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============1107727011940481515== Content-Type: multipart/alternative; boundary="Apple-Mail=_199D2572-62A9-4CFA-BE3B-CC9DEEC285C5" --Apple-Mail=_199D2572-62A9-4CFA-BE3B-CC9DEEC285C5 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii On 24 Sep 2018, at 08:42, Hannes Mehnert wrote: >=20 > Several unneeded type aliases were removed: > `netif` from Mirage_protocols.ETHIF > `ethif` and `prefix` from Mirage_protocols.IP > `ip` from Mirage_protocols.{UDP,TCP} > `netif` and `'netif config` from Mirage_stack.V4 > `'netif stackv4_config` and `socket_stack_config` in Mirage_stack >=20 All these changes were a lot of work to plumb through; thanks for the hard work! >=20 > * which since a week switched to opam 2.0, and thus you'll only see > updates if you upgraded your opam to 2.0 (you can do so by following = the > instructions on https://opam.ocaml.org/blog/opam-2-0-0/ = ) >=20 And this is an important point. We need to decide when to stop supporting opam1, since Mirage is of course rather dependent on uptodate packages from the repository. I'd suggest doing it sooner rather than later, since upstream opam=20 has essentially frozen any non-stability updates to the 1.x branch. In practical terms, that means we can: - run `opam-package-upgrade` on local repositories in order to update their `opam` files to the 2.0 format. This will prevent 1.x from pinning them, but in return we can use the new rich metadata extensions in opam2. - ensure all our CI runs on opam2 (which is mostly already done since the upstream ocaml-ci-scripts switched a few months ago). Does anyone have a compelling reason to keep using opam1 at this point? regards, Anil= --Apple-Mail=_199D2572-62A9-4CFA-BE3B-CC9DEEC285C5 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii On = 24 Sep 2018, at 08:42, Hannes Mehnert <hannes@mehnert.org> = wrote:

Several unneeded type aliases = were removed:
 `netif` = from Mirage_protocols.ETHIF
 `ethif` and `prefix` from Mirage_protocols.IP
 `ip` from = Mirage_protocols.{UDP,TCP}
 `netif` and `'netif config` from = Mirage_stack.V4
 `'netif stackv4_config` and `socket_stack_config` in = Mirage_stack


All these = changes were a lot of work to plumb through; thanks for
the = hard work!


* which since a week switched to opam 2.0, and thus you'll = only see
updates if = you upgraded your opam to 2.0 (you can do so by following the
instructions on https://opam.ocaml.org/blog/opam-2-0-0/)



And this = is an important point.  We need to decide when to stop
supporting opam1, since Mirage is of course rather dependent = on
uptodate packages from the repository.

I'd suggest doing it = sooner rather than later, since upstream opam 
has essentially frozen any non-stability updates to the 1.x = branch.

In = practical terms, that means we can:

- run `opam-package-upgrade` on local = repositories in order to
  update their `opam` = files to the 2.0 format. This will prevent 1.x
 = from pinning them, but in return we can use the new rich = metadata
  extensions in opam2.

- ensure all our CI runs = on opam2 (which is mostly already done since
  = the upstream ocaml-ci-scripts switched a few months ago).

Does anyone have a = compelling reason to keep using opam1 at
this = point?

regards,
Anil
= --Apple-Mail=_199D2572-62A9-4CFA-BE3B-CC9DEEC285C5-- --===============1107727011940481515== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============1107727011940481515==-- From mirageos-devel-bounces@lists.xenproject.org Tue Sep 25 05:36:57 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 25 Sep 2018 05:36:57 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4g1f-0007FS-1Z; Tue, 25 Sep 2018 05:36:47 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4g1d-0007FN-KO for mirageos-devel@lists.xenproject.org; Tue, 25 Sep 2018 05:36:45 +0000 X-Inumbo-ID: 2321ac13-c085-11e8-a6a9-d7ebe60f679a Received: from mail-40132.protonmail.ch (unknown [185.70.40.132]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 2321ac13-c085-11e8-a6a9-d7ebe60f679a; Tue, 25 Sep 2018 05:37:49 +0000 (UTC) Date: Tue, 25 Sep 2018 05:36:35 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1537853801; bh=w+Q6UcwEucAm7tW0pTGXo3384yAMdUzes2JIFcKvlWA=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:Feedback-ID: From; b=K6mf8yKx82jQ2BhRPrZcfWK7lstSZV/vi16P/cuA9+qJf03CVkGSNNVKhaW2VLivo jQ/zLRMx/Z68v5y+AwYWiOBxE5ccwwcml6JTEL1SyA7imFxNgkNGiwWbdwzxsU2hx2 mTZQOcLH1ZusFDt2XV6KMpovMOKqGu9WIjfuCL18= To: "mirageos-devel@lists.xenproject.org" From: Adam Steen Message-ID: In-Reply-To: <20180913100053.yo3pmmgivzdlj7iz@nodbug.lucina.net> References: <20180913100053.yo3pmmgivzdlj7iz@nodbug.lucina.net> Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.1 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU autolearn=ham autolearn_force=no version=3.4.0 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mail.protonmail.ch Subject: Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) 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" 4oCQ4oCQ4oCQ4oCQ4oCQ4oCQ4oCQIE9yaWdpbmFsIE1lc3NhZ2Ug4oCQ4oCQ4oCQ4oCQ4oCQ4oCQ 4oCQCk9uIFRodXJzZGF5LCBTZXB0ZW1iZXIgMTMsIDIwMTggNjowMCBQTSwgTWFydGluIEx1Y2lu YSA8bWFydGluQGx1Y2luYS5uZXQ+IHdyb3RlOgoKPiBIaSBBZGFtLAo+Cj4gT24gVGh1cnNkYXks IDEzLjA5LjIwMTggYXTCoDA3OjA3LCBBZGFtIFN0ZWVuIHdyb3RlOgo+Cj4gPiBIaSBBbGwKPiA+ IEFzIHNvbWUgb2YgeW91IGtub3cgaSBoYXZlIGJlZW4gd29ya2luZyBhdCBtYWtpbmcgTWlyYWdl T1Mgd29yayBvbiBPcGVuQlNELCBJdCBub3cgd29ya3MsIEkgaGF2ZSBidWlsdCBhbmQgdGVzdGVk IGFsbCBhcHBsaWNhdGlvbnMsIGRldmljZS11c2FnZSBhbmQgdHV0b3JpYWxzIGluIG1pcmFnZS1z a2VsZXRvbi4KPgo+IFRoaXMgaXMgZ29vZCBuZXdzISBUaGFua3MgdmVyeSBtdWNoIGZvciB3b3Jr aW5nIG9uIGl0IGFuZCBwZXJzZXZlcmluZyEKPgo+ID4gWW91IG1heWJlIGFza2luZyBob3cgZG8g aSBkbyB0aGlzIG15c2VsZj8gVGhlIGZvbGxvd2luZyBzY3JpcHQgd29ya3MgZnJvbSBhIGZyZXNo IGluc3RhbGwgb2YgT3BlbkJTRCBjdXJyZW50IChzb29uIHRvIGJlIDYuNCkgYW5kIGJ1aWxkcyB0 aGUgJ3N0YXRpY193ZWJzaXRlX3RscycKPgo+IE5vdGUgdGhhdCB0aGUgImdyZWF0IFNvbG81IHJl bmFtaW5nIiBpcyBvbiB0aGUgaG9yaXpvbiAoc2VlCj4gaHR0cHM6Ly9naXRodWIuY29tL1NvbG81 L3NvbG81L3B1bGwvMjc0KSwgSSBoYXZlIGEgaGFyZCBkZWFkbGluZSB0byBtZXJnZQo+IHRoaXMg YW5kIGdldCBhbiAwLjQuMCBvdXQgYnkgdGhlIHdlZWtlbmQuIFNvIHRoZSBpbnN0cnVjdGlvbnMg aGVyZSB3aWxsCj4gY2hhbmdlLgo+Cj4gQ2hlZXJzLAo+Cj4gLW1hdG8KCkhpIEFsbAoKV2l0aCB0 aGUgcmVsZWFzZSBvZiBTb2xvNSAwLjQuMCwgSSBoYXZlIHVwZGF0ZWQgdGhlIE9wZW5CU0QgaW5z dHJ1Y3Rpb25zIGF0IFsxXS4KCkJ1dCBpdCBiYXNpY2FsbHkgYm9pbHMgZG93biB0byBmb2xsb3dp bmcgdGhlIGluc3RhbGxhdGlvbiBpbnN0cnVjdGlvbnMvdHV0b3JpYWxzIGF0IFsyXSB3aXRoIE9Q QU0gMiBpbnN0YWxsZWQuCgpBbHNvIHNlZSBTb2xvNSBTdXBwb3J0ZWQgVGFyZ2V0cyBhdCBbM10K CkNoZWVycwpBZGFtCgpwcyBIb3BlZnVsbHkgd2Ugd2lsbCBoYXZlIE9QQU0gMiBhbmQgT2NhbWwg NC4wNy4wIGFzIGEgcGFja2FnZSBmb3IgT3BlbkJTRC4KClsxXSBodHRwczovL2dpc3QuZ2l0aHVi dXNlcmNvbnRlbnQuY29tL2FkYW1zdGVlbi82YmRhZThkYzkzZDhmOTFmOWViNmNmMWRiYmJiZTRi NS9yYXcvYzk3MjFlMzBlNTgzYzZlOTFiMGFmMzhmNTgzZTBhODM5MGQ4MTMzYy9zZXR1cC5zaApb Ml0gaHR0cHM6Ly9taXJhZ2UuaW8vd2lraS9pbnN0YWxsClszXSBodHRwczovL2dpdGh1Yi5jb20v U29sbzUvc29sbzUvYmxvYi92MC40LjAvZG9jcy9idWlsZGluZy5tZCNzdXBwb3J0ZWQtdGFyZ2V0 cwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdl T1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3Jn Cmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1k ZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Tue Sep 25 10:08:23 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 25 Sep 2018 10:08:23 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4kGI-0003oZ-MJ; Tue, 25 Sep 2018 10:08:10 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4kGG-0003oU-VJ for mirageos-devel@lists.xenproject.org; Tue, 25 Sep 2018 10:08:08 +0000 X-Inumbo-ID: 0c437071-c0ab-11e8-a6a9-d7ebe60f679a Received: from mail.tyknet.dk (unknown [144.76.253.226]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 0c437071-c0ab-11e8-a6a9-d7ebe60f679a; Tue, 25 Sep 2018 10:09:12 +0000 (UTC) Received: from [0.0.0.0] (host-185-193-125-115.njalla.net [185.193.125.115]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.tyknet.dk (Postfix) with ESMTPSA id 6FD86C3E8C7 for ; Tue, 25 Sep 2018 10:08:04 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.10.3 mail.tyknet.dk 6FD86C3E8C7 Authentication-Results: mail.tyknet.dk; dkim=none To: mirageos-devel@lists.xenproject.org References: From: Joe Message-ID: <364cf693-cde3-9c45-b4cd-98f38a7c8541@celo.io> Date: Tue, 25 Sep 2018 12:08:00 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] [ANN] mirage 3.2.0 released 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-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" T24gMDkvMjQvMjAxOCAwOTo0OCBBTSwgQW5pbCBNYWRoYXZhcGVkZHkgd3JvdGU6Cj4gT24gMjQg U2VwIDIwMTgsIGF0IDA4OjQyLCBIYW5uZXMgTWVobmVydCA8aGFubmVzQG1laG5lcnQub3JnPiB3 cm90ZToKPj4KPj4gKiB3aGljaCBzaW5jZSBhIHdlZWsgc3dpdGNoZWQgdG8gb3BhbSAyLjAsIGFu ZCB0aHVzIHlvdSdsbCBvbmx5IHNlZQo+PiB1cGRhdGVzIGlmIHlvdSB1cGdyYWRlZCB5b3VyIG9w YW0gdG8gMi4wICh5b3UgY2FuIGRvIHNvIGJ5IGZvbGxvd2luZyB0aGUKPj4gaW5zdHJ1Y3Rpb25z IG9uIGh0dHBzOi8vb3BhbS5vY2FtbC5vcmcvYmxvZy9vcGFtLTItMC0wLyA8aHR0cHM6Ly9vcGFt Lm9jYW1sLm9yZy9ibG9nL29wYW0tMi0wLTAvPikKPj4KPiAKPiAKPiBBbmQgdGhpcyBpcyBhbiBp bXBvcnRhbnQgcG9pbnQuICBXZSBuZWVkIHRvIGRlY2lkZSB3aGVuIHRvIHN0b3AKPiBzdXBwb3J0 aW5nIG9wYW0xLCBzaW5jZSBNaXJhZ2UgaXMgb2YgY291cnNlIHJhdGhlciBkZXBlbmRlbnQgb24K PiB1cHRvZGF0ZSBwYWNrYWdlcyBmcm9tIHRoZSByZXBvc2l0b3J5LgogPgogPiBJJ2Qgc3VnZ2Vz dCBkb2luZyBpdCBzb29uZXIgcmF0aGVyIHRoYW4gbGF0ZXIsIHNpbmNlIHVwc3RyZWFtIG9wYW0K ID4gaGFzIGVzc2VudGlhbGx5IGZyb3plbiBhbnkgbm9uLXN0YWJpbGl0eSB1cGRhdGVzIHRvIHRo ZSAxLnggYnJhbmNoLgogPiBbLi5zbmlwLi5dCiA+IERvZXMgYW55b25lIGhhdmUgYSBjb21wZWxs aW5nIHJlYXNvbiB0byBrZWVwIHVzaW5nIG9wYW0xIGF0CiA+IHRoaXMgcG9pbnQ/CgpJIHRoaW5r IGl0IHdvdWxkIGJlIHZlcnkgbmljZSBpZiB3ZSB3YWl0ZWQgdW50aWwgdGhlcmUgaXMgYW4gYWN0 dWFsIApyZWxlYXNlIG9mIG9wYW0yLCBhbmQgcGVyaGFwcyBldmVuIGEgZmV3IHdlZWtzIGFmdGVy IHRoYXQgdG8gZ2l2ZSBpdCAKdGltZSB0byBzcHJlYWQgdG8gdGhlIHZhcmlvdXMgcGFja2FnZSBt YW5hZ2VyIGFuZCBkaXN0cmlidXRpb25zLgoKSSB0cmllZCB0byB3cml0ZSB1cCBteSBvdGhlciBh cmd1bWVudHMsIGJ1dCB0byBiZSBob25lc3QgSSBqdXN0IHNvdW5kZWQgCmxpa2UgYSBiaXR0ZXIg b2xkIGNvbnNlcnZhdGl2ZSwgc28gSSB3b24ndC4KSSB0aGluayBteSBmaXJzdCBvbmUgY2FuIHN0 YW5kIG9uIGl0cyBvd24gYW55d2F5LiA6LSkKCgpKb2UKCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJh Z2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qu b3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Tue Sep 25 12:08:59 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 25 Sep 2018 12:08:59 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4m96-0006Sk-Qa; Tue, 25 Sep 2018 12:08:52 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1g4m95-0006Sf-Ui for mirageos-devel@lists.xenproject.org; Tue, 25 Sep 2018 12:08:51 +0000 X-Inumbo-ID: e9aa0c78-c0bb-11e8-a6a9-d7ebe60f679a Received: from relay1-d.mail.gandi.net (unknown [217.70.183.193]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id e9aa0c78-c0bb-11e8-a6a9-d7ebe60f679a; Tue, 25 Sep 2018 12:09:55 +0000 (UTC) X-Originating-IP: 195.154.25.220 Received: from [10.220.242.172] (unknown [195.154.25.220]) (Authenticated sender: thomas@gazagnaire.org) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 2E85924000D; Tue, 25 Sep 2018 12:08:47 +0000 (UTC) Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Thomas Gazagnaire In-Reply-To: <364cf693-cde3-9c45-b4cd-98f38a7c8541@celo.io> Date: Tue, 25 Sep 2018 14:08:45 +0200 Message-Id: <54E81698-DCF3-47D8-8824-DF37F475E4E6@gazagnaire.org> References: <364cf693-cde3-9c45-b4cd-98f38a7c8541@celo.io> To: Joe X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] [ANN] mirage 3.2.0 released 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: , 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" PiBJIHRoaW5rIGl0IHdvdWxkIGJlIHZlcnkgbmljZSBpZiB3ZSB3YWl0ZWQgdW50aWwgdGhlcmUg aXMgYW4gYWN0dWFsIHJlbGVhc2Ugb2Ygb3BhbTIsIGFuZCBwZXJoYXBzIGV2ZW4gYSBmZXcgd2Vl a3MgYWZ0ZXIgdGhhdCB0byBnaXZlIGl0IHRpbWUgdG8gc3ByZWFkIHRvIHRoZSB2YXJpb3VzIHBh Y2thZ2UgbWFuYWdlciBhbmQgZGlzdHJpYnV0aW9ucy4KCllvdSBtZWFuIGxpa2UgdGhpcyBvbmU/ IGh0dHA6Ly9vcGFtLm9jYW1sLm9yZy9ibG9nL29wYW0tMi0wLTAvIDotKQoKQmVzdCwKVGhvbWFz Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9T LWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpo dHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2 ZWwK