From mirageos-devel-bounces@lists.xenproject.org Sat Aug 11 11:42:51 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sat, 11 Aug 2018 11:42:51 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1foSI5-0005E7-6q; Sat, 11 Aug 2018 11:42:41 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1foSI4-0005E0-8o for mirageos-devel@lists.xenproject.org; Sat, 11 Aug 2018 11:42:40 +0000 X-Inumbo-ID: 8170b922-9d5b-11e8-a8a5-bc764e045a96 Received: from mail.burgerdev.de (unknown [84.200.85.41]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 8170b922-9d5b-11e8-a8a5-bc764e045a96; Sat, 11 Aug 2018 13:41:38 +0200 (CEST) Received: from [192.168.178.37] (mail.burgerdev.de [84.200.85.41]) by mail.burgerdev.de (Postfix) with ESMTPSA id E25ABC201DE for ; Sat, 11 Aug 2018 11:42:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=burgerdev.de; s=warlock; t=1533987756; bh=PacpZqpNOUzXr2PDnPHKI2+tXLnqKX0ZocB6MOxzjw4=; h=To:From:Subject:Date; b=Ss+MdLIWsD19LqCl2tZ71DAhQ+mmKrf7iIqgY7EgBg6oR+I3/7MLlBEriS4/yv6xt cKYMIhJlvUSkBVB6rNJ//LDyoRVqEjwnIYjZSPZnJStMosIqSRPG6MeSWEHwiCcVdB wZDaWOFlaUiMCtpOQQSIiE00sYxjvBH7mfK6y7Yc= To: mirageos-devel@lists.xenproject.org From: Markus Rudy Openpgp: preference=signencrypt Autocrypt: addr=webmaster@burgerdev.de; prefer-encrypt=mutual; keydata= xsFNBFgp81kBEADG+aOAIYIpdudEQCX6hAs30MTI/KcXo3GQC3ezKo0zYK/96kHjcVZa0ro7 HEXI3K8NP2gZZe6Xy5RWEVveW5q1k43TlMcLmGOlJhdJxROIybB1Fc45MKD3gOBlrZnbywEv q4dYAZBdjEZHupD9OQ+ni2t9r76DeTElcBPR49T575r18s82YnOD2yCiwvNs27cvrAP4SFa9 FCvuG75Bw225QJ+KlPObhUYmRJ1pk/sF9otB6XV8AQxuAJ2DA8hbg1pG6LxFUYnvIlHDi7Cz FU9qDbJYcKVClOfMteLzFR/VNw17Qd/jq5KzT6Wk/QM8ksaRM2lMT39Du9R5D9sm3ZeBR2dX JXkbsoY/ydW8M5u6bNESieK5zYlXzj9/8b9BkeFVPa5YV+vQsGR7HYTHW8ZN39ivhpBhtZzV 7WIlI1sSS/hT8jKYHI5TC7KCVSdhrMEZXkfp93EGBl7AEPUFEVMxW7mt9uTyU+z2pWN0Zycc 6jSMg1EBuL7d8M3COp8wG1gRAkxQzZsY51IHIH98ew9tVSM00iwFP7ri5+Ra3NSkZLVIvxCl NDVEymeJklTSA+mJzJI3WjGqNNfASXge3E/Zz8CzDlN0pUQm35/ZFwDItegV/X6x0RpInZlz FUDsqR9zkhJM1v/JJ5/H0TdDW+GeBBz6W/gYvE9mw1eTuD4lgwARAQABzThNYXJrdXMgUnVk eSAob2ZmbGluZSBtYXN0ZXIga2V5KSA8bWFya3VzQHJ1ZHltZW50YWVyLmRlPsLBlwQTAQoA QQIbAwULCQgHAwUVCgkICwUWAgMBAAIeAQIXgAIZARYhBAqQL9ZvR0SAYmnBKklaTepVvKZ1 BQJZ/iC1BQkDtWDcAAoJEElaTepVvKZ1eQAP/3tDvRAYiar6KyWUaE+fq4OPRcKxAl9/NTQe 2JfAOlMrfsCSBSSux+NYiYfJW8fxgk+CxhLfxB9tG+5KP8Xj/7N9MhfULDXLsREADKPAoqeO DhKe50kuDZErC9CV+L16ZDWWFyk+fZFDmi8sKmeB1r13DfVLHJAwrQ5F+RRpkUSTvYryJwaF Seq4EE0b0ZBFo99KlfsVEfOx78NEBitbuXOmpHlG/LSsCCxq69XPFgWq4kRrh5d9ukAXlJXK jl1kxGI4xqxsM8+MUCOPHstiljZo7wDigX7Ou8eGTtMrzbJutSHcNU81AEnNocVQHwkytwsd GkUnDe1o5NsJAv3K4aLcwjoXTRl15PhiE6PglrUHmwJhGYe/6HUPb39kX1iXqAlAscZE1Ijf roOYbsZR+VfpJ67zqbLRo08GWT8fUIb183EVVVO+X95MLeqr5tyZmjjGNNfn2f/xG634+Qeq BvK9Z/L+sk90aWAahpIUKfGFqinI4Go9pDaH3Fht2nbj60linGg7nL2q2RgbS3q7MI7GKRUU TwTUbq/HINQ3BAi+31ln4am0nKWPiNe0QSPhfq3uSLm3SXD/vIDI6z8bo7/1TQrrRpUCJ8DR 3vVSPM4t25VZkJJ4g6vPqriVJgsMuXv1hOeqAPCnjIdax4x8gj1wtNqCra9/wM2RwOAwYffA zsBNBFmDkvcBCACw9Yfn5OT4roH0RRUZt4mc6rruRGxKU4qvOZhVnyecWXEhJlnLOmP8xTip wSHwPU7BFbh4LACWYWh9oJ6Rrcb8LypdVD8OlHBOxxSpLi+XaZlq1ghdHr0u92pfY3WujHqZ rTLrkAF+B6G0N7fPtWQWnQbkGNZ78x/Dynh54cA/xELSdJtbtJ0pf++UfEtb6X/Shx3vq/nG g4A3W3OWioCEYrvfD8cqdfGNQpeCtqIHmjRDylZl87c2YWpyLIl+4vuslNFZcpY7OfdGxpDm Oeme5rXbnAyY7X9HdTnLSclZfqDJpqiW0t5mZwC16+wqv7WLV3ELYEWyfXIQSMtvV+AXABEB AAHCwXwEGAEKACYWIQQKkC/Wb0dEgGJpwSpJWk3qVbymdQUCWYOS9wIbDAUJAO1OAAAKCRBJ Wk3qVbymdX+uEACvN1fc1auaGE6DTBfydKzCXXrmA9mpCZMN9HBLNbMuJxb3HKYFdAgptiVf vSAKYT8JvKgs/VfBmyNtHgUpnAZ56Dq1G0CykH+NcYt47D3iEcAFkZqnQkcE+BsYfU7m0Mse xlNGn1K0hSt1tpPtviR2kxDHz1EU3J/NWveuzU6Jb0NjMTM2YDlO7KVhWMSVJ518hz9jDBjx qQr3D2IvyhtEcjpJnYhq0L24xEslfVarXMUXGB44Wl0nNmjO0QR36HxtIMPh3kzuxvYUkzgN YMUlSw6VRnxVyiP9RucJCi+5SbPCN6GbJ7l8QK5oPyzBG7D+KdfXY1p+AZQdC9aV6SZUykk/ 6cRVJwfHP/5M+Gu+38sI84zEUpokPCid4DTL0PbHQHCOCK1BPGW/+48kYBkMtZzqGhFoz5oZ reoFHyyy05+GTJ89mnHO/Ew+Hpmw4GQcaCXpug20AFzQdK1zyJpY0Wmo1WVfMjrCJXHo4QOB bIP0Dvak/IUqZ+NKMKJre6MjLgG0LYQxQwogJRFcf/gs31FSzhtZd76e30P+KXria0lzfwnN TA6kOF3r37fvd5Dq7RIPgGe0Bt0MbiVFg7N2I3Q9VBmmWuA5aP0kMBOAg3bIk5LQbiDstxj4 ZKoSnDJD6PJoHrDbzXJkLLocEoUKhRxGmjfiMrcyg/5j3oyS/MLBfAQYAQoAJgIbDBYhBAqQ L9ZvR0SAYmnBKklaTepVvKZ1BQJZ/iEZBQkCW8GiAAoJEElaTepVvKZ1blUP/jXzeGAybclk F52UvPZzv6mtbGrLpaEyv2jL6d3+x0DvcQv/FFqwf8CzecevRHG5f2Ubucs4frWDTdh81YdC Kx/UJIs9KJFMBHvVHGzpAagi2v4yO7WsNFLFjLM3nEJv7YVR/aX4Yzy27PiQ7KGWEkLXSk6F WCVJMgQychf3P0J9JYzQYwwZNVSfJ6OYyyDZPAUudv93vQs4sCt0zuZ4hWYM59DF47wWnsAI 3tjSauKYRLqkqKcXJpZSdUI+oh4ZEGORbTn9WEudxdyCArYn51Ad68NUSOJHzm589OmNFEYK 3JoyJo/gWmJ9yBdxa1Mbs3fPWP7xNz6V63GAfGfMfx3B/3jutj58SCkbcYqaRPG1d4nIQpV/ 2f4nh66kj8RY8q3geJHAn3ASqyUMpg69CEseE9DJ/dxXzbRnI20+ArzhikY3Hlb4cczs1kso DuE65fw67o9qM23QXmCsmor8APVm74fmbSXFtoB7+GPQ98OMVSpuvl92G1F56pOWYslsWdLu L4vy7f+Gs1RelCJswEqdZSb86buUTOaV48wqRB3oLOhl+p5kEr0PGDu5eCxYMSov1Qw2EEXA sCnBiZHcV42qmVFzBdlKlYnDP8+ac1VnZKLbj6vlwoqMuOzP6W0rWtwUeT5Lya3DIMN8AFn0 BYQs8d100jA/bAUX4RhPJCLR Message-ID: <33d00e97-2466-bd6f-239b-ded23d589737@burgerdev.de> Date: Sat, 11 Aug 2018 13:42:57 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] invalid certificates on mirage-related domains 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" SGkgYWxsLAoKc29ycnkgaW4gYWR2YW5jZSBpZiB0aGlzIGhpdHMgdGhlIHdyb25nIGF1ZGllbmNl LgoKVGhlIGZvbGxvd2luZyBjZXJ0aWZpY2F0ZXMgYXJlIGN1cnJlbnRseSBpbnZhbGlkOgoKLSBt aXJhZ2UuaW86IGV4cGlyZWQgQXVnIDFzdAotIHRscy5vcGVubWlyYWdlLm9yZzogaXNzdWVkIGZv ciB0bHMubnFzYi5vcmcgKHdoaWNoIGlzIGRlZnVuY3QpCgpDaGVlcnMsIE1hcmt1cwoKX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwg bWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8v bGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Tue Aug 14 14:19:23 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 14 Aug 2018 14:19: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 1fpaAB-0001JH-CL; Tue, 14 Aug 2018 14:19:11 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fpaA9-0001Ik-PG for mirageos-devel@lists.xenproject.org; Tue, 14 Aug 2018 14:19:10 +0000 X-Inumbo-ID: da3976b7-9fcc-11e8-a8a5-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id da3976b7-9fcc-11e8-a8a5-bc764e045a96; Tue, 14 Aug 2018 16:18:03 +0200 (CEST) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id ec11eac7; Tue, 14 Aug 2018 15:19:06 +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=ia+kUMK7bKzfzNvMe6Oty6Gfvc4=; b= XWBlNaNywtXR7/fyB2pUh1L08dMzbHmVeKvVMy1KaotG3Zrgp47L53Ik6rI6Nfq0 /CdDTlfjaLeK99aHh7XSUkii6R7mLARPX0WihuLMrU90YK/aTCCYUt863FnClI17 gAjlHCnQzZYviQxoiJgQ2B+7E94fvtWVn1dCMxEpMiM= 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=vHprPIFErQ8/dMfykzkKIuA 7k+22nqDmQC/aEWrA0AXZHiPlKfn06929ulrdF9tSo87c+rWZ4Ls6KtGQDpaW1uW 5a8Ij0C82bOn+Jc+4znuVp8kPUZrScOdKy/vjMQbPILxIsLBWvuKHJ3xRtDYjq88 VHD2tA1xmKlkgnZ2cy9s= Received: by bark.recoil.org (OpenSMTPD) with ESMTPSA id b64f9957 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 14 Aug 2018 15:19:05 +0100 (BST) From: Anil Madhavapeddy Message-Id: <206D3296-7F1D-4CC5-9A55-6CD8808CB614@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Tue, 14 Aug 2018 15:19:04 +0100 In-Reply-To: <33d00e97-2466-bd6f-239b-ded23d589737@burgerdev.de> To: Markus Rudy References: <33d00e97-2466-bd6f-239b-ded23d589737@burgerdev.de> X-Mailer: Apple Mail (2.3445.9.1) Subject: [MirageOS-devel] self-hosting the dns (Re: invalid certificates on mirage-related domains) 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="===============2566193783740116756==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============2566193783740116756== Content-Type: multipart/alternative; boundary="Apple-Mail=_5FEC7BF8-CB82-4B26-AEB9-AB61775C0DC1" --Apple-Mail=_5FEC7BF8-CB82-4B26-AEB9-AB61775C0DC1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Dear Markus, Thanks for the headsup! I delayed a little with the quick fix this time = in order to deploy the new udns stack which supports Letsencrypt renewal. As a warning, this means switching our root name servers out, so there may be some downtime for DNS over the next few hours/days. In return, we will have a fully-selfhosted DNS/HTTPS mirage.io domain = using itself! The steps are: - Switching root name server for mirage.io to udns. = I have deployed a new host on packet.net running mirage-ns1.signpost.io = (using the other domain to avoid needing a glue record for now). It uses the "primary-git" = example from udns, and is pointing at https://github.com/mirage/ns.mirage.io = and uses Irmin to retrieve the zone file via Git. - Once this has propagated, I need to setup the tsig keys on that = nameserver in order to do automated LE updates. Hannes, do you have any = tips/guides on how to do this or an example in the repo? - When we have a new LE key for the website, I'm going to redeploy that = on a new host (since the current mirage.io is running = on an ancient Debian). It will initially run on Solo5 as well, but I'll add another Xen host = later since, as Mindy points out, it's an important litmus test to make sure that backend = works. - Once this settles down, I'll setup a Datakit-CI instance to = autorebuild the unikernels and deploy them on the hosts, and give SSH access to any Mirage developer that wants access to debug the infrastructure. cheers, Anil > On 11 Aug 2018, at 12:42, Markus Rudy wrote: >=20 > Hi all, >=20 > sorry in advance if this hits the wrong audience. >=20 > The following certificates are currently invalid: >=20 > - mirage.io: expired Aug 1st > - tls.openmirage.org: issued for tls.nqsb.org (which is defunct) >=20 > Cheers, Markus >=20 > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel --Apple-Mail=_5FEC7BF8-CB82-4B26-AEB9-AB61775C0DC1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii Dear = Markus,

Thanks for = the headsup!  I delayed a little with the quick fix this time in = order
to deploy the new udns stack which supports = Letsencrypt renewal.  As a
warning, this means = switching our root name servers out, so there may be
some downtime for DNS over the next few hours/days.  In = return, we will
have a fully-selfhosted DNS/HTTPS = mirage.io domain using = itself!

The = steps are:

- = Switching root name server for mirage.io to udns. I have deployed a new
  host on packet.net running mirage-ns1.signpost.io (using the other = domain
  to avoid needing a glue record for = now).  It uses the "primary-git" example
  = from udns, and is pointing at https://github.com/mirage/ns.mirage.io and
  uses Irmin to retrieve the zone file via = Git.

- Once = this has propagated, I need to setup the tsig keys on that = nameserver
  in order to do automated LE = updates.  Hannes, do you have any tips/guides
  on how to do this or an example in the repo?

- When we have a new LE = key for the website, I'm going to redeploy that on
  a new host (since the current mirage.io is running on an = ancient Debian).
  It will initially run on = Solo5 as well, but I'll add another Xen host later since, as = Mindy
  points out, it's an important litmus = test to make sure that backend works.

- Once this settles down, I'll setup a = Datakit-CI instance to autorebuild the
  = unikernels and deploy them on the hosts, and give SSH access to = any
  Mirage developer that wants access to = debug the infrastructure.

cheers,
Anil

On 11 = Aug 2018, at 12:42, Markus Rudy <webmaster@burgerdev.de> wrote:

Hi = all,

sorry in advance if this hits the = wrong audience.

The following certificates = are currently invalid:

- mirage.io: expired Aug 1st
- tls.openmirage.org: issued for tls.nqsb.org (which is = defunct)

Cheers, Markus

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/mirageos-devel

= --Apple-Mail=_5FEC7BF8-CB82-4B26-AEB9-AB61775C0DC1-- --===============2566193783740116756== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============2566193783740116756==-- From mirageos-devel-bounces@lists.xenproject.org Tue Aug 14 20:10:14 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 14 Aug 2018 20:10:14 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fpfdh-0002UL-2X; Tue, 14 Aug 2018 20:10:01 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fpfdg-0002UG-0b for mirageos-devel@lists.xenproject.org; Tue, 14 Aug 2018 20:10:00 +0000 X-Inumbo-ID: dce468d3-9ffd-11e8-a8a5-bc764e045a96 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id dce468d3-9ffd-11e8-a8a5-bc764e045a96; Tue, 14 Aug 2018 22:08:52 +0200 (CEST) Received: from [192.168.42.80] (i5E86C9B2.versanet.de [94.134.201.178]) (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 301DE951 for ; Tue, 14 Aug 2018 22:09:56 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: <33d00e97-2466-bd6f-239b-ded23d589737@burgerdev.de> <206D3296-7F1D-4CC5-9A55-6CD8808CB614@recoil.org> From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: <2262c3ac-12bd-38b8-071e-800a381e6cb8@mehnert.org> Date: Tue, 14 Aug 2018 22:09:33 +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: <206D3296-7F1D-4CC5-9A55-6CD8808CB614@recoil.org> Content-Language: en-US Subject: Re: [MirageOS-devel] self-hosting the dns (Re: invalid certificates on mirage-related domains) 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" SGkgQW5pbCwKCk9uIDE0LzA4LzIwMTggMTY6MTksIEFuaWwgTWFkaGF2YXBlZGR5IHdyb3RlOgo+ IFRoYW5rcyBmb3IgdGhlIGhlYWRzdXAhICBJIGRlbGF5ZWQgYSBsaXR0bGUgd2l0aCB0aGUgcXVp Y2sgZml4IHRoaXMgdGltZSBpbiBvcmRlcgo+IHRvIGRlcGxveSB0aGUgbmV3IHVkbnMgc3RhY2sg d2hpY2ggc3VwcG9ydHMgTGV0c2VuY3J5cHQgcmVuZXdhbC4gIEFzIGEKPiB3YXJuaW5nLCB0aGlz IG1lYW5zIHN3aXRjaGluZyBvdXIgcm9vdCBuYW1lIHNlcnZlcnMgb3V0LCBzbyB0aGVyZSBtYXkg YmUKPiBzb21lIGRvd250aW1lIGZvciBETlMgb3ZlciB0aGUgbmV4dCBmZXcgaG91cnMvZGF5cy4g IEluIHJldHVybiwgd2Ugd2lsbAo+IGhhdmUgYSBmdWxseS1zZWxmaG9zdGVkIEROUy9IVFRQUyBt aXJhZ2UuaW8gPGh0dHA6Ly9taXJhZ2UuaW8vPiBkb21haW4gdXNpbmcgaXRzZWxmIQo+IAo+IFRo ZSBzdGVwcyBhcmU6Cj4gCj4gLSBTd2l0Y2hpbmcgcm9vdCBuYW1lIHNlcnZlciBmb3IgbWlyYWdl LmlvIDxodHRwOi8vbWlyYWdlLmlvLz4gdG8gdWRucy4gSSBoYXZlIGRlcGxveWVkIGEgbmV3Cj4g ICBob3N0IG9uIHBhY2tldC5uZXQgPGh0dHA6Ly9wYWNrZXQubmV0Lz4gcnVubmluZyBtaXJhZ2Ut bnMxLnNpZ25wb3N0LmlvIDxodHRwOi8vbWlyYWdlLW5zMS5zaWducG9zdC5pby8+ICh1c2luZyB0 aGUgb3RoZXIgZG9tYWluCj4gICB0byBhdm9pZCBuZWVkaW5nIGEgZ2x1ZSByZWNvcmQgZm9yIG5v dykuICBJdCB1c2VzIHRoZSAicHJpbWFyeS1naXQiIGV4YW1wbGUKPiAgIGZyb20gdWRucywgYW5k IGlzIHBvaW50aW5nIGF0IGh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbnMubWlyYWdlLmlvIDxo dHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL25zLm1pcmFnZS5pbz4gYW5kCj4gICB1c2VzIElybWlu IHRvIHJldHJpZXZlIHRoZSB6b25lIGZpbGUgdmlhIEdpdC4KClxvLwoKPiAtIE9uY2UgdGhpcyBo YXMgcHJvcGFnYXRlZCwgSSBuZWVkIHRvIHNldHVwIHRoZSB0c2lnIGtleXMgb24gdGhhdCBuYW1l c2VydmVyCj4gICBpbiBvcmRlciB0byBkbyBhdXRvbWF0ZWQgTEUgdXBkYXRlcy4gIEhhbm5lcywg ZG8geW91IGhhdmUgYW55IHRpcHMvZ3VpZGVzCj4gICBvbiBob3cgdG8gZG8gdGhpcyBvciBhbiBl eGFtcGxlIGluIHRoZSByZXBvPwoKVG8gZ2VuZXJhdGUgVFNJRy1rZXlzLCBJIHVzZSBkbnNzZWMt a2V5Z2VuIC1hIEhNQUMtU0hBMjU2IC1uIGVudGl0eSAtYgoyNTYgYmFyZi4xMC4wLjQyLjIuX3Ry YW5zZmVyLm1pcmFnZQoKRm9yIExFIGludGVncmF0aW9uLCB5b3UgY2FuIHVzZSBlaXRoZXIgYmlu L29hY21lbCAoZnJvbQpodHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9vY2FtbC1sZXRzZW5jcnlw dC90cmVlL25zdXBkYXRlKSBvciB0aGUKdW5pa2VybmVsIGluIHRoZSBgbWlyYWdlYCByZXBvc2l0 b3J5LCB3aGljaCBhY3RzIGFzIGEgc2Vjb25kYXJ5LCBhd2FpdHMKbm90aWZ5L3pvbmUgdHJhbnNm ZXIgd2l0aCBzaWduaW5nIHJlcXVlc3RzLCBhbmQgdGhlbiBjb21tdW5pY2F0ZXMgd2l0aApMRSB0 byBwcm92aXNpb24gdGhlIENTUiB0byBwdXQgdGhlIGNlcnQgYmFjayBpbnRvIEROUyAtLSBzZWUK aHR0cHM6Ly9naXRodWIuY29tL21pcmxlZnQvdGxzLWRlbW8tc2VydmVyL2NvbW1pdC81NjVmZGJl OTcyZTBjOTJjNDkyOTRjZjIxMjBiYmZiYzkwMjFiYmE0CmZvciBob3cgdG8gdXNlIHRoaXMgKG9y IGFsdGVybmF0aXZlbHkgdWRucy9taXJhZ2UvZXhhbXBsZXMvY2VydGlmaWNhdGUpLgogSSdtIGlu IHRoZSBwcm9jZXNzIG9mIHdyaXRpbmcgZG9jdW1lbnRhdGlvbiBhYm91dCB0aGlzIChidXQgZ290 CmRpc3RyYWN0ZWQgYnkgb3RoZXIgdGhpbmdzKS4gIFBsZWFzZSBkb24ndCBoZXNpdGF0ZSB0byBh c2sgZnVydGhlcgpxdWVzdGlvbnMuCgoKaGFubmVzCgpfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdl T1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9y Zy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Thu Aug 16 18:09:52 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 16 Aug 2018 18:09:52 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fqMiK-0007Dc-K2; Thu, 16 Aug 2018 18:09: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 1fqMiJ-0007DX-CI for mirageos-devel@lists.xenproject.org; Thu, 16 Aug 2018 18:09:39 +0000 X-Inumbo-ID: 9b9ce291-a17f-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 9b9ce291-a17f-11e8-a6a9-d7ebe60f679a; Thu, 16 Aug 2018 18:10:08 +0000 (UTC) Received: from [192.168.42.80] (i5E86C648.versanet.de [94.134.198.72]) (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 CA246133B for ; Thu, 16 Aug 2018 20:09:32 +0200 (CEST) From: Hannes Mehnert To: "mirageos-devel@lists.xenproject.org" Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Thu, 16 Aug 2018 20:09:06 +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] next retreat October 3rd - 10th 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" RGVhciBoYWNrZXJzLAoKSW4gNyB3ZWVrcyB0aGUgbmV4dCByZXRyZWF0ICh0aGUgNnRoIHNvIGZh ciEhKSB3aWxsIHRha2UgcGxhY2UgKE9jdG9iZXIKM3JkIC0gMTB0aCksIGFnYWluIGluIE1hcnJh a2VzaCBhdCB0aGUgUXVlZW4gb2YgdGhlIE1lZGluYS4gIFRoZSByZXRyZWF0CndlYnNpdGUgaXMg YXQgaHR0cDovL3JldHJlYXQubWlyYWdlLmlvLCBwbGVhc2UgcmVnaXN0ZXIgc29vbiAoYnkgc2Vu ZGluZwphIG1haWwgdG8gbWUpLiAgVGhlcmUncyBzdGlsbCBwbGVudHkgb2YgYmVkcyBhdmFpbGFi bGUsIGRvbid0IGhlc2l0YXRlCnRvIGludml0ZSB5b3VyIGZyaWVuZHMuICBQbGVhc2UgcmVnaXN0 ZXIgKHZpYSBtYWlsKSBiZWZvcmUgdGhlIGVuZCBvZgpBdWd1c3QhICBXZSdyZSBhbHNvIGxvb2tp bmcgZm9yIHNwb25zb3JzOiBpZiB5b3Ugd2FudCB0byBzcG9uc29yIHRoZQphdHRlbmRhbmNlIGZl ZSBmb3Igc29tZW9uZSBlbHNlLCBwbGVhc2UgbGV0IG1lIGtub3cuCgpUaGUgdmVudWUgaW4gTWFy cmFrZXNoLCBhcyBpbiBlYXJsaWVyIHJldHJlYXRzLCBpcyB0aGUgUXVlZW4gb2YgdGhlCk1lZGlu YSAoaHR0cDovL3F1ZWVub2Z0aGVtZWRpbmEuY29tL2VuL2luZGV4Lmh0bWwpLCBsb2NhdGVkIGlu IHRoZQptaWRkbGUgb2YgdGhlIE1lZGluYS4gIFdlIGhvcGUgdG8gZmlsbCB0aGF0IGNvbXBsZXRl bHkgYWdhaW4gKHNvIHdlCmRvbid0IGhhdmUgdG8gbmVnb3RpYXRlIHdpdGggb3VyIGd1ZXN0cyku CgpBcyB0aGUgbGFzdCB0aW1lcywgdGhlcmUncyBhIHNtYWxsIGFtb3VudCAoYm90aCBpbiBiYW5k d2lkdGgsIGFuZApzb21ldGltZXMgb25seSB3aXRoIGh1Z2UgZGVsYXlzKSBvZiBJbnRlcm5ldCBh dmFpbGFibGUgd2hpY2ggd2UnbGwKc2hhcmUsIGJ1dCBwbGVhc2UgZG93bmxvYWQgaHVnZSBvcGVy YXRpbmcgc3lzdGVtIGltYWdlcywgb3Igd2hhdGV2ZXIgeW91Cm5lZWQsIGJlZm9yZSBnb2luZyB0 byBNYXJyYWtlc2guICBJJ2xsIHByZXBhcmUgYSByb3V0ZXIgKGJhc2VkIG9uIGFuCkFQVSkgd2l0 aCBhIE1pcmFnZU9TLWJhc2VkIERIQ1Agc2VydmVyLCBjb25maWd1cmFibGUgRE5TIHJlc29sdmVy LCBhbmQKYW4gb3BhbSBtaXJyb3IgdG8gcmVkdWNlIHRoZSByZXF1aXJlZCBiYW5kd2lkdGguCgoK aGFwcHkgaGFja2luZyBhbmQgbG9va2luZyBmb3J3YXJkIHRvIHNlZSB5b3Ugc29vbiBpbiBwZXJz b24sCgpoYW5uZXMKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5w cm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8v bWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Thu Aug 23 13:48:26 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 23 Aug 2018 13:48:26 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fspyA-0007CM-IH; Thu, 23 Aug 2018 13:48:14 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fspy8-0007CE-OY for mirageos-devel@lists.xenproject.org; Thu, 23 Aug 2018 13:48:12 +0000 X-Inumbo-ID: fd5c5b62-a6da-11e8-a8a5-bc764e045a96 Received: from nettle.ulrar.net (unknown [2a00:5884:8220::1]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id fd5c5b62-a6da-11e8-a8a5-bc764e045a96; Thu, 23 Aug 2018 15:46:53 +0200 (CEST) Received: from nettle.ulrar.net (localhost [127.0.0.1]) by nettle.ulrar.net (OpenSMTPD) with ESMTP id c364a5c3 for ; Thu, 23 Aug 2018 13:51:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=ulrar.net; h=date:from:to :subject:message-id:mime-version:content-type; s=dkim; bh=zjmRLW zWhRzCMFCktqXOeaD2Gbw=; b=UnhZ7Cr4AUC6L7KiZpgLN6KvmdqTUj625MMQEY KSAx1yNGNXLDyThdA1oMEcGcBDgDs4c2AynYeSCaFs5VT53c4+fv8nFbYKKR4cp7 S+UrrYqZ7Wwn9389dftD8FpmgRY/OYoeWdzQcLhfMDo/cTFIV5yWXzU6LKRC7ALe RIkxk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=ulrar.net; h=date:from:to :subject:message-id:mime-version:content-type; q=dns; s=dkim; b= cneGMJ31ZRG1NflupZ0YBcl/l1gFtLr2cqUXMegjCn6w9RvLh56HOefRHs7+Gjc1 mF0QtbJdCcCyG4CuBqx+5ztXZP7bkTheJLZ7ieGzMMyh62BB9DlqvXeSGqrfMUIE mjcUMRIEouNCrGVqm5+QzioAZvE1WV/Ch0pm6GiyALI= Received: from ciara.ulrar.net (ciara.ulrar.net [95.130.12.246]) by nettle.ulrar.net (OpenSMTPD) with ESMTPSA id 7e032f54 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Thu, 23 Aug 2018 13:51:05 +0000 (UTC) Date: Thu, 23 Aug 2018 14:48:09 +0100 From: lemonnierk@ulrar.net To: mirageos-devel@lists.xenproject.org Message-ID: <20180823134809.GC28145@ciara.ulrar.net> MIME-Version: 1.0 X-PGP-Key: https://datas.ulrar.net/lemonnierk.asc X-Clacks-Overhead: GNU Terry Pratchett User-Agent: Mutt/1.10.1 (2018-07-13) Subject: [MirageOS-devel] ocaml equivalent of php's openssl_verify function 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="===============0871967098157398486==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============0871967098157398486== Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="azLHFNyN32YCQGCU" Content-Disposition: inline --azLHFNyN32YCQGCU Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hi, Not directly related to Mirage, but I was told on SO that I should ask here (https://stackoverflow.com/questions/51986848/ocaml-equivalent-of-phps= -openssl-verify-function) I'm trying to make an ocaml version of https://github.com/Yubico/php-u2flib-server/blob/master/src/u2flib_server/U= 2F.php but it seems like I don't understand all of it, I'm trying to finish the doRegister function. I can successfully decode all the infos, and I end up with a valid pem certificate, what looks like a proper signature and the data to check. I'm looking for the ocaml equivalent of php's openssl_verify (line 231 of the php file), but looking at the doc I'm not sure of what it does exactly. As specified on SO, I am using MirageOS, so if something like this exists already in one of mirage's library, it'd be great. --=20 PGP Fingerprint : 0x624E42C734DAC346 --azLHFNyN32YCQGCU Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEi6iyjWhej/lMkbwteXazCKNH300FAlt+uw4ACgkQeXazCKNH 3013gwf/YuprRoAR/kwAmTbr6/iQbQc0jCyP6qMtCDfeKrQG5/QKQ8+qV1ZdqGhf OUP8Ka3zQOgQJ0KUQLVglfL41rV1zeP1tHnDAt+0lTtSjYXMEDh7hLcb6bhJMcqU zeAMrdXGbP8kRrQGVb6TtZJfzMAZk8uEOXNhvhWYRSBv3O5WCAYW1xDa3hHQ/5kU zAT8Po9Usg4Ldxyxcmee3/ycIkhG8WnjQN03anL+gKsj8KhDZgHfYiYPYX6/gCbE vQ+tGVnH9E8S99TaqNlvGRaQ7PWMPK2RKG/Tz20nA146l+vY+s9v3F3khbOHjuLa wx7UqZdYHjpsw5acmcFSfrRKxvdsKA== =EXsT -----END PGP SIGNATURE----- --azLHFNyN32YCQGCU-- --===============0871967098157398486== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============0871967098157398486==-- From mirageos-devel-bounces@lists.xenproject.org Thu Aug 23 23:52:40 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 23 Aug 2018 23:52:40 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fszOx-0005Ll-HB; Thu, 23 Aug 2018 23:52:31 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fszOv-0005Lg-GS for mirageos-devel@lists.xenproject.org; Thu, 23 Aug 2018 23:52:29 +0000 X-Inumbo-ID: 66e1900e-a72f-11e8-a8a5-bc764e045a96 Received: from mail.tyknet.dk (unknown [144.76.253.226]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 66e1900e-a72f-11e8-a8a5-bc764e045a96; Fri, 24 Aug 2018 01:51:07 +0200 (CEST) Received: from [10.137.3.22] (tor-exit1-readme.dfri.se [171.25.193.77]) (using TLSv1.2 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.tyknet.dk (Postfix) with ESMTPSA id 5FD7FC2F130 for ; Thu, 23 Aug 2018 23:52:24 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.10.3 mail.tyknet.dk 5FD7FC2F130 Authentication-Results: mail.tyknet.dk; dkim=none To: mirageos-devel@lists.xenproject.org References: <20180823134809.GC28145@ciara.ulrar.net> From: Joe Message-ID: <0a41a6bd-d1c7-ebae-1b93-2ac1108e438d@celo.io> Date: Fri, 24 Aug 2018 01:52:20 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: <20180823134809.GC28145@ciara.ulrar.net> Subject: Re: [MirageOS-devel] ocaml equivalent of php's openssl_verify function 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" T24gMDgvMjMvMjAxOCAwMzo0OCBQTSwgbGVtb25uaWVya0B1bHJhci5uZXQgd3JvdGU6Cj4gSSBj YW4gc3VjY2Vzc2Z1bGx5IGRlY29kZSBhbGwgdGhlIGluZm9zLCBhbmQgSSBlbmQgdXAgd2l0aCBh IHZhbGlkIHBlbQo+IGNlcnRpZmljYXRlLCB3aGF0IGxvb2tzIGxpa2UgYSBwcm9wZXIgc2lnbmF0 dXJlIGFuZCB0aGUgZGF0YSB0byBjaGVjay4KPiBJJ20gbG9va2luZyBmb3IgdGhlIG9jYW1sIGVx dWl2YWxlbnQgb2YgcGhwJ3Mgb3BlbnNzbF92ZXJpZnkgKGxpbmUgMjMxCj4gb2YgdGhlIHBocCBm aWxlKSwgYnV0IGxvb2tpbmcgYXQgdGhlIGRvYyBJJ20gbm90IHN1cmUgb2Ygd2hhdCBpdCBkb2Vz Cj4gZXhhY3RseS4KPiBBcyBzcGVjaWZpZWQgb24gU08sIEkgYW0gdXNpbmcgTWlyYWdlT1MsIHNv IGlmIHNvbWV0aGluZyBsaWtlIHRoaXMKPiBleGlzdHMgYWxyZWFkeSBpbiBvbmUgb2YgbWlyYWdl J3MgbGlicmFyeSwgaXQnZCBiZSBncmVhdC4KClRMO0RSOiBUaGlzIGlzIG5vbi10cml2aWFsLiBJ ZiB5b3UncmUgZG9pbmcgdGhpcyBvbiBhIHVuaXgtbGlrZSAKcGxhdGZvcm1zIHlvdSBtaWdodCBo YXZlIG1vcmUgbHVjayB1c2luZyBhIGxpYnJhcnkgdGhhdCB3cmFwcyBvcGVuc3NsIG9yIApzaW1p bGFyLgoKVGhlIHBvcnRhYmxlIG1pcmFnZSB3YXkgKEFGQUlLKToKCi0gb3BlbnNzbF92ZXJpZnko KSBzZWVtcyB0byB0YWtlIGEgUEVNIGNlcnRpZmljYXRlLCBkYXRhLCBhbmQgdmVyaWZ5IAp0aGF0 IHNvbWUgc2lnbmF0dXJlIHdhcyBwZXJmb3JtZWQgd2l0aCB0aGUgUEVNIGNlcnQuCgotIFRoZXJl IGFyZSBzb21lIGV4YW1wbGVzIGhlcmU6CiAgIGh0dHA6Ly9waHAubmV0L29wZW5zc2xfdmVyaWZ5 CgpJIHRoaW5rIHlvdSB3b3VsZCBuZWVkIHNvbWV0aGluZyBhbG9uZyB0aGUgbGluZXMgb2Y6Cgox KSBpbnN0YWxsIHRoZSB4NTA5IG9wYW0gcGFja2FnZQoKMikgdXNlIFg1MDkuRW5jb2RpbmcuUGVt LkNlcnRpZmljYXRlLm9mX3BlbV9jc3RydWN0MSB0byBleHRyYWN0IGEgWDUwOS50CgozKSB1c2Ug WDUwOS5wdWJsaWNfa2V5ICh0aGUgZnVuY3Rpb24pIHRvIGV4dHJhY3QgdGhlIFg1MDkucHVibGlj X2tleSAKKHRoZSB0eXBlKSwgcHJheSB0byBnb2QgaXQncyBhIGBSU0Ega2V5IChpZiBub3QsIHlv dSdyZSBpbiBmb3IgYSBsb3Qgb2YgCmZ1biB3cml0aW5nIGEgbmV3IEFzbi5jb2RlYykgZnJvbSB3 aGljaCB5b3UgY2FuIHBhdHRlcm4tbWF0Y2ggdGhlIApOb2NyeXB0by5Sc2EucHViIGtleS4KCjQp IE5vdyB5b3UgaGF2ZSB0byBmaWd1cmUgb3V0IHRoZSBlbmNvZGluZyBvZiB0aGUgc2lnbmF0dXJl LiBGcm9tIHRoZQogICAgY29tbWVudHMgc2VjdGlvbiBvbiBwaHAubmV0IHRoaXMgc291bmRzIGxp a2UgaXQncyBhIFBLQ1MxIHNpZ25hdHVyZSwKICAgIGlmIG5vdCB0aGVuIHlvdSdsbCBuZWVkIHRv IGRlY29kZSBpdCwgc29tZWhvdy4KCjUpIFVuZm9ydHVuYXRlbHksIHdoaWxlIHRoZSBvY2FtbC1u b2NyeXB0byBsaWJyYXJ5IGhhcyBydWRpbWVudGFyeQogICAgc3VwcG9ydCBmb3IgUEtDUzEsIGl0 J3Mgbm90IHN1cGVyIGVhc3kgdG8gdXNlIGluIGl0cyBjdXJyZW50IGZvcm0sCiAgICBidXQgeW91 IGNhbiBwcm9iYWJseSB3aWdnbGUgaXQgaWYgeW91IGhhcmQtY29kZSBzb21lIEFTTi4xCiAgICBj b25zdGFudHMsIGlmIHlvdSBzZWFyY2ggZm9yICJQS0NTMSIgaW4gdGhlIGlzc3Vlcy9wdWxsIHJl cXVlc3RzCiAgICB5b3UnbGwgbGlrZWx5IGNvbWUgdXBvbiBzb21lIHJlbGV2YW50IGRpc2N1c3Np b24uCgogICBBbHRlcm5hdGl2ZWx5IHlvdSBjYW4gd2FpdCBmb3IgYSBuZXcgcmVsZWFzZSwgc2lu Y2UgdGhlIHVwc3RyZWFtCiAgIGludHJvZHVjZWQgYSBuaWNlciBBUEkgZm9yIFBLQ1MxIHN0dWZm IGluIDIwMTc7CiAgIG9yIHlvdSBjb3VsZCB1c2UgdGhlIHVwc3RyZWFtIGRpcmVjdGx5LCBpZiB5 b3UgY2FuIGdldCBpdCB0byBidWlsZAogICAoSSBkaWRuJ3QgbWFuYWdlIGxhc3QgSSB0cmllZCBh IGZldyB3ZWVrcyBhZ28pLgoKICAgU29tZSBraW5kIHNwaXJpdHMgaGF2ZSBhIGNvbGxlY3Rpb24g b2YgY29tbWl0cyB0aGF0IHdvcmtzIHRvd2FyZHMKICAgbWFraW5nIHRoYXQgZWFzaWVyIGF0ICdo dHRwczovL2dpdGh1Yi5jb20vaGFubmVzbS9vY2FtbC0KICAgbm9jcnlwdG8uZ2l0I3NhZmVseSc7 IHRoYXQgYnJhbmNoIGNvbXBpbGVzIGZvciBtZSBpZiBJIHR1cm4gb2ZmIHRoZQogICBBQ0NFTEVS QVRFIGZsYWcuCgo2KSBJJ20gbm90IHN1cmUgaG93IHRvIG1ha2UgYG9wYW1gIGJ1aWxkIGBub2Ny eXB0b2Agd2l0aG91dCB0aGUKICAgIEFDQ0VMRVJBVEUgZmxhZywgYnV0IHBlcmhhcHMgc29tZW9u ZSBlbHNlIG9uIHRoaXMgbGlzdCBrbm93cyBob3cgdG8KICAgIGRvIHRoYXQuCgpIb3BlIHRoYXQg bWFrZXMgc2Vuc2UuCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVu cHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZv L21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Fri Aug 24 08:04:57 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 24 Aug 2018 08:04: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 1ft75F-00027v-7Y; Fri, 24 Aug 2018 08:04:41 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1ft75D-00027n-Lq for mirageos-devel@lists.xenproject.org; Fri, 24 Aug 2018 08:04:40 +0000 X-Inumbo-ID: 27653a30-a774-11e8-a8a5-bc764e045a96 Received: from nettle.ulrar.net (unknown [2a00:5884:8220::1]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 27653a30-a774-11e8-a8a5-bc764e045a96; Fri, 24 Aug 2018 10:03:16 +0200 (CEST) Received: from nettle.ulrar.net (localhost [127.0.0.1]) by nettle.ulrar.net (OpenSMTPD) with ESMTP id 5d6712b4 for ; Fri, 24 Aug 2018 08:07:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=ulrar.net; h=date:from:to :subject:message-id:references:mime-version:content-type :in-reply-to; s=dkim; bh=ltu13wmLy/yLEpM4VYielNeeEWs=; b=hwFxcil Ny1q3kv09gj2hA0RhNklhWaSYpGW2k94lXjDh6HCEZwIvFGJ+J/aatOptIHe6DTV FMIVp3BZ+JvG1XwrHYEidIOR8lDSRXGKJK+wNo1vycYtXNV7qWT9+9EVFtq+Jmli Zo7rT4jkBNP6jBc32/87nautQu1oPHZDv82M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=ulrar.net; h=date:from:to :subject:message-id:references:mime-version:content-type :in-reply-to; q=dns; s=dkim; b=Ytbkgw2r1Hu7cikjlWXGLjvLNOY0AJV3K rbSzBIjWLF0csjvUcPO5Oy6N+GZety0lE2pbJ5y+XdXCsEvdmdBHkjS4xwvjrtiu o8ui3nAapDverUMsH5z1hN5O5VFqLI0gWIw3VTxDUAQJoN+IhttJRFS6WthbCs5d oRPnvEvsOA= Received: from ciara.ulrar.net (ciara.ulrar.net [95.130.12.246]) by nettle.ulrar.net (OpenSMTPD) with ESMTPSA id 40e2020c (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Fri, 24 Aug 2018 08:07:31 +0000 (UTC) Date: Fri, 24 Aug 2018 09:04:33 +0100 From: lemonnierk@ulrar.net To: mirageos-devel@lists.xenproject.org Message-ID: <20180824080433.GD28145@ciara.ulrar.net> References: <20180823134809.GC28145@ciara.ulrar.net> <0a41a6bd-d1c7-ebae-1b93-2ac1108e438d@celo.io> MIME-Version: 1.0 In-Reply-To: <0a41a6bd-d1c7-ebae-1b93-2ac1108e438d@celo.io> X-PGP-Key: https://datas.ulrar.net/lemonnierk.asc X-Clacks-Overhead: GNU Terry Pratchett User-Agent: Mutt/1.10.1 (2018-07-13) Subject: Re: [MirageOS-devel] ocaml equivalent of php's openssl_verify function 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="===============3233910024697945724==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============3233910024697945724== Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="QTprm0S8XgL7H0Dt" Content-Disposition: inline --QTprm0S8XgL7H0Dt Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Aug 24, 2018 at 01:52:20AM +0200, Joe wrote: > TL;DR: This is non-trivial. If you're doing this on a unix-like=20 > platforms you might have more luck using a library that wraps openssl or= =20 > similar. Unless I can use ctypes to get openssl working on mirage, that won't really help me unfortunatly. I tried playing a bit with ctypes / cstubs to get the official C library for U2F on mirage, but it doesn't seem to compile anymore when I change the target from unix to virtio, maybe trying to pack openssl is a bit much. >=20 > The portable mirage way (AFAIK): >=20 > - openssl_verify() seems to take a PEM certificate, data, and verify=20 > that some signature was performed with the PEM cert. >=20 > - There are some examples here: > http://php.net/openssl_verify >=20 > I think you would need something along the lines of: >=20 > 1) install the x509 opam package >=20 > 2) use X509.Encoding.Pem.Certificate.of_pem_cstruct1 to extract a X509.t >=20 I was afraid of that, I did try it already but it won't parse. Seems like the lib doesn't support some extensions I'm afraid the certificate might have, or if that's not it I guess the pubkey isn't RSA. I'll dig this way then, thanks > 3) use X509.public_key (the function) to extract the X509.public_key=20 > (the type), pray to god it's a `RSA key (if not, you're in for a lot of= =20 > fun writing a new Asn.codec) from which you can pattern-match the=20 > Nocrypto.Rsa.pub key. >=20 > 4) Now you have to figure out the encoding of the signature. From the > comments section on php.net this sounds like it's a PKCS1 signature, > if not then you'll need to decode it, somehow. >=20 > 5) Unfortunately, while the ocaml-nocrypto library has rudimentary > support for PKCS1, it's not super easy to use in its current form, > but you can probably wiggle it if you hard-code some ASN.1 > constants, if you search for "PKCS1" in the issues/pull requests > you'll likely come upon some relevant discussion. >=20 > Alternatively you can wait for a new release, since the upstream > introduced a nicer API for PKCS1 stuff in 2017; > or you could use the upstream directly, if you can get it to build > (I didn't manage last I tried a few weeks ago). >=20 > Some kind spirits have a collection of commits that works towards > making that easier at 'https://github.com/hannesm/ocaml- > nocrypto.git#safely'; that branch compiles for me if I turn off the > ACCELERATE flag. >=20 > 6) I'm not sure how to make `opam` build `nocrypto` without the > ACCELERATE flag, but perhaps someone else on this list knows how to > do that. >=20 > Hope that makes sense. >=20 I think I mostly get it, but it seems like it won't be easy. I doubt I have any chance of making that work, I'm not the one to implement any kind of crypto. If ocaml-X509 can't parse the pem, I guess the auth systems will be done by someone else in PHP. Thanks ! --=20 PGP Fingerprint : 0x624E42C734DAC346 --QTprm0S8XgL7H0Dt Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEi6iyjWhej/lMkbwteXazCKNH300FAlt/vAQACgkQeXazCKNH 303zgAf+O/hEEDj7x1GduopN/aRiVzZS2xp1WXBWpj2jJLFHI0Hvl7KQLeYDHeWk 7rldIdL0SA9FLkOdtaZBul0S6InfmRiQBKOfcAs+bE4ZB7I8qQ4guZ7j+5mQTb+X mQRxpEja3e1wqh4AtLbQ5w1hpFZRPO5QdeWakoFRv+CxgbH+LN1nTQWMWArxa5qz ZuLrduRDfLt0Zp55J6Jpa1YcLgBLEFEh8NwNK521v5zSR/k/hQXPID6VoFEpQjqf txYcB3sX1ktbTjemoE0hzmSVChLK9Tga9gu1lV+AhI8Ytxv9ef4Azq1kAfZcX703 NlgygjkVKMm3j+AWDLudPLXLuWcltw== =AUm3 -----END PGP SIGNATURE----- --QTprm0S8XgL7H0Dt-- --===============3233910024697945724== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============3233910024697945724==-- From mirageos-devel-bounces@lists.xenproject.org Fri Aug 24 14:57:35 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 24 Aug 2018 14:57: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 1ftDWe-0003MN-Kt; Fri, 24 Aug 2018 14:57:24 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1ftDWd-0003MI-A5 for mirageos-devel@lists.xenproject.org; Fri, 24 Aug 2018 14:57:23 +0000 X-Inumbo-ID: d07bb129-a7ad-11e8-a8a5-bc764e045a96 Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id d07bb129-a7ad-11e8-a8a5-bc764e045a96; Fri, 24 Aug 2018 16:56:01 +0200 (CEST) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id 6F46C122804 for ; Fri, 24 Aug 2018 16:57:20 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1535122640; bh=EI0/EdR6XWL6B0lslFHCRXUJOh/PuPBGK874W9Q173Y=; h=Date:From:To:Subject:From; b=fQ6Z/is0ExiQkfk1iDfI8MkgpaiQyZmbzYpWPYHjlX5ALFsQgJRELT1hBKuCKxdIf y5vq84AocViOnm9tvXdF3UJNuad+BtCJckmXugkHNRbw1XXs6xsxaWQAE2H7ErKjX8 Zz+NzhS/qnAus05IEtU5xSTS5Og/ub3jkjBdFQ+hOGrhbkO2V1n/bfhenuRUMUYaEc cDB3fkB6HzX7/6caw0OlnZE/HOzQNJ5n5kEOYJwWZT68epwQIl7vuX3z80/kEjmFBu 5PGMIssQ2o+xYyGfU6OSq+3ld1Xi2vZTnrFHFmArv7shHsyYRKu5U+innLm2M8Zlvv aYptAio6AmWrw== Received: by nodbug.lucina.net (Postfix, from userid 1000) id 5554D263F69B; Fri, 24 Aug 2018 16:57:20 +0200 (CEST) Date: Fri, 24 Aug 2018 16:57:20 +0200 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180824145720.nq6sziuhmelhc7aq@nodbug.lucina.net> Mail-Followup-To: mirageos-devel@lists.xenproject.org MIME-Version: 1.0 Content-Disposition: inline User-Agent: NeoMutt/20170113 (1.7.2) Subject: [MirageOS-devel] 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" SGkgYWxsLAoKYXMgcGFydCBvZiB0aGUgcmVuYW1pbmcgYW5kIHJlc3RydWN0dXJpbmcgb2YgU29s bzUgdG8gYWRvcHQgYmV0dGVyCnRlcm1pbm9sb2d5IGFuZCBhbGxvdyBmb3IgZXhwYW5zaW9uIHRv IG90aGVyIChub24tVlQpIHRhcmdldHMgWzFdLCBbMl0sIEknZApsaWtlIHRvIHJlbmFtZSB0aGUg U29sbzUgT1BBTSBwYWNrYWdlcy4KCkN1cnJlbnRseSwgdGhlIGRlcGVuZGVuY3kgdHJlZSBpcyBh cyBmb2xsb3dzOgoKbWlyYWdlLXNvbG81OiBEZXBlbmRzIG9uIHNvbG81LWtlcm5lbC11a3ZtIHwg c29sbzUta2VybmVsLXZpcnRpbyB8IHNvbG81LWtlcm5lbC1tdWVuCm1pcmFnZS1zb2xvNTogRGVw ZW5kcyBvbiBvY2FtbC1mcmVlc3RhbmRpbmcKCm9jYW1sLWZyZWVzdGFuZGluZzogRGVwZW5kcyBv biBzb2xvNS1rZXJuZWwtdXZrbSB8IHNvbG81LWtlcm5lbC12aXJ0aW8gfCBzb2xvNS1rZXJuZWwt bXVlbgoKRnVydGhlciwgZWFjaCBvZiB0aGUgc29sbzUta2VybmVsLSogcGFja2FnZXMgY29uZmxp Y3RzIHdpdGggdGhlIG90aGVyIHR3bwp0YXJnZXRzLgoKSW4gdGhlIG5ldyBzY2hlbWUgb2YgdGhp bmdzLCB0aGUgImtlcm5lbCBmb3IgdGFyZ2V0IFgiIGlzIG5vdyByZWZlcnJlZCB0bwphcyAiYmlu ZGluZ3MgdG8gdGFyZ2V0IFgiLiBUaGVyZWZvcmUsIEknZCBsaWtlIHRvIHJlbmFtZSB0aGUgT1BB TSBwYWNrYWdlcwp0byByZWZsZWN0IHRoaXMuIEZ1cnRoZXIsIHRoZSAidWt2bSIgdGFyZ2V0IGhh cyBiZWVuIHJlbmFtZWQgdG8gInZ0IiB0bwpyZWZsZWN0IHRoYXQgaXQgaXMgbm8gbG9uZ2VyIGRl cGVuZGVudCBvbiBMaW51eC9LVk0uCgpUaGVyZWZvcmUsIHRoZSBuZXcgZGVwZW5kZW5jaWVzIHdv dWxkIGxvb2sgbGlrZSB0aGlzOgoKbWlyYWdlLXNvbG81OiBEZXBlbmRzIG9uIHNvbG81LWJpbmRp bmdzLXZ0IHwgc29sbzUtYmluZGluZ3MtdmlydGlvIHwgc29sbzUtYmluZGluZ3MtbXVlbgptaXJh Z2Utc29sbzU6IERlcGVuZHMgb24gb2NhbWwtZnJlZXN0YW5kaW5nCgpvY2FtbC1mcmVlc3RhbmRp bmc6IERlcGVuZHMgb24gc29sbzUtYmluZGluZ3MtdnQgfCBzb2xvNS1iaW5kaW5ncy12aXJ0aW8g fCBzb2xvNS1iaW5kaW5ncy1tdWVuCgpJbiBvcmRlciB0byBlbnN1cmUgYSBjbGVhbiB1cGdyYWRl IHBhdGggZm9yICJvcGFtIHVwZ3JhZGUiLCBhbiAwLjQuMApyZWxlYXNlIG9mIGJvdGggbWlyYWdl LXNvbG81IGFuZCBvY2FtbC1mcmVlc3RhbmRpbmcgd2lsbCBuZWVkIHRvIGJlIGN1dC4KCkFwYXJ0 IGZyb20gdGhhdCwgZG8gSSBuZWVkIHRvIGFkZCBhbnkgb3RoZXIgbWV0YWRhdGEgdG8gdGhlIG5l dyBvciBvbGQKcGFja2FnZXM/IGUuZy4gU2hvdWxkIHRoZSBuZXcgbmFtZXMgY29uZmxpY3Qgd2l0 aCB0aGUgb2xkIG9uZXMsIG9yIHZpY2UKdmVyc2E/CgpSZWdhcmRpbmcgdXNlci12aXNpYmxlIGNo YW5nZXMgdG8gdGhlIG1pcmFnZSBmcm9udC1lbmQgdG9vbCBpdHNlbGYsIEkgd291bGQKbGlrZSB0 byByZW5hbWUgdGhlICJ1a3ZtIiB0YXJnZXQgdG8gInZ0Iiwgd2hpbGUga2VlcGluZyAidWt2bSIg KHdpdGggYQp3YXJuaW5nKSBhcyBhIGJhY2t3YXJkLWNvbXBhdGlibGUgYWxpYXMgZm9yICJ2dCIu CgpQbGVhc2UgbGV0IG1lIGtub3cgaWYgSSd2ZSBtaXNzZWQgYW55dGhpbmcuIElkZWFsbHkgSSdk IGxpa2UgdG8gZ2V0IHRoaXMKZG9uZSBpbiBTb2xvNSBpdHNlbGYgYW5kIHRoZSBzb2xvNS9vcGFt LXNvbG81IHJlcG9zaXRvcnkgbmV4dCB3ZWVrLCB0aGVuCmN1dCB0aGUgY29ycmVzcG9uZGluZyBy ZWxlYXNlcyBhbmQgcHVibGlzaCB0byBPUEFNLgoKVGhhbmtzLAoKLW1hdG8KClsxXSBodHRwczov L2dpdGh1Yi5jb20vU29sbzUvc29sbzUvaXNzdWVzLzE3MgpbMl0gaHR0cHM6Ly9naXRodWIuY29t L1NvbG81L3NvbG81L3B1bGwvMjcyCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxA bGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFu L2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Mon Aug 27 14:38:36 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 27 Aug 2018 14:38:36 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fuIer-0001HD-HG; Mon, 27 Aug 2018 14:38: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 1fuIep-0001H8-Ls for mirageos-devel@lists.xenproject.org; Mon, 27 Aug 2018 14:38:19 +0000 X-Inumbo-ID: efd697f7-aa06-11e8-a6a9-d7ebe60f679a Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id efd697f7-aa06-11e8-a6a9-d7ebe60f679a; Mon, 27 Aug 2018 14:39:01 +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 6BD4D122804; Mon, 27 Aug 2018 16:38:17 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1535380697; bh=UJrpOYf3Y27Wi+aDTe8MOGWL/P3EbdWGpr2ipRypb/o=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=rpIhsLfUCGUjxcpjjXjGxBFnkYL/M6mr/XuBuxONwJuAKDOqfadoKPDF6o4QeZ24m 6fr4GtFJHDQvhnfPlitp4/Vnx4fI0Y7Tqi+HkgFsWQ9/YT9cu81fd17nwA305G0zKC X4GxOvqzspNC0D+EnIAtmhgEP9YkSvc0wnmz/P9b+IjbH6kszYaIpZlaHoEvQ9LBVE 1qskfWNr0AAC5QtVNP+GRD0D1gbFkIKa7i6BDawpEaWHY/bMRK+ifOMaxyFPhAr/7D Ye9E5HwUbsKB+yZ8PR0l6QRG29O/QB0TLvw7RKV8qVspi/0nZO24n2BjEOLBjCK2J1 biDrQ/o1oGhXw== Received: by nodbug.lucina.net (Postfix, from userid 1000) id 4CAC2265E86C; Mon, 27 Aug 2018 16:38:17 +0200 (CEST) Date: Mon, 27 Aug 2018 16:38:17 +0200 From: Martin Lucina To: Hannes Mehnert Message-ID: <20180827143817.dbd3ewu73fkr4wg3@nodbug.lucina.net> Mail-Followup-To: Hannes Mehnert , mirageos-devel@lists.xenproject.org References: <20180824145720.nq6sziuhmelhc7aq@nodbug.lucina.net> <3a83ccc8-270a-0e84-ae19-6d2499898741@mehnert.org> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <3a83ccc8-270a-0e84-ae19-6d2499898741@mehnert.org> 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: , 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" T24gRnJpZGF5LCAyNC4wOC4yMDE4IGF0wqAxOTowNSwgSGFubmVzIE1laG5lcnQgd3JvdGU6Cj4g c291bmRzIGFib3V0IHJpZ2h0IQoKWW91ciByZXBseSBkaWQgbm90IGdvIHRvIHRoZSBsaXN0LCBh ZGRpbmcgaXQgYmFjayBpbiBDYzouCgo+IE9uIDI0LzA4LzIwMTggMTY6NTcsIE1hcnRpbiBMdWNp bmEgd3JvdGU6Cj4gPiBUaGVyZWZvcmUsIHRoZSBuZXcgZGVwZW5kZW5jaWVzIHdvdWxkIGxvb2sg bGlrZSB0aGlzOgo+ID4gCj4gPiBtaXJhZ2Utc29sbzU6IERlcGVuZHMgb24gc29sbzUtYmluZGlu Z3MtdnQgfCBzb2xvNS1iaW5kaW5ncy12aXJ0aW8gfCBzb2xvNS1iaW5kaW5ncy1tdWVuCj4gPiBt aXJhZ2Utc29sbzU6IERlcGVuZHMgb24gb2NhbWwtZnJlZXN0YW5kaW5nCj4gPiAKPiA+IG9jYW1s LWZyZWVzdGFuZGluZzogRGVwZW5kcyBvbiBzb2xvNS1iaW5kaW5ncy12dCB8IHNvbG81LWJpbmRp bmdzLXZpcnRpbyB8IHNvbG81LWJpbmRpbmdzLW11ZW4KPiA+IAo+ID4gSW4gb3JkZXIgdG8gZW5z dXJlIGEgY2xlYW4gdXBncmFkZSBwYXRoIGZvciAib3BhbSB1cGdyYWRlIiwgYW4gMC40LjAKPiA+ IHJlbGVhc2Ugb2YgYm90aCBtaXJhZ2Utc29sbzUgYW5kIG9jYW1sLWZyZWVzdGFuZGluZyB3aWxs IG5lZWQgdG8gYmUgY3V0Lgo+ID4gCj4gPiBBcGFydCBmcm9tIHRoYXQsIGRvIEkgbmVlZCB0byBh ZGQgYW55IG90aGVyIG1ldGFkYXRhIHRvIHRoZSBuZXcgb3Igb2xkCj4gPiBwYWNrYWdlcz8gZS5n LiBTaG91bGQgdGhlIG5ldyBuYW1lcyBjb25mbGljdCB3aXRoIHRoZSBvbGQgb25lcywgb3Igdmlj ZQo+ID4gdmVyc2E/Cj4gCj4gc2luY2UgdGhlIG5ldyBwYWNrYWdlcyB1c2UgYSBkaWZmZXJlbnQg ZGlyZWN0b3J5IHRoYW4gZWFybGllciBvbmVzLAo+IHRoZXJlJ3Mgbm8gbmVlZCBmb3IgY29uZmxp Y3RzIGJldHdlZW4gdGhlbS4KPiAKPiBpbiB0aGUgbWlyYWdlIHV0aWxpdHkgaXRzZWxmLCB0aGVy ZSBhcmUgdmFyaW91cyByZWZlcmVuY2VzIHRvCj4gc29sbzUta2VybmVsLSogd2hpY2ggbmVlZCBh ZGp1c3RtZW50CgpZZXMsIEknbGwgZG8gdGhvc2UuCgpIb3dldmVyLCBJJ20gbm90IHN1cmUgdGhh dCBqdXN0IG1ha2luZyBvY2FtbC1mcmVlc3RhbmRpbmcgYW5kIG1pcmFnZS1zb2xvNQpkZXBlbmQg b24gdGhlIG5ldyBzb2xvNS1iaW5kaW5ncy0qIHBhY2thZ2VzIGluc3RlYWQgb2Ygc29sbzUta2Vy bmVsLSogaXMKc3VmZmljaWVudC4gSGF2aW5nIGp1c3QgZXhwZXJpbWVudGVkIHdpdGggc29tZSBw aW5zLCB0aGlzIGNhbiByZXN1bHQgaW4gYQpzaXR1YXRpb24gd2hlcmUgKGUuZy4gaWYgZG93bmdy YWRpbmcgdmlhIGEgcGluKSBvY2FtbC1mcmVlc3RhbmRpbmcgYW5kCm1pcmFnZS1zb2xvNSBnZXQg b3V0IG9mIHN5bmMuCgpJJ20gbm90IHN1cmUgd2hhdCB0aGUgYmVzdCB3YXkgdG8gcHJldmVudCB0 aGF0IGhhcHBlbmluZyBpcy4gTWFraW5nCm1pcmFnZS1zb2xvNSAodGhlIG5ldyAwLjQuMCspIGNv bmZsaWN0IHdpdGggc29sbzUta2VybmVsLSogYW5kIG1pcmFnZS1zb2xvNQooYWxsIGN1cnJlbnRs eSBwdWJsaXNoZWQgdmVyc2lvbnMpIGNvbmZsaWN0IHdpdGggc29sbzUtYmluZGluZ3MtKiBzZWVt cwpsaWtlIGEgcmF0aGVyIHJvdW5kYWJvdXQgd2F5IHRvIGFjY29tcGxpc2ggdGhpcz8KCj4gCj4g PiBSZWdhcmRpbmcgdXNlci12aXNpYmxlIGNoYW5nZXMgdG8gdGhlIG1pcmFnZSBmcm9udC1lbmQg dG9vbCBpdHNlbGYsIEkgd291bGQKPiA+IGxpa2UgdG8gcmVuYW1lIHRoZSAidWt2bSIgdGFyZ2V0 IHRvICJ2dCIsIHdoaWxlIGtlZXBpbmcgInVrdm0iICh3aXRoIGEKPiA+IHdhcm5pbmcpIGFzIGEg YmFja3dhcmQtY29tcGF0aWJsZSBhbGlhcyBmb3IgInZ0Ii4KPiAKPiB0aGF0IHNvdW5kcyByZWFz b25hYmxlIHRvIG1lLgoKVW5jbGVhciBpZiB0aGUgImJhY2t3YXJkIGNvbXBhdGlibGUgYWxpYXMi IGNhbiBiZSBkb25lIGluIEZ1bmN0b3JpYSB3L28Ka2VlcGluZyBib3RoIFVrdm0gYW5kIFZ0IGFz IGFsbG93ZWQgdmFsdWVzIGZvciB0aGUgIm1vZGUiIGtleSBhbmQgdGh1cwpsaXN0ZWQgKmV2ZXJ5 d2hlcmUqIGluIHRoZSBtYXRjaCBjbGF1c2VzIHRocm91Z2hvdXQgbWlyYWdlLm1sLiBBbnkgaWRl YXMgb24KaG93IHRvIGFjY29tcGxpc2ggdGhpcz8KCi1tYXRvCgpfX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QK TWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9q ZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Mon Aug 27 16:00:42 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 27 Aug 2018 16:00:42 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fuJwS-0001NA-AG; Mon, 27 Aug 2018 16:00:36 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fuJwQ-0001N5-HJ for mirageos-devel@lists.xenproject.org; Mon, 27 Aug 2018 16:00:34 +0000 X-Inumbo-ID: 6c9091fe-aa12-11e8-a6a9-d7ebe60f679a Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas1.inumbo.com (Halon) with ESMTPS id 6c9091fe-aa12-11e8-a6a9-d7ebe60f679a; Mon, 27 Aug 2018 16:01:15 +0000 (UTC) Received: from [192.168.42.80] (i5E86D0E9.versanet.de [94.134.208.233]) (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 BF894CC2 for ; Mon, 27 Aug 2018 18:00:30 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: <20180824145720.nq6sziuhmelhc7aq@nodbug.lucina.net> <3a83ccc8-270a-0e84-ae19-6d2499898741@mehnert.org> <20180827143817.dbd3ewu73fkr4wg3@nodbug.lucina.net> From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Mon, 27 Aug 2018 18:00:23 +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: <20180827143817.dbd3ewu73fkr4wg3@nodbug.lucina.net> Content-Language: en-US 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" aGV5LAoKT24gMjcvMDgvMjAxOCAxNjozOCwgTWFydGluIEx1Y2luYSB3cm90ZToKPiBPbiBGcmlk YXksIDI0LjA4LjIwMTggYXTCoDE5OjA1LCBIYW5uZXMgTWVobmVydCB3cm90ZToKPj4gc291bmRz IGFib3V0IHJpZ2h0IQo+IAo+IFlvdXIgcmVwbHkgZGlkIG5vdCBnbyB0byB0aGUgbGlzdCwgYWRk aW5nIGl0IGJhY2sgaW4gQ2M6LgoKb2gsIHNvcnJ5LgoKPj4gT24gMjQvMDgvMjAxOCAxNjo1Nywg TWFydGluIEx1Y2luYSB3cm90ZToKPj4gaW4gdGhlIG1pcmFnZSB1dGlsaXR5IGl0c2VsZiwgdGhl cmUgYXJlIHZhcmlvdXMgcmVmZXJlbmNlcyB0bwo+PiBzb2xvNS1rZXJuZWwtKiB3aGljaCBuZWVk IGFkanVzdG1lbnQKPiAKPiBZZXMsIEknbGwgZG8gdGhvc2UuCj4gCj4gSG93ZXZlciwgSSdtIG5v dCBzdXJlIHRoYXQganVzdCBtYWtpbmcgb2NhbWwtZnJlZXN0YW5kaW5nIGFuZCBtaXJhZ2Utc29s bzUKPiBkZXBlbmQgb24gdGhlIG5ldyBzb2xvNS1iaW5kaW5ncy0qIHBhY2thZ2VzIGluc3RlYWQg b2Ygc29sbzUta2VybmVsLSogaXMKPiBzdWZmaWNpZW50LiBIYXZpbmcganVzdCBleHBlcmltZW50 ZWQgd2l0aCBzb21lIHBpbnMsIHRoaXMgY2FuIHJlc3VsdCBpbiBhCj4gc2l0dWF0aW9uIHdoZXJl IChlLmcuIGlmIGRvd25ncmFkaW5nIHZpYSBhIHBpbikgb2NhbWwtZnJlZXN0YW5kaW5nIGFuZAo+ IG1pcmFnZS1zb2xvNSBnZXQgb3V0IG9mIHN5bmMuCj4gCj4gSSdtIG5vdCBzdXJlIHdoYXQgdGhl IGJlc3Qgd2F5IHRvIHByZXZlbnQgdGhhdCBoYXBwZW5pbmcgaXMuIE1ha2luZwo+IG1pcmFnZS1z b2xvNSAodGhlIG5ldyAwLjQuMCspIGNvbmZsaWN0IHdpdGggc29sbzUta2VybmVsLSogYW5kIG1p cmFnZS1zb2xvNQo+IChhbGwgY3VycmVudGx5IHB1Ymxpc2hlZCB2ZXJzaW9ucykgY29uZmxpY3Qg d2l0aCBzb2xvNS1iaW5kaW5ncy0qIHNlZW1zCj4gbGlrZSBhIHJhdGhlciByb3VuZGFib3V0IHdh eSB0byBhY2NvbXBsaXNoIHRoaXM/Cgp0aGF0IHNvdW5kcyBmaW5lIHRvIG1lLgoKPj4+IFJlZ2Fy ZGluZyB1c2VyLXZpc2libGUgY2hhbmdlcyB0byB0aGUgbWlyYWdlIGZyb250LWVuZCB0b29sIGl0 c2VsZiwgSSB3b3VsZAo+Pj4gbGlrZSB0byByZW5hbWUgdGhlICJ1a3ZtIiB0YXJnZXQgdG8gInZ0 Iiwgd2hpbGUga2VlcGluZyAidWt2bSIgKHdpdGggYQo+Pj4gd2FybmluZykgYXMgYSBiYWNrd2Fy ZC1jb21wYXRpYmxlIGFsaWFzIGZvciAidnQiLgo+Pgo+PiB0aGF0IHNvdW5kcyByZWFzb25hYmxl IHRvIG1lLgo+IAo+IFVuY2xlYXIgaWYgdGhlICJiYWNrd2FyZCBjb21wYXRpYmxlIGFsaWFzIiBj YW4gYmUgZG9uZSBpbiBGdW5jdG9yaWEgdy9vCj4ga2VlcGluZyBib3RoIFVrdm0gYW5kIFZ0IGFz IGFsbG93ZWQgdmFsdWVzIGZvciB0aGUgIm1vZGUiIGtleSBhbmQgdGh1cwo+IGxpc3RlZCAqZXZl cnl3aGVyZSogaW4gdGhlIG1hdGNoIGNsYXVzZXMgdGhyb3VnaG91dCBtaXJhZ2UubWwuIEFueSBp ZGVhcyBvbgo+IGhvdyB0byBhY2NvbXBsaXNoIHRoaXM/CgpJIGNhbiB0aGluayBvZiB0d28gd2F5 czogKGEpIGVpdGhlciBub3QgcHJvdmlkaW5nIGEgYmFja3dhcmQgY29tcGF0aWJsZQphbGlhcyAo YW5kIHVwZGF0ZSBpbnN0cnVjdGlvbnMgZXZlcnl3aGVyZSAtIHRoaXMgaGFzIHRoZSBhZHZhbnRh Z2UgdGhhdAp3ZSBkb24ndCBuZWVkIHRvIGRlY2lkZSB3aGVuIHRvIHJlbW92ZSB0aGlzIG9wdGlv biA7KSwgb3IgKGIpIHB1dCBib3RoCiJ2dCIgYW5kICJ1a3ZtIiBpbnRvIHRoZSB0YXJnZXRfY29u diBlbnVtIGluIG1pcmFnZV9rZXkubWwgKHBvaW50aW5nIHRvCnRoZSBzYW1lIHZhbHVlKSAtLSB0 aGUgcGFyc2VyIGlzIGZpbmUgd2l0aCB0aGlzLCB0aGUgcHJpbnRlciB0YWtlcyB0aGUKbGFzdCBt ZW50aW9uIChkdWUgdG8gdXNpbmcgTGlzdC5hc3NvYyBvbiB0aGUgTGlzdC5yZXZfbWFwKToKCi0t LSBhL2xpYi9taXJhZ2Vfa2V5Lm1sCisrKyBiL2xpYi9taXJhZ2Vfa2V5Lm1sCkBAIC05OCw2ICs5 OCw3IEBAIGxldCB0YXJnZXRfY29udjogbW9kZSBDbWRsaW5lci5BcmcuY29udmVydGVyID0KICAg ICAieGVuIiAgICwgYFhlbjsKICAgICAidmlydGlvIiwgYFZpcnRpbzsKICAgICAidWt2bSIgICwg YFVrdm07CisgICAgInZ0IiAgICAsIGBVa3ZtOwogICAgICJtdWVuIiAgLCBgTXVlbjsKICAgICAi cXViZXMiICwgYFF1YmVzCiAgIF0KCkkgcHJlZmVyIChhKSwgYWx0aG91Z2ggSSdsbCBtaXNzcGVs bCB0aGlzIG9wdGlvbiBmb3IgcXVpdGUgc29tZSB0aW1lIDspCgoKaGFubmVzCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWls aW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0 cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Aug 28 14:40:08 2018 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 28 Aug 2018 14:40:08 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fuf9s-00068L-6x; Tue, 28 Aug 2018 14:39:52 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fuf9r-00067o-99 for mirageos-devel@lists.xenproject.org; Tue, 28 Aug 2018 14:39:51 +0000 X-Inumbo-ID: 0330ab30-aad0-11e8-a8a5-bc764e045a96 Received: from smtp.lucina.net (unknown [62.176.169.44]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 0330ab30-aad0-11e8-a8a5-bc764e045a96; Tue, 28 Aug 2018 16:38:22 +0200 (CEST) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id 55F23122804 for ; Tue, 28 Aug 2018 16:39:48 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201309; t=1535467188; bh=IKLZt1NlQY6GOlYUfke5HZEEhKRRSiSxEej0Y3nPG8k=; h=Date:From:To:Subject:References:In-Reply-To:From; b=fo0DNx9RtbeeYuDBiCu1WidgdqOrKJPreVhODBE8zsA7Qc7M8uhdIQusfCR0+9mzt 8o3bsE8+FsBfnm8bJlUl76TQ9fb51l8xerZJZnRyBe91uGOBdx39ZrQqEEle/x99PK OFK+3HqLpRfzPOqg75vVwrYHaQu1zZByvp/EWNX6B9bwQ+nFq7djWfJnQbKfiyMq5k 1G7ODshrrVz/D27n6b4NMOd7JUeXYORgfA99rCc3QhzupwBh8gYffM6FGHUdHMVFGC YbmnO9hxCfM9cxXwSnushBVi6d7oylsvO1/hWMPvQxYYDXTUme8h4+ZXxSLe2KE6GO +/7A3PM311Daw== Received: by nodbug.lucina.net (Postfix, from userid 1000) id 36F1D265E86C; Tue, 28 Aug 2018 16:39:48 +0200 (CEST) Date: Tue, 28 Aug 2018 16:39:48 +0200 From: Martin Lucina To: mirageos-devel@lists.xenproject.org Message-ID: <20180828143948.vb2bp72zybtmmp76@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> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: 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" T24gTW9uZGF5LCAyNy4wOC4yMDE4IGF0wqAxODowMCwgSGFubmVzIE1laG5lcnQgd3JvdGU6Cj4g aGV5LAo+IAo+IE9uIDI3LzA4LzIwMTggMTY6MzgsIE1hcnRpbiBMdWNpbmEgd3JvdGU6Cj4gPiBP biBGcmlkYXksIDI0LjA4LjIwMTggYXTCoDE5OjA1LCBIYW5uZXMgTWVobmVydCB3cm90ZToKPiA+ PiBzb3VuZHMgYWJvdXQgcmlnaHQhCj4gPiAKPiA+IFlvdXIgcmVwbHkgZGlkIG5vdCBnbyB0byB0 aGUgbGlzdCwgYWRkaW5nIGl0IGJhY2sgaW4gQ2M6Lgo+IAo+IG9oLCBzb3JyeS4KPiAKPiA+PiBP biAyNC8wOC8yMDE4IDE2OjU3LCBNYXJ0aW4gTHVjaW5hIHdyb3RlOgo+ID4+IGluIHRoZSBtaXJh Z2UgdXRpbGl0eSBpdHNlbGYsIHRoZXJlIGFyZSB2YXJpb3VzIHJlZmVyZW5jZXMgdG8KPiA+PiBz b2xvNS1rZXJuZWwtKiB3aGljaCBuZWVkIGFkanVzdG1lbnQKPiA+IAo+ID4gWWVzLCBJJ2xsIGRv IHRob3NlLgo+ID4gCj4gPiBIb3dldmVyLCBJJ20gbm90IHN1cmUgdGhhdCBqdXN0IG1ha2luZyBv Y2FtbC1mcmVlc3RhbmRpbmcgYW5kIG1pcmFnZS1zb2xvNQo+ID4gZGVwZW5kIG9uIHRoZSBuZXcg c29sbzUtYmluZGluZ3MtKiBwYWNrYWdlcyBpbnN0ZWFkIG9mIHNvbG81LWtlcm5lbC0qIGlzCj4g PiBzdWZmaWNpZW50LiBIYXZpbmcganVzdCBleHBlcmltZW50ZWQgd2l0aCBzb21lIHBpbnMsIHRo aXMgY2FuIHJlc3VsdCBpbiBhCj4gPiBzaXR1YXRpb24gd2hlcmUgKGUuZy4gaWYgZG93bmdyYWRp bmcgdmlhIGEgcGluKSBvY2FtbC1mcmVlc3RhbmRpbmcgYW5kCj4gPiBtaXJhZ2Utc29sbzUgZ2V0 IG91dCBvZiBzeW5jLgo+ID4gCj4gPiBJJ20gbm90IHN1cmUgd2hhdCB0aGUgYmVzdCB3YXkgdG8g cHJldmVudCB0aGF0IGhhcHBlbmluZyBpcy4gTWFraW5nCj4gPiBtaXJhZ2Utc29sbzUgKHRoZSBu ZXcgMC40LjArKSBjb25mbGljdCB3aXRoIHNvbG81LWtlcm5lbC0qIGFuZCBtaXJhZ2Utc29sbzUK PiA+IChhbGwgY3VycmVudGx5IHB1Ymxpc2hlZCB2ZXJzaW9ucykgY29uZmxpY3Qgd2l0aCBzb2xv NS1iaW5kaW5ncy0qIHNlZW1zCj4gPiBsaWtlIGEgcmF0aGVyIHJvdW5kYWJvdXQgd2F5IHRvIGFj Y29tcGxpc2ggdGhpcz8KPiAKPiB0aGF0IHNvdW5kcyBmaW5lIHRvIG1lLgoKU2hvdWxkIEkgYWxz byBkbyB0aGlzIGZvciBvY2FtbC1mcmVlc3RhbmRpbmc/IGkuZS4gbWFrZSB0aGUgcHVibGlzaGVk CnZlcnNpb25zICg8IDAuNC4wKSBjb25mbGljdCB3aXRoIHRoZSBuZXcgU29sbzUgcGFja2FnZSBu YW1lcyBhbmQgdGhlIG5ldwowLjQuMCBjb25mbGljdCB3aXRoIHRoZSBvbGQgU29sbzUgcGFja2Fn ZSBuYW1lcz8KClRoaW5raW5nIGFib3V0IGl0LCBJJ20gbm90IHN1cmUgdGhpcyB3aWxsIHNvbHZl IGFueXRoaW5nIGluIHByYWN0aWNlLCBzaW5jZQp0aGUgdmVyc2lvbiBvZiB0aGUgbWlyYWdlIGZy b250ZW5kIGlzIG5vdCBleHByZXNzZWQgYW55d2hlcmUuIFNvLCBpZgpzb21lb25lIGRvZXMgYW4g Im9wYW0gdXBkYXRlICYmIG9wYW0gdXBncmFkZSIgYW5kIHRoZW4gZGVjaWRlcyB0aGV5IHdhbnQg dG8KZ28gYmFjayB0byB0aGUgb2xkZXIgcmVsZWFzZSwgdGhleSdkIG5lZWQgdG8gYWRkaXRpb25h bGx5IHBpbiB0aGUgbGFzdAp2ZXJzaW9uIG9mIG1pcmFnZSB0aGF0IHdvcmtzIHdpdGggbWlyYWdl LXNvbG81IDAuMy4wLgoKUGVyaGFwcyBJIHNob3VsZG4ndCB0cnkgdG8gc29sdmUgdGhpcyBjYXNl IChkb3duZ3JhZGluZyB0byBhIHByZXZpb3VzCnJlbGVhc2UpIGF0IGFsbD8KCi1tYXRvCgpfX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZl bCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6 Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg==