From mirageos-devel-bounces@lists.xenproject.org Mon Apr 01 12:19:20 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 01 Apr 2019 12:19: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 1hAvu3-0001FN-VY; Mon, 01 Apr 2019 12:19:03 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hAvu2-0001FF-S1 for mirageos-devel@lists.xenproject.org; Mon, 01 Apr 2019 12:19:02 +0000 X-Inumbo-ID: 53248168-5478-11e9-82fc-171d240878af Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 53248168-5478-11e9-82fc-171d240878af; Mon, 01 Apr 2019 12:18:58 +0000 (UTC) Received: from [192.168.42.80] (dslb-088-072-102-177.088.072.pools.vodafone-ip.de [88.72.102.177]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 580A95DA for ; Mon, 1 Apr 2019 14:18:57 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: <19E04F58-8916-47E2-9C88-E25261C72E3D@recoil.org> From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Mon, 1 Apr 2019 14:18:47 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1 MIME-Version: 1.0 In-Reply-To: <19E04F58-8916-47E2-9C88-E25261C72E3D@recoil.org> Content-Language: en-US Subject: Re: [MirageOS-devel] the windy dunes of mirage: a tooling update 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" SGVsbG8sCgp0aGFua3MgZm9yIHlvdXIgbWFpbC4gSSdtIHN0aWxsIHdvbmRlcmluZywgZXNwZWNp YWxseSBhYm91dDoKCk9uIDI3LzAzLzIwMTkgMTc6NTcsIEFuaWwgTWFkaGF2YXBlZGR5IHdyb3Rl Ogo+IC0gTW9ub3JlcG9zOiBEdW5lIHN1cHBvcnRzIGFzc2VtYmxpbmcgbW9ub3JlcG9zIGJ5IHBs YWNpbmcgcGFja2FnZXMgaW50byBhIHN1YmRpcmVjdG9yeSwgYW5kIGJ1aWxkaW5nIGl0IGFsbCBp biBvbmUgZ28gd2l0aCBhIHRvcGxldmVsIGBkdW5lIGJ1aWxkYCBbMV0uICBJ4oCZdmUgZ290IGEg c2ltcGxlIHByb3RvdHlwZSB0b29sIHRoYXQgYXNzZW1ibGVzIHNvLWNhbGxlZCDigJhkdW5pdmVy c2Vz4oCZIGFzIGEgc2ltcGxlIHdheSB0byB0cmFjayBhbGwgc291cmNlIGNvZGUgdGhhdCBnb2Vz IGludG8gYSB1bmlrZXJuZWwgaW4gb25lIGdpdCByZXBvIFszXS4gIFRoZSB3b3JrZmxvdyB3aXRo IHRoaXMgaXMgYW1hemluZyBmb3IgcmV2dmluZyBtaXJhZ2UtdHlwZXMsIHNpbmNlIGl0IGNhbiBi ZSBkb25lIGluIGEgc2luZ2xlIGdvIGluc3RlYWQgb2YgaGF2aW5nIDEwKyBvcGFtIHBpbnMuCgpJ J2QgYXBwcmVjaWF0ZSBzb21lIG1vcmUgZGV0YWlsZWQgaW5zdHJ1Y3Rpb25zIGhvdyBJJ2QgdXNl IHRoaXMuIEkndmUKaGVhcmQgdGhlcmUgYXJlIHBsYW5zIHRvIGludGVncmF0ZSB0aGlzIGludG8g dGhlIG1pcmFnZSBDTEkgLS0gd291bGQKdGhpcyBtZWFuIGEgbWlyYWdlIHB1bGwgd291bGQgY2xv bmUgYWxsIHRoZSBkZXBlbmRlbmNpZXM/Cgo+IC0gQ29uZmlndXJhdGlvbjogRHVuZSBoYXMgYSDi gJhjb25maWd1cmF0b3LigJkgbGlicmFyeSB0aGF0IGlzIGp1c3QgYW5vdGhlciBidWlsZCB0YXJn ZXQsIHNvIHdlIGNhbiB1bmlmeSBtYW55IG9mIHRoZSBoYWNrcyBhcm91bmQgcGtnLWNvbmZpZyBp biBvbmUgcGxhY2UKCldoYXQgaXMgdGhlIHN0YXR1cyBvZiB0aGlzPyBJcyBwa2ctY29uZmlnIGdv bmUgeWV0PyBEb2VzIHRoaXMgY2hhbmdlIGhvdwoiY3Jvc3MtY29tcGlsYXRpb24iIG9mIEMgcHJp bWl0aXZlcyB3b3JrcyAoaS5lLiB0aGUgd2F5CmJpZ3N0cmluZ2FmL2NoZWNrc2V1bSBhcmUgYnVp bHQpPwoKPiAtIEx1Y2FzIHBvcnRlZCBzb21lIHBhY2thZ2VzIHRvIGR1bmUgaW4gb3JkZXIgdG8g bWFrZSB0aGlzIHdvcmssIGFuZCBub3cgYWxsIG9mIG1pcmFnZS1za2VsZXRvbiBidWlsZHMgdXNp bmcgZHVuZSEgRm9ya2VkIHBhY2thZ2VzIGFyZSBhdmFpbGFibGUgaW4gdGhlIG1pcmFnZS1kZXYg cmVtb3RlIChodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS1kZXYvdHJlZS9kdW5lKS4K ClRoYXQncyBncmVhdCEgVG8gd2hpY2ggZXh0ZW5kPyBJcyBvcGFtIG5vIGxvbmdlciBuZWVkZWQg b25jZSBtaXJhZ2UgaXMKaW5zdGFsbGVkPwoKPiAtIEZvciBwYWNrYWdlcyB3aGVyZSB1cHN0cmVh bXMgYXJlIGJ1c3kgb3IgZG9udCB3YW50IHRvIGNoYW5nZSBidWlsZCBzeXN0ZW1zLCB0aGVyZSBp cyBhIGh0dHBzOi8vZ2l0aHViLmNvbS9kdW5lLXVuaXZlcnNlIG9yZ2FuaXNhdGlvbiB3aGVyZSB3 ZSBjYW4gc3RhZ2UgcG9ydHMgdG8gZHVuZSAobm9ybWFsbHkgdmlhIG92ZXJsYXlzKS4gVGhlc2Ug Zm9ya3MgaGF2ZSB0byBiZSBtYW5hZ2VkIGNhcmVmdWxseSwgYnV0IGFyZSB2ZXJ5IHVzZWZ1bCBm b3IgcGFja2FnZXMgc3VjaCBhcyBaYXJpdGggdGhhdCBoYXZlIGV4dHJlbWVseSBzdWJ0bGUgYnVp bGQgcmVxdWlyZW1lbnRzIChodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvWmFyaXRoL2NvbXBhcmUv bWFzdGVyLi4uZHVuZS11bml2ZXJzZTpkdW5pdmVyc2UtbWFzdGVyKQoKSXMgdGhpcyAiZHVuZS11 bml2ZXJzZSIgYXV0b21hdGljYWxseSB1c2VkIGluc3RlYWQgb2YgdGhlCm9wYW0tcmVwb3NpdG9y eT8gSSBub3RpY2VkIHRoZXJlIGFyZSB2YXJpb3VzIG91dGRhdGVkIGNsb25lcyBpbiB0aGUKZHVu ZS11bml2ZXJzZSBvcmdhbml6YXRpb24gLSBzb21lIGhhdmUgZHVuaWZpZWQgcmVsZWFzZXMgdXBz dHJlYW1lZC4KV2hpY2ggdG9vbCB1c2VzIGR1bmUtdW5pdmVyc2UgKGkuZS4gbWlyYWdlIHdpdGgg THVjYXMnIGNoYW5nZXMpPwoKPiBJZiB5b3UgaGF2ZSBhbnkgcXVlc3Rpb25zLCBjb25jZXJucyBv ciBmZWF0dXJlIHJlcXVlc3RzLCBub3cgaXMgYSBnb29kIHRpbWUgdG8gYnJpbmcgdGhlbSB1cC4K CkZvciBtZSwgdGhlIG1haW4gcXVlc3Rpb24gaXM6IGhvdyBkbyBJIGdldCBzdGFydGVkIHRvIHVz ZSB0aGlzPyBEaWQgdGhlCmRldmVsb3BlciB3b3JrZmxvdyBjaGFuZ2UgKGNhbiB3ZSBkb2N1bWVu dCB0aGUgd29ya2Zsb3cgbm93KT8KCldoaWxlIHdvcmtpbmcgb24gc29tZSB1bmlrZXJuZWxzIG92 ZXIgdGhlIGxhc3Qgd2Vla3MsIGFuZCByZXdyaXRpbmcgYQpsaWJyYXJ5IHVzZWQgYnkgdGhlbSAo d2hpY2ggc29tZWhvdyB0dXJuZWQgaW50byAxNCBvcGFtIHBhY2thZ2VzKSwgSSBoYWQKdG8gZG86 CgooYSkgd29yayBvbiBsaWJyYXJ5Li4uCmxpYnJhcnkkIGdpdCBjb21taXQgLW0gLiAuCmxpYnJh cnkkIG9wYW0gcmVtb3ZlIC4KbGlicmFyeSQgb3BhbSBwaW4gYWRkIC15IGBwd2RgI0hFQUQKdW5p a2VybmVsJCBtaXJhZ2UgY2xlYW4KdW5pa2VybmVsJCBtaXJhZ2UgY29uZmlndXJlIC10IGh2dCAt LXBybmcgZm9ydHVuYQp1bmlrZXJuZWwkIG1ha2UKKGIpIGZpeCB1cCB1bmlrZXJuZWwgd2l0aCBB UEkgY2hhbmdlcwoKVGhpcyBpcyBub3QgdmVyeSBwbGVhc2FudCwgc2luY2UgaXRzIG11bHRpcGxl IHN0ZXBzIHdoZXJlIEkgdXN1YWxseQpmb3JnZXQgb25lIChlLmcuIHRoZSBnaXQgY29tbWl0LCB0 aGVuIG9wYW0gZG9lc24ndCBwaWNrIHVwIHRoZSBjaGFuZ2VzLApvciBvcGFtIHJlbW92ZSAuIGlu IHdoaWNoIGNhc2Ugb3BhbSBkb2Vzbid0IHJlaW5zdGFsbCB0aGUgcGFja2FnZXMgYnV0CmNsYWlt cyBub3RoaW5nIGNoYW5nZWQpLiAgQWxzbywgdGhlIG1pcmFnZSBjbGVhbiBpcyBuZWNlc3Nhcnkg Zm9yIG1pcmFnZQp0byBwaWNrIHVwIG1vZGlmaWVkIG9wYW0gbGlicmFyaWVzLgoKSW4gcmVzcGVj dCB0byB0aGUgY2hhbmdlcyBhYm92ZSwgaXMgdGhlcmUgYSBiZXR0ZXIgc3Rvcnk/CgpBbm90aGVy IHJlbWFyay9xdWVzdGlvbjogSSBhY3R1YWxseSBkZXZlbG9wZWQgc2lkZS1ieS1zaWRlIDUgdW5p a2VybmVscywKdGhlIGFib3ZlIG9wYW0gcGluIHBhdGggaW5zdGFsbHMgdGhlIGxpYnJhcnkgZ2xv YmFsbHksIHdoaWNoIG1lYW5zIHRoYXQKSSBjYW4gZG8gbWlyYWdlIGNvbmZpZ3VyZSAmJiBtYWtl IGluIGFueSBvZiB0aGUgdW5pa2VybmVsCnN1YmRpcmVjdG9yaWVzLiBXaXRoIGEgbW9ub3JlcG8s IEkgaGF2ZSB0aGUgc2FtZSBsaWJyYXJ5IGNsb25lZCBmb3IgZWFjaAp1bmlrZXJuZWwhPyBPciBj YW4gSSBjbG9uZSB0aGUgbGlicmFyeSBvbmNlIGFuZCBkbyBzb21lIHN5bWxpbmtzIGZyb20KdGhl IHVuaWtlcm5lbCBkaXJlY3RvcnkgdG8gdGhlIGxpYnJhcnkgZGlyZWN0b3J5PwoKClRMO0RSOiBp cyB0aGVyZSBhIGNhbGwgZm9yIHRlc3Rpbmcgd2l0aCBtb3JlIGRldGFpbGVkIGluc3RydWN0aW9u cyBob3cKdG8gZ2V0IHN0YXJ0ZWQ/IEknZCBsb3ZlIHRvIHRyeSB0aGlzIG91dC4KCgpoYW5uZXMK Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9T LWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpo dHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2 ZWwK From mirageos-devel-bounces@lists.xenproject.org Mon Apr 01 15:42:31 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 01 Apr 2019 15:42: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 1hAz4l-0004X6-Jq; Mon, 01 Apr 2019 15:42: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 1hAz4k-0004Wv-2d for mirageos-devel@lists.xenproject.org; Mon, 01 Apr 2019 15:42:18 +0000 X-Inumbo-ID: 2035272d-5494-11e9-bc90-bc764e045a96 Received: from mail-ua1-x929.google.com (unknown [2607:f8b0:4864:20::929]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 2035272d-5494-11e9-bc90-bc764e045a96; Mon, 01 Apr 2019 15:37:59 +0000 (UTC) Received: by mail-ua1-x929.google.com with SMTP id b8so3237134uaq.7; Mon, 01 Apr 2019 08:37:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :cc:to; bh=ibtAzIccRdulUFQztPO/Au+8+uQcvlUg5QEk6LH8p/Y=; b=ny16wJUDL5hmwa3HGzPz/OBd9Y6zupEezjP+P8uZeb480qNFKDE215CiFVIHWtUbEE /pxG6Zh+g+OgbOLRELx1dkZajjdKV/AMHT7rDZ57U5aW4pO2pPtC2HoA3jWlnBnT68pv DOuzortmRPWjOb+jiCcxGQMcz9g2swvMuHfw79vowPeoIPCGkvBC3VUtbQljyubB4LMa ZXchguYeR1FlXi6lWAkFi4SUymLKTUdzm0R/LWQw8NJZ/vKKtxKEuMm3f9FKHvcP5QL7 t/QbYnsKIHZ71q9QA3Q782nAVRqkhSUXcvmn6sqnEJgglIGTdb8DGHikDS8w1yhgBmUJ 3uRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:cc:to; bh=ibtAzIccRdulUFQztPO/Au+8+uQcvlUg5QEk6LH8p/Y=; b=O0Ygch95zEdHryvhLnvT79r8mAVyI9wC+eqvlwCd+I942/iRYzs+B60EjuvZiYeeZZ ZiWqdpIAHY2PNWyw8N5DhsmDC++5Fp7LBvcrumSTH7MBpTn605g2DXBao6ShGcV9dexx VKt3D0sfaFrvVbTPspjxsp1Wq1hin1mSOg7qIkA61dE8r2CIuK9ChY+KBLPLvUvE5Y8B zljBjjNB4OXM05Ve+kY/YCcBj1sKSXiOGXdo7Iddl+/r2XbC+CAbKeRcj3MH38sF7Bsx bitrNK+P93EX1F3j4iQESW8oGlV7V6BD655UNRH7GHF/OOmIM+x9RIgLwAYYOMwiysgG e6kQ== X-Gm-Message-State: APjAAAVQbtncN9bEijpjBrxn7NXonjoGRCstip9MqaK5TXbTzbjO10Aa AT8kSEwiWG+hZorqsoXq+Cn3n3bW8vY= X-Google-Smtp-Source: APXvYqzy4X0+JjRlGXi4Vg9gFPlC7ioEZfDzV6vxqa9SNteMWuAY+yGVggojwH8fayS+cecTVJKwpw== X-Received: by 2002:a9f:2c8b:: with SMTP id w11mr35715114uaj.17.1554133077280; Mon, 01 Apr 2019 08:37:57 -0700 (PDT) Received: from [192.168.0.106] (ip88-74-15-186.ct.co.cr. [186.15.74.88]) by smtp.gmail.com with ESMTPSA id b9sm590795vkb.23.2019.04.01.08.37.54 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 01 Apr 2019 08:37:56 -0700 (PDT) From: Lars Kurth Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Message-Id: <1F6314EC-863E-4EB1-9257-D5D63268F1AF@gmail.com> Date: Mon, 1 Apr 2019 09:37:52 -0600 To: xen-devel , xen-api@lists.xenproject.org, xen-users@lists.xenproject.org, win-pv-devel@lists.xenproject.org, Minios-devel , mirageos-devel@lists.xenproject.org X-Mailer: Apple Mail (2.3445.9.1) Subject: [MirageOS-devel] Xen Project Developer Summit: CfP Reminder - Friday, April 12 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: Committers Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" RGVhciBBbGwsCgp0aGlzIGlzIGEgcXVpY2sgcmVtaW5kZXIgdGhhdCB0aGUgQ2ZQIGZvciB0aGUg ZGV2ZWxvcGVyIHN1bW1pdCBpcyBhcHByb2FjaGluZy4gVGhlIENmUCBmb3IgdGFsa3MgKGFrYSBt b3JuaW5nIHNlc3Npb25zIGlzIG9uIEFwcmlsIDEydGgpLiBXZSBhcmUgYWxzbyBjb25zaWRlcmlu ZyB0byBhbGxvY2F0ZSBhIGRheSBkZWRpY2F0ZWQgdG8gZW1iZWRkZWQgYW5kIHNhZmV0eSByZWxh dGVkIHRvcGljcyBmb2xsb3dpbmcgbGFzdCB3ZWVrJ3MgYXV0b21vdGl2ZSBtZWV0aW5nLiBUaGUg bGluayBmb3Igc3VibWlzc2lvbnMgaXMgYXQgaHR0cHM6Ly9ldmVudHMubGludXhmb3VuZGF0aW9u Lm9yZy9ldmVudHMveGVuc3VtbWl0LTIwMTkvcHJvZ3JhbS9jYWxsLWZvci1wcm9wb3NhbHMvCgpE ZXNpZ24gc2Vzc2lvbnMgY2FuIGFsc28gYWxyZWFkeSBiZSBzdWJtaXR0ZWQgLSBzZWUgaHR0cHM6 Ly9ldmVudHMubGludXhmb3VuZGF0aW9uLm9yZy9ldmVudHMveGVuc3VtbWl0LTIwMTkvcHJvZ3Jh bS9kZXNpZ24tc2Vzc2lvbnMvIApUaGVyZSBpcyBubyBkZWFkbGluZSBmb3IgZGVzaWduIHNlc3Np b25zLiBIb3dldmVyLCBlYXJseSBzdWJtaXNzaW9ucyBhcmUgaW1wb3J0YW50IGFzIG1hbnkgYXR0 ZW5kZWVzIHdpbGwgZGVjaWRlIHdoZXRoZXIgdG8gYXR0ZW5kIHRoZSBldmVudCBiYXNlZCBvbiB0 aGUgcHJvZ3JhbS4KCkJlc3QgUmVnYXJkcwpMYXJzCgoKIApfX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWly YWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0 Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Mon Apr 08 10:59:38 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 08 Apr 2019 10:59:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDRzm-0000AD-DB; Mon, 08 Apr 2019 10:59: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 1hDRzl-0000A8-1v for mirageos-devel@lists.xenproject.org; Mon, 08 Apr 2019 10:59:21 +0000 X-Inumbo-ID: 5afa7af7-59ed-11e9-92d7-bc764e045a96 Received: from EUR03-VE1-obe.outbound.protection.outlook.com (unknown [2a01:111:f400:fe09::60b]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 5afa7af7-59ed-11e9-92d7-bc764e045a96; Mon, 08 Apr 2019 10:59:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=dMRGMy13uj6CQTg0qfRR+8HwY24WjWUXNM0RrSeCouA=; b=l95PC//VzZvln17lkB8LHP7C/DCgiZh2H+945AERlEfmWH9K2vN+JJN5M7841a75sOoiSlFEW4EpYmAwczy+tX6x3Znsu74Hc2ft6nH3ygnYXC5yhVn/XMIIa+0Ow2HO8Tggjsd5boblxhTYQuWDqxff1LdO7szkjofX/FcJcBE= Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com (52.133.5.154) by HE1PR0702MB3754.eurprd07.prod.outlook.com (52.133.6.160) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1792.8; Mon, 8 Apr 2019 10:59:16 +0000 Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099]) by HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099%4]) with mapi id 15.20.1792.009; Mon, 8 Apr 2019 10:59:15 +0000 From: Hiroshi Doyu To: "mirageos-devel@lists.xenproject.org" Thread-Topic: How to support a larger disk with hvt + kv_ro=direct (pass-through)? Thread-Index: AQHU4/M/sxj4PdYfREevGPsyR3AqLqYyLE4A Date: Mon, 8 Apr 2019 10:59:15 +0000 Message-ID: <1554721154.2841.53.camel@ericsson.com> References: <1553618698.2841.14.camel@ericsson.com> In-Reply-To: <1553618698.2841.14.camel@ericsson.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Evolution 3.18.5.2-0ubuntu3.2 authentication-results: spf=none (sender IP is ) smtp.mailfrom=hiroshi.doyu@ericsson.com; x-originating-ip: [89.166.49.243] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: d4e693f1-ef6f-48b6-d65d-08d6bc113de8 x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600139)(711020)(4605104)(2017052603328)(7193020); SRVR:HE1PR0702MB3754; x-ms-traffictypediagnostic: HE1PR0702MB3754: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-forefront-prvs: 0001227049 x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(376002)(346002)(39860400002)(396003)(366004)(136003)(199004)(189003)(68736007)(53936002)(316002)(6246003)(97736004)(76176011)(99286004)(26005)(86362001)(966005)(229853002)(6486002)(186003)(6506007)(2906002)(2501003)(14454004)(102836004)(25786009)(5640700003)(3846002)(6436002)(6116002)(103116003)(5660300002)(8936002)(50226002)(11346002)(2616005)(14444005)(486006)(66066001)(256004)(8676002)(446003)(44832011)(476003)(81156014)(36756003)(2351001)(106356001)(71200400001)(6306002)(305945005)(478600001)(7736002)(105586002)(6512007)(71190400001)(6916009)(81166006)(99106002); DIR:OUT; SFP:1101; SCL:1; SRVR:HE1PR0702MB3754; H:HE1PR0702MB3531.eurprd07.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; received-spf: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: a0PANyK1GqUkZRLei5BAMzVXws1zXPE+DCaD+K5WBhnCwauOJpglZtIfxJim3rPRCMsyMyBI1swAuDXSB50GutA3drqKtizmoeNKvsHwyiwBq1ajSF4iYoXyqAiqUd94o2yxoIlfU+jgcZMstj+AeFHp2Vtts5qtMcjUThyoe+EROILf5p6bZUWZzus8DFGExDzLKGh7O2QU4KpDdVNRNB2/2g97pSBb8t1tt38KoLNUzI/AEIqj4LhttsaMt7xv75g17CcQ8CzEOeurMUYx6Vg1c3LWTJ+dnOR3GTzlb51cajAkInM9UeLw6LL3M6BRdseiseoY5uRpuXCT7nK7g2tt1HpRm3W8RZ8sHUK4swYSAEDbN6/TMF7nThBNouIIXfIVQ3fVWhbdzFN5S7x8LnyKVvhqdI2xRQheWdTiT1Y= Content-ID: MIME-Version: 1.0 X-OriginatorOrg: ericsson.com X-MS-Exchange-CrossTenant-Network-Message-Id: d4e693f1-ef6f-48b6-d65d-08d6bc113de8 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Apr 2019 10:59:15.7568 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 92e84ceb-fbfd-47ab-be52-080c6b87953f X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0702MB3754 Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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" SSBmb3VuZCB0aGF0ICItLWt2X3JvPWZhdCIgaW50ZWdyYXRlcyBGQVQrZGlzay5pbWFnZSBhdXRv bWF0aWNhbGx5Lg0KVGhpcyB3b3JrcyB3aXRoICItdCB1bml4IC0ta3Zfcm89ZmF0IiBidXQgbm90 IHdpdGggIi10IGh2dCAtLWt2X3JvPWZhdCIgYXMgYmVsb3cuDQpBbnkgaGludCB0byBpbnZlc3Rp Z2F0ZSBmdXJ0aGVyPw0KDQokfi9zcmMvbWlyYWdlLXNrZWxldG9uL2RldmljZS11c2FnZS9rdl9y byQgc3VkbyAuL3NvbG81LWh2dCAtLWRpc2s9ZmF0X2Jsb2NrMS5pbWcga3Zfcm8uaHZ0IC1sICIq OmRlYnVnIg0KwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgfMKgwqDCoMKgwqDCoF9fX3wNCsKgIF9f fMKgwqBfIFzCoMKgfMKgwqBfIFwgX18gXA0KXF9fIFwgKMKgwqDCoHwgfCAowqDCoMKgfMKgwqAp IHwNCl9fX18vXF9fXy8gX3xcX19fL19fX18vDQpTb2xvNTogTWVtb3J5IG1hcDogNTEyIE1CIGFk ZHJlc3NhYmxlOg0KU29sbzU6wqDCoMKgwqDCoHVudXNlZCBAICgweDAgLSAweGZmZmZmKQ0KU29s bzU6wqDCoMKgwqDCoMKgwqB0ZXh0IEAgKDB4MTAwMDAwIC0gMHgyMmJmZmYpDQpTb2xvNTrCoMKg wqDCoMKgcm9kYXRhIEAgKDB4MjJjMDAwIC0gMHgyNjhmZmYpDQpTb2xvNTrCoMKgwqDCoMKgwqDC oGRhdGEgQCAoMHgyNjkwMDAgLSAweDM0YmZmZikNClNvbG81OsKgwqDCoMKgwqDCoMKgaGVhcCA+ PSAweDM0YzAwMCA8IHN0YWNrIDwgMHgyMDAwMDAwMA0KMjAxOS0wNC0wOCAxMDoyNzoyMyAtMDA6 MDA6IEVSUiBbYXBwbGljYXRpb25dIG1haW46IChGYWlsdXJlICJlcnJvciByZWFkaW5nIGVzc2Vu dGlhbCBzZWN0b3JzOiBJbnZhbGlkIGFyZ3VtZW50IikNClJhaXNlZCBhdCBmaWxlICJzcmMvY29y ZS9sd3QubWwiLCBsaW5lIDI5OTgsIGNoYXJhY3RlcnMgMjAtMjkNCkNhbGxlZCBmcm9tIGZpbGUg ImxpYi9tYWluLm1sIiwgbGluZSA2NCwgY2hhcmFjdGVycyAxNS0yNQ0KDQoNCkFsc28gImZhdCIg Y29tbWFuZCBzZWVtcyB0byBuZWVkICItLXVuYnVmZmVyZWQiIGFwcGVuZGVkLg0KDQpPbiBUdWUs IDIwMTktMDMtMjYgYXQgMTg6NDQgKzAyMDAsIEhpcm9zaGkgRG95dSB3cm90ZToNCj4gSGVsbG8s DQo+IA0KPiBDb25maWd1cmVkIHVuaXgra3Zfcm89ZGlyZWN0LCBpdCBzZWVtcyB0byByZWFkIGEg ZmlsZSBmcm9tIGRpc2sgZHluYW1pY2FsbHlbMV0uDQo+IEJ1dCBodnQra3Zfcm89ZGlyZWN0IHNl ZW1zIHRvIHVzZSBhIHJhbWRpc2soY3J1bmNoPykgc3RhdGljYWxseVsyXS4NCj4gDQo+IEhvdyBj YW4gaHZ0IGRvIHRoZSBzaW1pbGFyIHBhc3MtdGhyb3VnaCB0byBhIGZpbGUgYXMgInVuaXgra3Zf cm89ZGlyZWN0Ij8NCj4gDQo+IFsxXQ0KPiAkIG1pcmFnZSBjb25maWd1cmUgLXQgdW5peCAtLWt2 X3JvPWRpcmVjdCAmJiBtYWtlIGRlcGVuZCAmJiBtYWtlDQo+ICQgLi9rdl9yb8KgDQo+IDIwMTkt MDMtMjYgMTY6MzE6MjggKzAwOjAwOiBJTkYgW2FwcGxpY2F0aW9uXSBmb28NCj4gJCBlY2hvIC1u ICJoZWxsbyIgPiB0L3NlY3JldMKgDQo+ICQgLi9rdl9yb8KgDQo+IDIwMTktMDMtMjYgMTY6MzI6 MTUgKzAwOjAwOiBJTkYgW2FwcGxpY2F0aW9uXSBoZWxsbw0KPiANCj4gWzJdDQo+ICQgbWlyYWdl IGNvbmZpZ3VyZSAtdCBodnQgLS1rdl9ybz1kaXJlY3QgJiYgbWFrZSBkZXBlbmQgJiYgbWFrZQ0K PiAkIHN1ZG8gLi9zb2xvNS1odnQga3Zfcm8uaHZ0wqANCj4gMjAxOS0wMy0yNiAxNjozNDoxOSAt MDA6MDA6IElORiBbYXBwbGljYXRpb25dIGZvbw0KPiAkIGVjaG8gLW4gImhlbGxvIiA+IHQvc2Vj cmV0wqANCj4gJCBzdWRvIC4vc29sbzUtaHZ0IGt2X3JvLmh2dMKgDQo+IDIwMTktMDMtMjYgMTY6 MzU6MTEgLTAwOjAwOiBJTkYgW2FwcGxpY2F0aW9uXSBmb28NCj4gDQo+IHRoZSBhYm92ZSBjb2Rl IGNoYW5nZSBmb3Igc2tlbHRvbi9kZXZpY2UtdXNhZ2Uva3Zfcm86DQo+IGh0dHBzOi8vZ2l0aHVi LmNvbS9laGlyZG95L21pcmFnZS1za2VsZXRvbi9jb21taXQvYmZmNjY4OGUwNzVmZmVjNjc3MjNk NTY2M2E5ODQyNjNiZmZhODU2Mw0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxp c3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9s aXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Mon Apr 08 12:47:08 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 08 Apr 2019 12:47: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 1hDTfz-0001eG-CP; Mon, 08 Apr 2019 12:47:03 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDTfx-0001e7-3l for mirageos-devel@lists.xenproject.org; Mon, 08 Apr 2019 12:47:02 +0000 X-Inumbo-ID: 6578b67f-59fc-11e9-92d7-bc764e045a96 Received: from mail2.protonmail.ch (unknown [185.70.40.22]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 6578b67f-59fc-11e9-92d7-bc764e045a96; Mon, 08 Apr 2019 12:46:58 +0000 (UTC) Date: Mon, 08 Apr 2019 12:46:53 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1554727617; bh=us/AHe9CynaTWFR2M7oJIVc4DRzwaIE881KjJ91yR9M=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=HZgF5ZXsYwnyYWbl3TnoVfrkpgh/3aNFWxdqDpeyM0na4/JtRSHYTq7gzAaIlCGzQ tGbYACV7jxnXiEy0dBwkhsOmkYLOH3YBJh3E3KKPwj6Txf2RlCW8hivMWvwsFTL7+m m6LUuE2ty54BSeXSAvMpyGI38q32KayN1T6NmXsI= 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.2 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.protonmail.ch Subject: [MirageOS-devel] Ocaml, Mirage and retpoline 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: multipart/mixed; boundary="===============5818362701022894211==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" This is a multi-part message in MIME format. --===============5818362701022894211== Content-Type: multipart/alternative; boundary="b1_edebb0540070ab9e4a46d1019b437413" This is a multi-part message in MIME format. --b1_edebb0540070ab9e4a46d1019b437413 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 SGkgR3V5cwoKSGFzIGFueW9uZSB0cmllZCB0byBidWlsZC9ydW4gYSBNaXJhZ2UgVW5pa2VybmVs IHdpdGggcmV0cG9saW5lIGVuYWJsZWQ/IEkgYW0gc3R1Y2sgYXQgdGhlIGNhbGwgdG8gY2FtbF9z dGFydHVwLCBFdmVyeXRoaW5nIGJ1aWxkcyBvaywgYnV0IEkgZ2V0IGEgcGFnZSBmYXVsdCBhdCBj YW1sX3N0YXJ0dXAKCkFueSB0aG91Z2h0cyBvciB0aXBzIHdvdWxkIGJlIGdyZWF0IQoKQ2hlZXJz IEFkYW0KCnBzIEkgYW0gdGFyZ2V0aW5nIGh2dA== --b1_edebb0540070ab9e4a46d1019b437413 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 SGkgR3V5czxkaXY+PGJyPjwvZGl2PjxkaXY+SGFzIGFueW9uZSB0cmllZCB0byBidWlsZC9ydW4g YSBNaXJhZ2UgVW5pa2VybmVsIHdpdGggcmV0cG9saW5lIGVuYWJsZWQ/IEkgYW0gc3R1Y2sgYXQg dGhlIGNhbGwgdG8gY2FtbF9zdGFydHVwLCBFdmVyeXRoaW5nIGJ1aWxkcyBvaywgYnV0IEkgZ2V0 IGEgcGFnZSBmYXVsdCBhdCBjYW1sX3N0YXJ0dXA8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PkFu eSB0aG91Z2h0cyBvciB0aXBzIHdvdWxkIGJlIGdyZWF0ITwvZGl2PjxkaXY+PGJyPjwvZGl2Pjxk aXY+Q2hlZXJzIEFkYW08L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PnBzIEkgYW0gdGFyZ2V0aW5n IGh2dDwvZGl2Pg== --b1_edebb0540070ab9e4a46d1019b437413-- --===============5818362701022894211== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============5818362701022894211==-- From mirageos-devel-bounces@lists.xenproject.org Mon Apr 08 14:05:50 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 08 Apr 2019 14:05:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDUu7-0007ti-FP; Mon, 08 Apr 2019 14:05:43 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDUu6-0007ta-0J for mirageos-devel@lists.xenproject.org; Mon, 08 Apr 2019 14:05:42 +0000 X-Inumbo-ID: 63d8fea5-5a07-11e9-92d7-bc764e045a96 Received: from mx0a-001b2d01.pphosted.com (unknown [148.163.156.1]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 63d8fea5-5a07-11e9-92d7-bc764e045a96; Mon, 08 Apr 2019 14:05:40 +0000 (UTC) Received: from pps.filterd (m0098399.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x38DsXBZ068083 for ; Mon, 8 Apr 2019 10:05:39 -0400 Received: from smtp.notes.na.collabserv.com (smtp.notes.na.collabserv.com [192.155.248.66]) by mx0a-001b2d01.pphosted.com with ESMTP id 2rr7911y5g-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 08 Apr 2019 10:05:38 -0400 Received: from localhost by smtp.notes.na.collabserv.com with smtp.notes.na.collabserv.com ESMTP for from ; Mon, 8 Apr 2019 14:05:37 -0000 Received: from us1a3-smtp07.a3.dal06.isc4sb.com (10.146.103.14) by smtp.notes.na.collabserv.com (10.106.227.127) with smtp.notes.na.collabserv.com ESMTP; Mon, 8 Apr 2019 14:03:04 -0000 Received: from us1a3-mail08.a3.dal06.isc4sb.com ([10.146.77.236]) by us1a3-smtp07.a3.dal06.isc4sb.com with ESMTP id 2019040814030266-552781 ; Mon, 8 Apr 2019 14:03:02 +0000 In-Reply-To: <1554721154.2841.53.camel@ericsson.com> From: "Ricardo Koller" To: hiroshi.doyu@ericsson.com Date: Mon, 8 Apr 2019 14:03:03 +0000 Sensitivity: References: <1554721154.2841.53.camel@ericsson.com>, <1553618698.2841.14.camel@ericsson.com> Importance: Normal X-Priority: 3 (Normal) X-Mailer: IBM Verse Build 17009-1545 | IBM Domino Build SCN1812108_20180501T0841_FP35 March 19, 2019 at 07:18 X-LLNOutbound: False X-Disclaimed: 33287 X-TNEFEvaluated: 1 x-cbid: 19040814-6357-0000-0000-00000A568DAD X-IBM-SpamModules-Scores: BY=0; FL=0; FP=0; FZ=0; HX=0; KW=0; PH=0; SC=0.417846; ST=0; TS=0; UL=0; ISC=; MB=0.005854 X-IBM-SpamModules-Versions: BY=3.00010889; HX=3.00000242; KW=3.00000007; PH=3.00000004; SC=3.00000284; SDB=6.01186131; UDB=6.00621199; IPR=6.00966889; BA=6.00006276; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00026343; XFM=3.00000015; UTC=2019-04-08 14:05:36 X-IBM-AV-DETECTION: SAVI=unsuspicious REMOTE=unsuspicious XFE=unused X-IBM-AV-VERSION: SAVI=2019-04-08 10:14:46 - 6.00009778 x-cbparentid: 19040814-6358-0000-0000-00006F66B20A Message-Id: X-Proofpoint-UnRewURL: 6 URL's were un-rewritten MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-04-08_05:, , signatures=0 X-Proofpoint-Spam-Reason: safe Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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="===============2559175838173785813==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============2559175838173785813== Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,
 
I'm pretty sure it's this: https://github.c= om/Solo5/solo5/blob/master/bindings/hvt/block.c#L77-L80
And from tho= se three checks, the most likely one failing is that the request is larger = than a block.
 
Could you confirm that please? in that case, then we need= to split the request somewhere, or even better, fix this: https://github.com/Solo5/solo5/i= ssues/325

Ricardo
 
----- Original message -----
From: Hiroshi Doyu <h= iroshi.doyu@ericsson.com>
Sent by: "MirageOS-devel" <mirageos-deve= l-bounces@lists.xenproject.org>
To: "mirageos-devel@lists.xenproject.= org" <mirageos-devel@lists.xenproject.org>
Cc:
Subject: Re: [Mi= rageOS-devel] How to support a larger disk with hvt + kv_ro=3Ddirect (pass-= through)?
Date: Mon, Apr 8, 2019 7:01 AM
 
I found that "--kv_ro=3Dfat" integrates FAT+disk.image automatically.<= br>This works with "-t unix --kv_ro=3Dfat" but not with "-t hvt --kv_ro=3Df= at" as below.
Any hint to investigate further?

$~/src/mirage-skel= eton/device-usage/kv_ro$ sudo ./solo5-hvt --disk=3Dfat_block1.img kv_ro.hvt= -l "*:debug"
         &nbs= p;  |      ___|
  __| =  _ \  |  _ \ __ \
\__ \ (   | | = (   |  ) |
____/\___/ _|\___/____/
Solo5: Me= mory map: 512 MB addressable:
Solo5:     unused= @ (0x0 - 0xfffff)
Solo5:       text = @ (0x100000 - 0x22bfff)
Solo5:     rodata @ (0x= 22c000 - 0x268fff)
Solo5:       data = @ (0x269000 - 0x34bfff)
Solo5:       = heap >=3D 0x34c000 < stack < 0x20000000
2019-04-08 10:27:23 -00= :00: ERR [application] main: (Failure "error reading essential sectors: Inv= alid argument")
Raised at file "src/core/lwt.ml", line 2998, characters = 20-29
Called from file "lib/main.ml", line 64, characters 15-25

<= br>Also "fat" command seems to need "--unbuffered" appended.

On Tue,= 2019-03-26 at 18:44 +0200, Hiroshi Doyu wrote:
> Hello,
>
&= gt; Configured unix+kv_ro=3Ddirect, it seems to read a file from disk dynam= ically[1].
> But hvt+kv_ro=3Ddirect seems to use a ramdisk(crunch?) s= tatically[2].
>
> How can hvt do the similar pass-through to a = file as "unix+kv_ro=3Ddirect"?
>
> [1]
> $ mirage configu= re -t unix --kv_ro=3Ddirect && make depend && make
> = $ ./kv_ro 
> 2019-03-26 16:31:28 +00:00: INF [application] foo> $ echo -n "hello" > t/secret 
> $ ./kv_ro 
>= ; 2019-03-26 16:32:15 +00:00: INF [application] hello
>
> [2]> $ mirage configure -t hvt --kv_ro=3Ddirect && make depend &a= mp;& make
> $ sudo ./solo5-hvt kv_ro.hvt 
> 2019-03-26= 16:34:19 -00:00: INF [application] foo
> $ echo -n "hello" > t/se= cret 
> $ sudo ./solo5-hvt kv_ro.hvt 
> 2019-03-26 16= :35:11 -00:00: INF [application] foo
>
> the above code change = for skelton/device-usage/kv_ro:
> https://github.com/ehirdoy/mirage-skeleton/commit/bff6688e075ff= ec67723d5663a984263bffa8563
________________________________________= _______
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.o= rg
https://lists.xenproject.org/mailman/listinfo/mirageo= s-devel
 
 

--===============2559175838173785813== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============2559175838173785813==-- From mirageos-devel-bounces@lists.xenproject.org Mon Apr 08 23:02:52 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 08 Apr 2019 23:02: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 1hDdHf-0004Un-TY; Mon, 08 Apr 2019 23:02:35 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDdHe-0004Uh-Tb for mirageos-devel@lists.xenproject.org; Mon, 08 Apr 2019 23:02:34 +0000 X-Inumbo-ID: 6399059f-5a52-11e9-92d7-bc764e045a96 Received: from relay2-d.mail.gandi.net (unknown [217.70.183.194]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 6399059f-5a52-11e9-92d7-bc764e045a96; Mon, 08 Apr 2019 23:02:32 +0000 (UTC) X-Originating-IP: 45.21.62.210 Received: from [10.137.0.16] (45-21-62-210.lightspeed.mdsnwi.sbcglobal.net [45.21.62.210]) (Authenticated sender: guybrush@somerandomidiot.com) by relay2-d.mail.gandi.net (Postfix) with ESMTPSA id 1A3C840005 for ; Mon, 8 Apr 2019 23:02:30 +0000 (UTC) From: Mindy Preston To: mirageos-devel@lists.xenproject.org Message-ID: Date: Mon, 8 Apr 2019 18:02:28 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Language: en-US Subject: [MirageOS-devel] tests, coverage, and the modern duniverse 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" SGkgYWxsLAoKSSByZWNlbnRseSBnb3QgaW5zcGlyZWQgdG8gcmV2aXNpdCB0ZXN0IGNvdmVyYWdl IGluZm9ybWF0aW9uIGdlbmVyYXRpb24uIApJdCBzZWVtcyB0aGF0IHRoZSBjdXJyZW50IHN0YXRl IG9mIHRoaXMgZWNvc3lzdGVtIHVzZXMgYGR1bmVgIGZvciAKYnVpbGRpbmcgYW5kIHNvbWUgaW5z dHJ1Y3Rpb25zIGluIGBwcmVwcm9jZXNzYCBzdGFuemFzIHRvIGludm9rZSAKYGJpc2VjdF9wcHhg LCB3aGljaCBpdHNlbGYgaGFzIGxvZ2ljIHRvIG9ubHkgcHJvZHVjZSBjb3ZlcmFnZSAKaW5mb3Jt YXRpb24gaWYgYW4gZW52aXJvbm1lbnQgdmFyaWFibGUgaXMgc2V0IHdoZW4gY2FsbGVkIGluIGEg Y2VydGFpbiBtb2RlLgoKVW5mb3J0dW5hdGVseSwgd2hpbGUgdGhlICppbnZvY2F0aW9uKiBvZiBg YmlzZWN0X3BweGAgY2FuIGJlIHNldCAKY29uZGl0aW9uYWxseSAoc2VlIGJpc2VjdF9wcHgncyBp bnN0cnVjdGlvbnNbMV0pIGZvciBkZXRhaWxzKSwgdGhlIApkZXBlbmRlbmN5IG9uIGBiaXNlY3Rf cHB4YCBpcyB1bmNvbmRpdGlvbmFsIC0gZXZlbiBpZiB0aGUgZW52aXJvbm1lbnQgCnZhcmlhYmxl IGlzbid0IHNldCwgYGR1bmUgYnVpbGRgIHdpbGwgZmFpbCBpZiBgYmlzZWN0X3BweGAgaXMgbm90 IGluc3RhbGxlZC4KCkl0IHNlZW1zIHRoYXQgbW9zdCBwcm9qZWN0cyB1c2luZyBgYmlzZWN0X3Bw eGAgdXNlIGEgc29sdXRpb24gdGhhdCAKaW52b2x2ZXMgc29tZSBwcmUtcmVsZWFzZSBtYXNzYWdp bmcgb2YgYGR1bmVgIGZpbGVzIHRvIHJlbW92ZSAKYGJpc2VjdF9wcHhgIGZyb20gYHByZXByb2Nl c3MgKHBwc2Agc3RhbnphcywgYW5kIHRoZW4gcmVsZWFzZSBhbiBgb3BhbWAgCmZpbGUgdGhhdCBk b2Vzbid0IG1lbnRpb24gYGJpc2VjdF9wcHhgLCBidXQga2VlcCBgYmlzZWN0X3BweGAgaW4gdGhl aXIgCnJlcG9zaXRvcnktbG9jYWwgYG9wYW1gIGZpbGVzLgoKSSB0aGluayB0aGlzIGtpbmQgb2Yg d29ya2Zsb3cgaXMgT0sgZm9yIHJlcG9zaXRvcmllcyB0aGF0IGhhdmUgb25lIG9yIAp0d28gdmVy eSBpbnZvbHZlZCBtYWludGFpbmVycywgYnV0IGl0IHNlZW1zIGVycm9yLXByb25lIGZvciBNaXJh Z2VPUyAKcmVwb3NpdG9yaWVzLCB3aGVyZSB0aGVyZSdzIGEgdGVhbSBvZiBtYWludGFpbmVycyB0 aGF0IGhhdmUgdmFyeWluZyAKYW1vdW50cyBvZiBpbnZvbHZlbWVudC7CoCBJIGNhbiB2ZXJ5IGVh c2lseSBpbWFnaW5lIG15c2VsZiBnb2luZyB0byBtYWtlIAphIHJlbGVhc2Ugb2YgYSByZXBvc2l0 b3J5IHdpdGggdGhpcyBzdHJhdGVneSBhbmQgYWNjaWRlbnRhbGx5IHJlbGVhc2luZyAKdGhlIGJp c2VjdGVkIHZlcnNpb24uCgpJJ20gaW50ZXJlc3RlZCBpZiBhbnlvbmUgaGFzIGEgc29sdXRpb24g aW4gbWluZCBmb3IgdGhpcyB0aGF0J3MgYSBiaXQgCm1vcmUgYXV0b21hdGljLgoKWzFdIGh0dHBz Oi8vZ2l0aHViLmNvbS9hYW50cm9uL2Jpc2VjdF9wcHgjaW5zdHJ1Y3Rpb25zCgooTXVjaCBvZiB0 aGUgdGV4dCBvZiB0aGlzIG1lc3NhZ2UgaXMgY29waWVkIGZyb20gYSBjb21tZW50IG9uIApodHRw czovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS10Y3BpcC9pc3N1ZXMvMTYwICwgZmlsZWQgaW4g MjAxNSBhbmQgCm1heWJlIGR1ZSBmb3IgYSByZXNvbHV0aW9uLi4uKQoKLU1pbmR5CgoKX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwg bWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8v bGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 07:06:35 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 07:06: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 1hDkps-0001EO-NK; Tue, 09 Apr 2019 07:06: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 1hDkpq-0001EJ-9m for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 07:06:22 +0000 X-Inumbo-ID: f8e9e8e4-5a95-11e9-92d7-bc764e045a96 Received: from mail-40132.protonmail.ch (unknown [185.70.40.132]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id f8e9e8e4-5a95-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 07:06:19 +0000 (UTC) Date: Tue, 09 Apr 2019 07:06:11 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1554793577; bh=vQMlVeVYH7bTqq9mzzJaJMRvezNenW5Oc1I9YmemCzs=; h=Date:To:From:Cc:Reply-To:Subject:Feedback-ID:From; b=PUSDi9nEu3ZzUnVeI2uZnTec39Hl6udHwsNkMRTprRQIYGKaEgDgAmlt6v/9mNrrN rav+oI/DubRfzNEj5tnqj1Q664A8ScqBxkqgj9GsYakXryo94cRX5icGnV82SaANej T2UUaHesYZW/m7ON5KT7arEBsiO6jYpbwIq+jp3A= To: Adam Steen From: Adam Steen Message-ID: Feedback-ID: _SaTgZn99prEhvtpB6w7DPQr7BuOHs-6ceZ2WnIqqt_k9FZ6Ugv17p2sGpYH-nmrIPNkCAEKNlLw6zU_8N1chA==:Ext:ProtonMail MIME-Version: 1.0 X-Spam-Status: No, score=-1.2 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.protonmail.ch Subject: Re: [MirageOS-devel] Consistent CFLAGS (was: Ocaml, Mirage and retpoline) 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" SGkgQWxsCgpJIHdhcyBhYmxlIHRvIGdldCAtbXJldHBvbGluZSB3b3JraW5nIGZvciBtaXJhZ2Ut c2tlbGV0b24vdHV0b3JpYWwvbm9vcCAoYW5kIGhlbGxvKSBidXQgYW55dGhpbmcgbW9yZSBjb21w bGV4IGxpa2UgbWlyYWdlLXNrZWxldG9uL3R1dG9yaWFsL3N0YXRpY193ZWJzaXRlX3RscyBhbmQg aSBoaXQgYSBwcm9ibGVtIHdoZXJlIHRoZSBjZmxhZyBiZWNvbWUgaW5jb25zaXN0ZW50IGFuZCB0 aGUgdW5pa2VybmVsIHdpbGwgZmFpbCB0byBydW4uCgpJcyBhIHdheSBvciBhIGlkZWEgZm9yIHRo ZSBmdXR1cmUgdG8gZW5hYmxlIHBhc3NpbmcgY2ZsYWdzIHRvIGFsbCBkZXBlbmRlbmNpZXM/CgpD aGVlcnMKQWRhbQoK4oCQ4oCQ4oCQ4oCQ4oCQ4oCQ4oCQIE9yaWdpbmFsIE1lc3NhZ2Ug4oCQ4oCQ 4oCQ4oCQ4oCQ4oCQ4oCQCk9uIE1vbmRheSwgQXByaWwgOCwgMjAxOSA4OjQ2IFBNLCBBZGFtIFN0 ZWVuIDxhZGFtQGFkYW1zdGVlbi5jb20uYXU+IHdyb3RlOgoKPiBIaSBHdXlzCj4KPiBIYXMgYW55 b25lIHRyaWVkIHRvIGJ1aWxkL3J1biBhIE1pcmFnZSBVbmlrZXJuZWwgd2l0aCByZXRwb2xpbmUg ZW5hYmxlZD8gSSBhbSBzdHVjayBhdCB0aGUgY2FsbCB0byBjYW1sX3N0YXJ0dXAsIEV2ZXJ5dGhp bmcgYnVpbGRzIG9rLCBidXQgSSBnZXQgYSBwYWdlIGZhdWx0IGF0IGNhbWxfc3RhcnR1cAo+Cj4g QW55IHRob3VnaHRzIG9yIHRpcHMgd291bGQgYmUgZ3JlYXQhCj4KPiBDaGVlcnMgQWRhbQo+Cj4g cHMgSSBhbSB0YXJnZXRpbmcgaHZ0CgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxA bGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFu L2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 07:42:05 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 07:42: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 1hDlOJ-00046v-EP; Tue, 09 Apr 2019 07:41:59 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDlOI-00046q-Af for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 07:41:58 +0000 X-Inumbo-ID: f2b774b7-5a9a-11e9-92d7-bc764e045a96 Received: from EUR01-VE1-obe.outbound.protection.outlook.com (unknown [2a01:111:f400:fe1f::613]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id f2b774b7-5a9a-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 07:41:56 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=X28NLa/Evx9C0CNnrikkxn6v3pUEuNv7hYOxUGl/+uM=; b=JKRkUpKQDiPuC8pu4PSt2l+ulthWzWmJVdKdh2LlXrHNxnwM5AEptno5ekEJpHag0xpfdUOaiht1F6xQJzKwWxJLNqUFmJAu3z5bZOaleyrHzpV4OwN8dZbsh88bauzhyabg1riTkQbAAj+EyY7k7ppFeRJk9AkR1vreNZ7+NZ8= Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com (52.133.5.154) by HE1PR0702MB3723.eurprd07.prod.outlook.com (52.133.6.153) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1792.8; Tue, 9 Apr 2019 07:41:54 +0000 Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099]) by HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099%4]) with mapi id 15.20.1792.009; Tue, 9 Apr 2019 07:41:54 +0000 From: Hiroshi Doyu To: "mirageos-devel@lists.xenproject.org" Thread-Topic: How to support a larger disk with hvt + kv_ro=direct (pass-through)? Thread-Index: AQHU4/M/sxj4PdYfREevGPsyR3AqLqYyLE4AgAFbMYA= Date: Tue, 9 Apr 2019 07:41:53 +0000 Message-ID: <1554795713.2841.63.camel@ericsson.com> References: <1553618698.2841.14.camel@ericsson.com> <1554721154.2841.53.camel@ericsson.com> In-Reply-To: <1554721154.2841.53.camel@ericsson.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Evolution 3.18.5.2-0ubuntu3.2 authentication-results: spf=none (sender IP is ) smtp.mailfrom=hiroshi.doyu@ericsson.com; x-originating-ip: [89.166.49.243] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 9a5d64e6-ffd7-44a6-f499-08d6bcbed614 x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600139)(711020)(4605104)(2017052603328)(7193020); SRVR:HE1PR0702MB3723; x-ms-traffictypediagnostic: HE1PR0702MB3723: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-forefront-prvs: 000227DA0C x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(346002)(136003)(396003)(39860400002)(376002)(366004)(199004)(189003)(2906002)(2351001)(11346002)(76176011)(103116003)(2616005)(476003)(256004)(26005)(6506007)(53936002)(50226002)(446003)(186003)(99286004)(486006)(102836004)(44832011)(4744005)(86362001)(36756003)(6246003)(25786009)(66066001)(71200400001)(71190400001)(3846002)(316002)(6116002)(105586002)(6486002)(6916009)(966005)(5660300002)(14454004)(6512007)(97736004)(6306002)(8676002)(2501003)(8936002)(68736007)(7736002)(305945005)(6436002)(478600001)(106356001)(81156014)(229853002)(81166006)(5640700003)(99106002); DIR:OUT; SFP:1101; SCL:1; SRVR:HE1PR0702MB3723; H:HE1PR0702MB3531.eurprd07.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; received-spf: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: 5i1LJVSYOzpqH9tbrq5HGVXOWjZA8grcOx666n/A0h5ozzpnq6g+8bC9bMVDMdO3f+PRfsHV5pCBsGhha1AJv+/0CwJCy9/p5/pMGUkeh5VKPnuupCoQ2y00PQdRYESSOZ4o+92PUdWo0EWnLBzWTmHDaj6OIMZkXK5Y1qNx+HTeW6EIK6SuTHLl3hZH0WMFdKfzbKWF3V2VnSnqFaV72iww52B+bugFEueP4r19PmUK6CHzHlmvvVfnpPeJ1o8AO50vdTX/ECpAyIKoqF8WCXvyMu8Nge+U1cCaJi5qT/sboMLse4pgnKafJZillYWTj1FVNgM5N2564XnDCnSkjVS9ctNKGkcjSKAjziNjb7t3WHNDKN4BtVs4KriObdARhwIZldwhN7wkNl58eiLqklBcN+upvrCQR6XI1NHvARY= Content-ID: MIME-Version: 1.0 X-OriginatorOrg: ericsson.com X-MS-Exchange-CrossTenant-Network-Message-Id: 9a5d64e6-ffd7-44a6-f499-08d6bcbed614 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Apr 2019 07:41:53.9698 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 92e84ceb-fbfd-47ab-be52-080c6b87953f X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0702MB3723 Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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" T24gTW9uLCAyMDE5LTA0LTA4IGF0IDEzOjU5ICswMzAwLCBIaXJvc2hpIERveXUgd3JvdGU6DQo+ IEkgZm91bmQgdGhhdCAiLS1rdl9ybz1mYXQiIGludGVncmF0ZXMgRkFUK2Rpc2suaW1hZ2UgYXV0 b21hdGljYWxseS4NCj4gVGhpcyB3b3JrcyB3aXRoICItdCB1bml4IC0ta3Zfcm89ZmF0IiBidXQg bm90IHdpdGggIi10IGh2dCAtLWt2X3JvPWZhdCIgYXMgYmVsb3cuDQo+IEFueSBoaW50IHRvIGlu dmVzdGlnYXRlIGZ1cnRoZXI/DQoNCldpdGggdGhlIGZvbGxvd2luZyBjaGFuZ2UsIGt2X3JvIHdv cmtzIHdpdGggaHZ0K2ZhdCBub3cuDQpodHRwczovL2dpdGh1Yi5jb20vZWhpcmRveS9vY2FtbC1m YXQvY29tbWl0LzMyODk0ZmVlZDdjOTI0OGFlNTBkMzMyZTRmYWJkZWVlMjJmMGRmOGENCl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVs IG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczov L2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 09:06:19 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 09:06:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDmho-0002si-5g; Tue, 09 Apr 2019 09:06:12 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDmhn-0002sW-3q for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 09:06:11 +0000 X-Inumbo-ID: b66f3609-5aa6-11e9-92d7-bc764e045a96 Received: from EUR01-DB5-obe.outbound.protection.outlook.com (unknown [40.107.15.47]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id b66f3609-5aa6-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 09:06:09 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=0O0RQe00NH/l4Yc3pxPx3lRXaJtsnKTbaJ+Hdite7t0=; b=j8vGs70HR5ZgQuMVI5wy5ek3k8fEVhOahB6FE7hqb4ja1TIgLuylrg2hkxWMIu+Y30B2OVxok3/z7AerPOwUgws3lzpBfpGBBpLpqb/CoF68dRoLIT469iJ+mMiFOoDoX5muiMM3e0NJiaLSAXbCyGBI2a1+3QVhIFsWXmLwBxY= Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com (52.133.5.154) by HE1PR0702MB3580.eurprd07.prod.outlook.com (52.133.6.15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1792.11; Tue, 9 Apr 2019 09:06:07 +0000 Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099]) by HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099%4]) with mapi id 15.20.1792.009; Tue, 9 Apr 2019 09:06:07 +0000 From: Hiroshi Doyu To: "kollerr@us.ibm.com" Thread-Topic: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Thread-Index: AQHU4/M/sxj4PdYfREevGPsyR3AqLqYyLE4AgAAzW4CAAT9eAA== Date: Tue, 9 Apr 2019 09:06:07 +0000 Message-ID: <1554800766.2841.65.camel@ericsson.com> References: <1554721154.2841.53.camel@ericsson.com> ,<1553618698.2841.14.camel@ericsson.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Evolution 3.18.5.2-0ubuntu3.2 authentication-results: spf=none (sender IP is ) smtp.mailfrom=hiroshi.doyu@ericsson.com; x-originating-ip: [89.166.49.243] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 8fe8df92-5458-4fdd-bd38-08d6bcca9a0b x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600139)(711020)(4605104)(2017052603328)(7193020); SRVR:HE1PR0702MB3580; x-ms-traffictypediagnostic: HE1PR0702MB3580: x-ms-exchange-purlcount: 5 x-microsoft-antispam-prvs: x-forefront-prvs: 000227DA0C x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(136003)(376002)(39860400002)(346002)(366004)(396003)(199004)(189003)(68736007)(2906002)(2616005)(81166006)(186003)(305945005)(6116002)(1730700003)(103116003)(3846002)(476003)(25786009)(14444005)(486006)(6506007)(81156014)(2501003)(5660300002)(4326008)(256004)(8676002)(26005)(97736004)(102836004)(14454004)(76176011)(316002)(6436002)(6246003)(966005)(6306002)(66066001)(2351001)(36756003)(106356001)(105586002)(8936002)(6512007)(6486002)(44832011)(11346002)(7736002)(86362001)(446003)(229853002)(71200400001)(5640700003)(71190400001)(6916009)(478600001)(99286004)(50226002)(53936002)(99106002); DIR:OUT; SFP:1101; SCL:1; SRVR:HE1PR0702MB3580; H:HE1PR0702MB3531.eurprd07.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; received-spf: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: QaCLaftmO+v5CzeIX2P6q59UcmpsvSW7m7g/2az0HKbyry6GFTxpUxldS7tsGCELghQ/ESIfEBD5mlYkfOgb60RVtCztct6vCeQgi9JsEDPm8CgVgh51YtdNsbnbZSAym7LTKIAZawcOPF0o1J4SCxnQwdHJc73NRlYuVbsqQkUbCXctuKXQp2dILn+eHB/XJZCHuOeFY/gGYIxguAo6aRjR5V+NVEOSe4qPrBOeGeVwFYUUFCXlvKCpYuZTxJ1zgjdYg+AtNsyBS0wfWW1bat6nrMXvGz3oYaFsn4iqZqZTcpVqISkT114faPfv3s49t3AbX+rTP2VywluNsAS5q7DemscpF6CRtfp6mAZG0L7hAB8w2g4IhHf+phMQGHJlCBqozkah4hohjB64/q6Wzg/581KCyUoBTsjM+NCCrxY= Content-ID: <87C3863B0860CE47B98677384AAC40E3@eurprd07.prod.outlook.com> MIME-Version: 1.0 X-OriginatorOrg: ericsson.com X-MS-Exchange-CrossTenant-Network-Message-Id: 8fe8df92-5458-4fdd-bd38-08d6bcca9a0b X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Apr 2019 09:06:07.2169 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 92e84ceb-fbfd-47ab-be52-080c6b87953f X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0702MB3580 Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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" SGkgUmljYXJkbywNCg0KTW9zdCBsaWtlbHkgeW91IGFyZSByaWdodCBzaW5jZSB0aGlzIHNob3dz IHRvby4gSSdsbCBjaGVjayB0aGlzIGxhdGVyLg0KaHR0cHM6Ly9naXRodWIuY29tL2VoaXJkb3kv b2NhbWwtZmF0L2NvbW1pdC8zMjg5NGZlZWQ3YzkyNDhhZTUwZDMzMmU0ZmFiZGVlZTIyZjBkZjhh DQoNCk9uIE1vbiwgMjAxOS0wNC0wOCBhdCAxNDowMyArMDAwMCwgUmljYXJkbyBLb2xsZXIgd3Jv dGU6DQo+IEhpLA0KPiDCoA0KPiBJJ20gcHJldHR5IHN1cmUgaXQncyB0aGlzOsKgaHR0cHM6Ly9n aXRodWIuY29tL1NvbG81L3NvbG81L2Jsb2IvbWFzdGVyL2JpbmRpbmdzL2h2dC9ibG9jay5jI0w3 Ny1MODANCj4gQW5kIGZyb20gdGhvc2UgdGhyZWUgY2hlY2tzLCB0aGUgbW9zdCBsaWtlbHkgb25l IGZhaWxpbmcgaXMgdGhhdCB0aGUgcmVxdWVzdCBpcyBsYXJnZXIgdGhhbiBhIGJsb2NrLg0KPiDC oA0KPiBDb3VsZCB5b3UgY29uZmlybSB0aGF0IHBsZWFzZT8gaW4gdGhhdCBjYXNlLCB0aGVuIHdl IG5lZWQgdG8gc3BsaXQgdGhlIHJlcXVlc3Qgc29tZXdoZXJlLCBvciBldmVuIGJldHRlciwgZml4 IHRoaXM6wqBodHRwczovL2dpdGh1Yi5jb20vU29sbzUvc29sbzUvaXNzdWVzLzMyNQ0KPiANCj4g UmljYXJkbw0KPiDCoA0KPiAtLS0tLSBPcmlnaW5hbCBtZXNzYWdlIC0tLS0tDQo+IEZyb206IEhp cm9zaGkgRG95dSA8aGlyb3NoaS5kb3l1QGVyaWNzc29uLmNvbT4NCj4gU2VudCBieTogIk1pcmFn ZU9TLWRldmVsIiA8bWlyYWdlb3MtZGV2ZWwtYm91bmNlc0BsaXN0cy54ZW5wcm9qZWN0Lm9yZz4N Cj4gVG86ICJtaXJhZ2Vvcy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZyIgPG1pcmFnZW9zLWRl dmVsQGxpc3RzLnhlbnByb2plY3Qub3JnPg0KPiBDYzoNCj4gU3ViamVjdDogUmU6IFtNaXJhZ2VP Uy1kZXZlbF0gSG93IHRvIHN1cHBvcnQgYSBsYXJnZXIgZGlzayB3aXRoIGh2dCArIGt2X3JvPWRp cmVjdCAocGFzcy10aHJvdWdoKT8NCj4gRGF0ZTogTW9uLCBBcHIgOCwgMjAxOSA3OjAxIEFNDQo+ IMKgDQo+IEkgZm91bmQgdGhhdCAiLS1rdl9ybz1mYXQiIGludGVncmF0ZXMgRkFUK2Rpc2suaW1h Z2UgYXV0b21hdGljYWxseS4NCj4gVGhpcyB3b3JrcyB3aXRoICItdCB1bml4IC0ta3Zfcm89ZmF0 IiBidXQgbm90IHdpdGggIi10IGh2dCAtLWt2X3JvPWZhdCIgYXMgYmVsb3cuDQo+IEFueSBoaW50 IHRvIGludmVzdGlnYXRlIGZ1cnRoZXI/DQo+IA0KPiAkfi9zcmMvbWlyYWdlLXNrZWxldG9uL2Rl dmljZS11c2FnZS9rdl9ybyQgc3VkbyAuL3NvbG81LWh2dCAtLWRpc2s9ZmF0X2Jsb2NrMS5pbWcg a3Zfcm8uaHZ0IC1sICIqOmRlYnVnIg0KPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqB8wqDCoMKg wqDCoMKgX19ffA0KPiDCoCBfX3zCoMKgXyBcwqDCoHzCoMKgXyBcIF9fIFwNCj4gXF9fIFwgKMKg wqDCoHwgfCAowqDCoMKgfMKgwqApIHwNCj4gX19fXy9cX19fLyBffFxfX18vX19fXy8NCj4gU29s bzU6IE1lbW9yeSBtYXA6IDUxMiBNQiBhZGRyZXNzYWJsZToNCj4gU29sbzU6wqDCoMKgwqDCoHVu dXNlZCBAICgweDAgLSAweGZmZmZmKQ0KPiBTb2xvNTrCoMKgwqDCoMKgwqDCoHRleHQgQCAoMHgx MDAwMDAgLSAweDIyYmZmZikNCj4gU29sbzU6wqDCoMKgwqDCoHJvZGF0YSBAICgweDIyYzAwMCAt IDB4MjY4ZmZmKQ0KPiBTb2xvNTrCoMKgwqDCoMKgwqDCoGRhdGEgQCAoMHgyNjkwMDAgLSAweDM0 YmZmZikNCj4gU29sbzU6wqDCoMKgwqDCoMKgwqBoZWFwID49IDB4MzRjMDAwIDwgc3RhY2sgPCAw eDIwMDAwMDAwDQo+IDIwMTktMDQtMDggMTA6Mjc6MjMgLTAwOjAwOiBFUlIgW2FwcGxpY2F0aW9u XSBtYWluOiAoRmFpbHVyZSAiZXJyb3IgcmVhZGluZyBlc3NlbnRpYWwgc2VjdG9yczogSW52YWxp ZCBhcmd1bWVudCIpDQo+IFJhaXNlZCBhdCBmaWxlICJzcmMvY29yZS9sd3QubWwiLCBsaW5lIDI5 OTgsIGNoYXJhY3RlcnMgMjAtMjkNCj4gQ2FsbGVkIGZyb20gZmlsZSAibGliL21haW4ubWwiLCBs aW5lIDY0LCBjaGFyYWN0ZXJzIDE1LTI1DQo+IA0KPiANCj4gQWxzbyAiZmF0IiBjb21tYW5kIHNl ZW1zIHRvIG5lZWQgIi0tdW5idWZmZXJlZCIgYXBwZW5kZWQuDQo+IA0KPiBPbiBUdWUsIDIwMTkt MDMtMjYgYXQgMTg6NDQgKzAyMDAsIEhpcm9zaGkgRG95dSB3cm90ZToNCj4gPiBIZWxsbywNCj4g Pg0KPiA+IENvbmZpZ3VyZWQgdW5peCtrdl9ybz1kaXJlY3QsIGl0IHNlZW1zIHRvIHJlYWQgYSBm aWxlIGZyb20gZGlzayBkeW5hbWljYWxseVsxXS4NCj4gPiBCdXQgaHZ0K2t2X3JvPWRpcmVjdCBz ZWVtcyB0byB1c2UgYSByYW1kaXNrKGNydW5jaD8pIHN0YXRpY2FsbHlbMl0uDQo+ID4NCj4gPiBI b3cgY2FuIGh2dCBkbyB0aGUgc2ltaWxhciBwYXNzLXRocm91Z2ggdG8gYSBmaWxlIGFzICJ1bml4 K2t2X3JvPWRpcmVjdCI/DQo+ID4NCj4gPiBbMV0NCj4gPiAkIG1pcmFnZSBjb25maWd1cmUgLXQg dW5peCAtLWt2X3JvPWRpcmVjdCAmJiBtYWtlIGRlcGVuZCAmJiBtYWtlDQo+ID4gJCAuL2t2X3Jv wqANCj4gPiAyMDE5LTAzLTI2IDE2OjMxOjI4ICswMDowMDogSU5GIFthcHBsaWNhdGlvbl0gZm9v DQo+ID4gJCBlY2hvIC1uICJoZWxsbyIgPiB0L3NlY3JldMKgDQo+ID4gJCAuL2t2X3JvwqANCj4g PiAyMDE5LTAzLTI2IDE2OjMyOjE1ICswMDowMDogSU5GIFthcHBsaWNhdGlvbl0gaGVsbG8NCj4g Pg0KPiA+IFsyXQ0KPiA+ICQgbWlyYWdlIGNvbmZpZ3VyZSAtdCBodnQgLS1rdl9ybz1kaXJlY3Qg JiYgbWFrZSBkZXBlbmQgJiYgbWFrZQ0KPiA+ICQgc3VkbyAuL3NvbG81LWh2dCBrdl9yby5odnTC oA0KPiA+IDIwMTktMDMtMjYgMTY6MzQ6MTkgLTAwOjAwOiBJTkYgW2FwcGxpY2F0aW9uXSBmb28N Cj4gPiAkIGVjaG8gLW4gImhlbGxvIiA+IHQvc2VjcmV0wqANCj4gPiAkIHN1ZG8gLi9zb2xvNS1o dnQga3Zfcm8uaHZ0wqANCj4gPiAyMDE5LTAzLTI2IDE2OjM1OjExIC0wMDowMDogSU5GIFthcHBs aWNhdGlvbl0gZm9vDQo+ID4NCj4gPiB0aGUgYWJvdmUgY29kZSBjaGFuZ2UgZm9yIHNrZWx0b24v ZGV2aWNlLXVzYWdlL2t2X3JvOg0KPiA+IGh0dHBzOi8vZ2l0aHViLmNvbS9laGlyZG95L21pcmFn ZS1za2VsZXRvbi9jb21taXQvYmZmNjY4OGUwNzVmZmVjNjc3MjNkNTY2M2E5ODQyNjNiZmZhODU2 Mw0KPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KPiBN aXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QNCj4gTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJv amVjdC5vcmcNCj4gaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZv L21pcmFnZW9zLWRldmVsDQo+IMKgDQo+IMKgDQo+IA0KX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFn ZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5v cmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 11:12:01 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 11:12: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 1hDofP-0007YG-0C; Tue, 09 Apr 2019 11:11:51 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDofN-0007Y2-JV for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 11:11:49 +0000 X-Inumbo-ID: 434511c2-5ab8-11e9-80dc-53893693ed38 Received: from mail.mehnert.org (unknown [213.73.89.200]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 434511c2-5ab8-11e9-80dc-53893693ed38; Tue, 09 Apr 2019 11:11:46 +0000 (UTC) Received: from [192.168.42.80] (dslb-178-000-173-170.178.000.pools.vodafone-ip.de [178.0.173.170]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 5EB84146D for ; Tue, 9 Apr 2019 13:11:45 +0200 (CEST) To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert Openpgp: id=11B5464249B5BD858FFF6328BC896588DF7C28EE Message-ID: Date: Tue, 9 Apr 2019 13:11:44 +0200 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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" SGkgTWluZHksCgpPbiAwOS8wNC8yMDE5IDAxOjAyLCBNaW5keSBQcmVzdG9uIHdyb3RlOgo+IEkg cmVjZW50bHkgZ290IGluc3BpcmVkIHRvIHJldmlzaXQgdGVzdCBjb3ZlcmFnZSBpbmZvcm1hdGlv biBnZW5lcmF0aW9uLgo+IEl0IHNlZW1zIHRoYXQgdGhlIGN1cnJlbnQgc3RhdGUgb2YgdGhpcyBl Y29zeXN0ZW0gdXNlcyBgZHVuZWAgZm9yCj4gYnVpbGRpbmcgYW5kIHNvbWUgaW5zdHJ1Y3Rpb25z IGluIGBwcmVwcm9jZXNzYCBzdGFuemFzIHRvIGludm9rZQo+IGBiaXNlY3RfcHB4YCwgd2hpY2gg aXRzZWxmIGhhcyBsb2dpYyB0byBvbmx5IHByb2R1Y2UgY292ZXJhZ2UKPiBpbmZvcm1hdGlvbiBp ZiBhbiBlbnZpcm9ubWVudCB2YXJpYWJsZSBpcyBzZXQgd2hlbiBjYWxsZWQgaW4gYSBjZXJ0YWlu Cj4gbW9kZS4KPiAKPiBVbmZvcnR1bmF0ZWx5LCB3aGlsZSB0aGUgKmludm9jYXRpb24qIG9mIGBi aXNlY3RfcHB4YCBjYW4gYmUgc2V0Cj4gY29uZGl0aW9uYWxseSAoc2VlIGJpc2VjdF9wcHgncyBp bnN0cnVjdGlvbnNbMV0pIGZvciBkZXRhaWxzKSwgdGhlCj4gZGVwZW5kZW5jeSBvbiBgYmlzZWN0 X3BweGAgaXMgdW5jb25kaXRpb25hbCAtIGV2ZW4gaWYgdGhlIGVudmlyb25tZW50Cj4gdmFyaWFi bGUgaXNuJ3Qgc2V0LCBgZHVuZSBidWlsZGAgd2lsbCBmYWlsIGlmIGBiaXNlY3RfcHB4YCBpcyBu b3QKPiBpbnN0YWxsZWQuCj4gCj4gSXQgc2VlbXMgdGhhdCBtb3N0IHByb2plY3RzIHVzaW5nIGBi aXNlY3RfcHB4YCB1c2UgYSBzb2x1dGlvbiB0aGF0Cj4gaW52b2x2ZXMgc29tZSBwcmUtcmVsZWFz ZSBtYXNzYWdpbmcgb2YgYGR1bmVgIGZpbGVzIHRvIHJlbW92ZQo+IGBiaXNlY3RfcHB4YCBmcm9t IGBwcmVwcm9jZXNzIChwcHNgIHN0YW56YXMsIGFuZCB0aGVuIHJlbGVhc2UgYW4gYG9wYW1gCj4g ZmlsZSB0aGF0IGRvZXNuJ3QgbWVudGlvbiBgYmlzZWN0X3BweGAsIGJ1dCBrZWVwIGBiaXNlY3Rf cHB4YCBpbiB0aGVpcgo+IHJlcG9zaXRvcnktbG9jYWwgYG9wYW1gIGZpbGVzLgo+IAo+IEkgdGhp bmsgdGhpcyBraW5kIG9mIHdvcmtmbG93IGlzIE9LIGZvciByZXBvc2l0b3JpZXMgdGhhdCBoYXZl IG9uZSBvcgo+IHR3byB2ZXJ5IGludm9sdmVkIG1haW50YWluZXJzLCBidXQgaXQgc2VlbXMgZXJy b3ItcHJvbmUgZm9yIE1pcmFnZU9TCj4gcmVwb3NpdG9yaWVzLCB3aGVyZSB0aGVyZSdzIGEgdGVh bSBvZiBtYWludGFpbmVycyB0aGF0IGhhdmUgdmFyeWluZwo+IGFtb3VudHMgb2YgaW52b2x2ZW1l bnQuwqAgSSBjYW4gdmVyeSBlYXNpbHkgaW1hZ2luZSBteXNlbGYgZ29pbmcgdG8gbWFrZQo+IGEg cmVsZWFzZSBvZiBhIHJlcG9zaXRvcnkgd2l0aCB0aGlzIHN0cmF0ZWd5IGFuZCBhY2NpZGVudGFs bHkgcmVsZWFzaW5nCj4gdGhlIGJpc2VjdGVkIHZlcnNpb24uCj4gCj4gSSdtIGludGVyZXN0ZWQg aWYgYW55b25lIGhhcyBhIHNvbHV0aW9uIGluIG1pbmQgZm9yIHRoaXMgdGhhdCdzIGEgYml0Cj4g bW9yZSBhdXRvbWF0aWMuCgpJJ20gYXdhcmUgb2YgdGhpcyB3b3JrYXJvdW5kIC0KaHR0cHM6Ly9n aXRodWIuY29tL21pcmFnZS9hcnAvYmxvYi9tYXN0ZXIvc3JjL2R1bmUgLSB3aGljaCB1c2VzCiJK YnVpbGRfcGx1Z2luLlYxLnNlbmQiIHRvIGV2YWx1YXRlIHRoZSBlbnZpcm9ubWVudCB2YXJpYWJs ZQpCSVNFQ1RfRU5BQkxFLCBhbmQgaWYgdHJ1ZSwgcnVuIHRoZSBiaXNlY3RfcHB4IHByZXByb2Nl c3Nvci4gSW4gdGhlIG9wYW0KZmlsZSAoaHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9hcnAvYmxv Yi9tYXN0ZXIvYXJwLm9wYW0pLCBtZW50aW9uaW5nCiciYmlzZWN0X3BweCIge3dpdGgtdGVzdH0n IHNlZW1zIHRvIHdvcmsgZmluZS4KClRoZSBkb3duc2lkZSBpcyB0aGF0IGlmIHlvdSBhY2NpZGVu dGFsbHkgaGF2ZSBCSVNFQ1RfRU5BQkxFIHNldCB0byB0cnVlCmFuZCBkbyBhIHJlbGVhc2UsIHNv IGl0IGRvZXNuJ3QgZnVsbHkgc29sdmUgeW91ciBjb25jZXJuIGFib3ZlLiBBbmQgYQpwb3NzaWJs ZSBzb2x1dGlvbiBJIGNhbiB0aGluayBvZiBmb3IgdGhpcyBpcyBldmVuIG1vcmUgdWdseSwgdG8g Y2hlY2sKZS5nLiBpbiBkdW5lLXJlbGVhc2UgdGhhdCBCSVNFQ1RfRU5BQkxFIGlzIGZhbHNlIC9v XAoKCk1heWJlIEkganVzdCBuZWVkIG1vcmUgY29mZmVlLAoKaGFubmVzCgpfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5n IGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54 ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 14:08:50 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 14:08:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDrQW-0002OG-SN; Tue, 09 Apr 2019 14:08:40 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDrQV-0002O2-Eu for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 14:08:39 +0000 X-Inumbo-ID: f72bfdd2-5ad0-11e9-92d7-bc764e045a96 Received: from EUR02-HE1-obe.outbound.protection.outlook.com (unknown [2a01:111:f400:fe05::62d]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id f72bfdd2-5ad0-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 14:08:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WvH0+1fNKkRfA1lVgdsIp2IePu9phejqKO/CsoNsL80=; b=eXuy4ctDkNGHrmiPsC5gM07B02Il3vda0GiCxpj9SBmZ4FwVePW6KgkVK4qUDM8pUuxGZvOU9ECZ7J0S9Epr8v0HACyOWjnP9GpDLLuc83mvxLnUIc6sAJeCKmlQ4ilK0tBHM6o5kd4NCbBdXG/SEO/1PK2hlmwI6t2e9DDWcqw= Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com (52.133.5.154) by HE1PR0702MB3707.eurprd07.prod.outlook.com (52.133.6.149) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1792.11; Tue, 9 Apr 2019 14:08:34 +0000 Received: from HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099]) by HE1PR0702MB3531.eurprd07.prod.outlook.com ([fe80::f990:1122:cf7f:d099%4]) with mapi id 15.20.1792.009; Tue, 9 Apr 2019 14:08:34 +0000 From: Hiroshi Doyu To: "kollerr@us.ibm.com" Thread-Topic: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Thread-Index: AQHU4/M/sxj4PdYfREevGPsyR3AqLqYyLE4AgAAzW4CAAT9eAIAAUq7Q Date: Tue, 9 Apr 2019 14:08:34 +0000 Message-ID: References: <1554721154.2841.53.camel@ericsson.com> ,<1553618698.2841.14.camel@ericsson.com> , <1554800766.2841.65.camel@ericsson.com> In-Reply-To: <1554800766.2841.65.camel@ericsson.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: spf=none (sender IP is ) smtp.mailfrom=hiroshi.doyu@ericsson.com; x-originating-ip: [86.115.50.219] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 906bc511-265d-4258-27d8-08d6bcf4daa5 x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600139)(711020)(4605104)(2017052603328)(7193020); SRVR:HE1PR0702MB3707; x-ms-traffictypediagnostic: HE1PR0702MB3707: x-ms-exchange-purlcount: 5 x-microsoft-antispam-prvs: x-forefront-prvs: 000227DA0C x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(39860400002)(376002)(136003)(366004)(346002)(396003)(199004)(189003)(486006)(606006)(102836004)(229853002)(81166006)(81156014)(5660300002)(1730700003)(8936002)(52536014)(4326008)(76176011)(44832011)(74316002)(25786009)(99286004)(2501003)(476003)(11346002)(446003)(14444005)(256004)(7736002)(97736004)(478600001)(5640700003)(55016002)(6916009)(966005)(6246003)(105004)(14454004)(316002)(86362001)(7696005)(53546011)(71190400001)(2351001)(93886005)(19627405001)(186003)(33656002)(105586002)(6116002)(53936002)(2906002)(8676002)(66066001)(6506007)(106356001)(6436002)(68736007)(26005)(236005)(3846002)(71200400001)(54896002)(6306002)(9686003); DIR:OUT; SFP:1101; SCL:1; SRVR:HE1PR0702MB3707; H:HE1PR0702MB3531.eurprd07.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1; received-spf: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: 8xQAUmxdxJUoKO2Ux2A5Cy5/bRSQHmQAVffZHvpjkkIHhK3mBmdZqHaDJLvdZhGq87Eq6MvnPJnpxQ20OWq/EANYw4c9UtL4pBUnTMPdmAcDEe9kwGkEBXpx7OBT8GicD17aFRJWIZYdL9wN3DSGW9LLoPi3VWFaHBPOmpwIE8klqS9rqKBtk3J/EwBws5eMkgy6g0YuwN8DBAIDyiM/uAGNqVHb3ppf/+T+wfIq3GxYt1qDb81/QEOcejF5fzvbDC9g3VRa4zQZF69B8zganKPfhIJ4gTvhi/uYKFVpT+rB8XjG1FNDAK8VL1B+JAX2l2grpFpsulFymeKw34t2UiYpCHzh4Vvifd5RZJUS4AHA54CmnkYTgxWqcr+Kt7auZFSeapIarcwiYNpMY1ZNiQ3tA0SoEFqlZYFDsnHeSTc= MIME-Version: 1.0 X-OriginatorOrg: ericsson.com X-MS-Exchange-CrossTenant-Network-Message-Id: 906bc511-265d-4258-27d8-08d6bcf4daa5 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Apr 2019 14:08:34.5222 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 92e84ceb-fbfd-47ab-be52-080c6b87953f X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR0702MB3707 Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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="===============6581641948234193257==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============6581641948234193257== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_HE1PR0702MB3531419A8367E64084199050EE2D0HE1PR0702MB3531_" --_000_HE1PR0702MB3531419A8367E64084199050EE2D0HE1PR0702MB3531_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Hi Ricardo, You are right: $ ~/src/mirage-skeleton/device-usage/kv_ro$ sudo /home/ehirdoy/.opam/4.06.1= +lto/bin/solo5-hvt --disk=3Dfat_block1.img kv_ro.hvt -l "*:debug" | ___| __| _ \ | _ \ __ \ \__ \ ( | | ( | ) | ____/\___/ _|\___/____/ Solo5: Memory map: 512 MB addressable: Solo5: reserved @ (0x0 - 0xfffff) Solo5: text @ (0x100000 - 0x22dfff) Solo5: rodata @ (0x22e000 - 0x26afff) Solo5: data @ (0x26b000 - 0x34dfff) Solo5: heap >=3D 0x34e000 < stack < 0x20000000 ERROR: solo5_block_read(80) size=3D4096 block_size=3D512 2019-04-09 14:01:16 -00:00: ERR [application] main: (Failure "error reading= essential sectors: Invalid argument") Raised at file "src/core/lwt.ml", line 2998, characters 20-29 Called from file "lib/main.ml", line 64, characters 15-25 FAT requests 4096 bytes to read, which caused this error. Actually FAT does= n't need 4096 bytes but it wants FAT sector size as: https://github.com/ehirdoy/ocaml-fat/commit/32894feed7c9248ae50d332e4fabdee= e22f0df8a If FAT sector size =3D=3D block sector size quite often it's 512 bytes, the= above works ok. We could survive temporary for the above fix, but probably solo5_block_read() needs to support multi sector read eventual= ly? ________________________________ From: Hiroshi Doyu Sent: Tuesday, April 9, 2019 12:06 PM To: kollerr@us.ibm.com Cc: mirageos-devel@lists.xenproject.org Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro= =3Ddirect (pass-through)? Hi Ricardo, Most likely you are right since this shows too. I'll check this later. https://github.com/ehirdoy/ocaml-fat/commit/32894feed7c9248ae50d332e4fabdee= e22f0df8a On Mon, 2019-04-08 at 14:03 +0000, Ricardo Koller wrote: > Hi, > > I'm pretty sure it's this: https://github.com/Solo5/solo5/blob/master/bin= dings/hvt/block.c#L77-L80 > And from those three checks, the most likely one failing is that the requ= est is larger than a block. > > Could you confirm that please? in that case, then we need to split the re= quest somewhere, or even better, fix this: https://github.com/Solo5/solo5/i= ssues/325 > > Ricardo > > ----- Original message ----- > From: Hiroshi Doyu > Sent by: "MirageOS-devel" > To: "mirageos-devel@lists.xenproject.org" > Cc: > Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_= ro=3Ddirect (pass-through)? > Date: Mon, Apr 8, 2019 7:01 AM > > I found that "--kv_ro=3Dfat" integrates FAT+disk.image automatically. > This works with "-t unix --kv_ro=3Dfat" but not with "-t hvt --kv_ro=3Dfa= t" as below. > Any hint to investigate further? > > $~/src/mirage-skeleton/device-usage/kv_ro$ sudo ./solo5-hvt --disk=3Dfat_= block1.img kv_ro.hvt -l "*:debug" > | ___| > __| _ \ | _ \ __ \ > \__ \ ( | | ( | ) | > ____/\___/ _|\___/____/ > Solo5: Memory map: 512 MB addressable: > Solo5: unused @ (0x0 - 0xfffff) > Solo5: text @ (0x100000 - 0x22bfff) > Solo5: rodata @ (0x22c000 - 0x268fff) > Solo5: data @ (0x269000 - 0x34bfff) > Solo5: heap >=3D 0x34c000 < stack < 0x20000000 > 2019-04-08 10:27:23 -00:00: ERR [application] main: (Failure "error readi= ng essential sectors: Invalid argument") > Raised at file "src/core/lwt.ml", line 2998, characters 20-29 > Called from file "lib/main.ml", line 64, characters 15-25 > > > Also "fat" command seems to need "--unbuffered" appended. > > On Tue, 2019-03-26 at 18:44 +0200, Hiroshi Doyu wrote: > > Hello, > > > > Configured unix+kv_ro=3Ddirect, it seems to read a file from disk dynam= ically[1]. > > But hvt+kv_ro=3Ddirect seems to use a ramdisk(crunch?) statically[2]. > > > > How can hvt do the similar pass-through to a file as "unix+kv_ro=3Ddire= ct"? > > > > [1] > > $ mirage configure -t unix --kv_ro=3Ddirect && make depend && make > > $ ./kv_ro > > 2019-03-26 16:31:28 +00:00: INF [application] foo > > $ echo -n "hello" > t/secret > > $ ./kv_ro > > 2019-03-26 16:32:15 +00:00: INF [application] hello > > > > [2] > > $ mirage configure -t hvt --kv_ro=3Ddirect && make depend && make > > $ sudo ./solo5-hvt kv_ro.hvt > > 2019-03-26 16:34:19 -00:00: INF [application] foo > > $ echo -n "hello" > t/secret > > $ sudo ./solo5-hvt kv_ro.hvt > > 2019-03-26 16:35:11 -00:00: INF [application] foo > > > > the above code change for skelton/device-usage/kv_ro: > > https://github.com/ehirdoy/mirage-skeleton/commit/bff6688e075ffec67723d= 5663a984263bffa8563 > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel > > > --_000_HE1PR0702MB3531419A8367E64084199050EE2D0HE1PR0702MB3531_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable
Hi Ricardo,

You are right:

$ ~/src/mirage-skeleton/device-usage/kv_ro$ sudo /home/ehirdoy/.opam/= 4.06.1+lto/bin/solo5-hvt --disk=3Dfat_block1.img kv_ro.hvt -l "*:d= ebug"
            |      ___|
  __|  _ \  |  _ \ __ \
\__ \ (   | | (   |  ) |
____/\___/ _|\___/____/
Solo5: Memory map: 512 MB addressable:
Solo5:   reserved @ (0x0 - 0xfffff)
Solo5:       text @ (0x100000 - 0x22dfff)
Solo5:     rodata @ (0x22e000 - 0x26afff)
Solo5:       data @ (0x26b000 - 0x34dfff)
Solo5:       heap >=3D 0x34e000 < stack < 0x20= 000000
ERROR: solo5_block_read(80) size=3D4096 block_size=3D512
2019-04-09 14:01:16 -00:00: ERR [application] main: (Failure "err= or reading essential sectors: Invalid argument")
Raised at file "src/core/lwt.ml", line 2998, characters 20-2= 9
Called from file "lib/main.ml", line 64, characters 15-25

FAT requests 4096 bytes to read, which caused this error. Actually FAT does= n't need 4096 bytes but it wants FAT sector size as:

If FAT sector size =3D=3D block sector size quite often it's 512 bytes, the= above works ok.
We could survive temporary for the above fix,
but probably solo5_block_read() needs to support multi sector read eventual= ly?

From: Hiroshi Doyu
Sent: Tuesday, April 9, 2019 12:06 PM
To: kollerr@us.ibm.com
Cc: mirageos-devel@lists.xenproject.org
Subject: Re: [MirageOS-devel] How to support a larger disk with hvt = + kv_ro=3Ddirect (pass-through)?
 
Hi Ricardo,

Most likely you are right since this shows too. I'll check this later.
https://github.com/ehirdoy/ocaml-fat/commit/32894feed= 7c9248ae50d332e4fabdeee22f0df8a

On Mon, 2019-04-08 at 14:03 +0000, Ricardo Koller wrote:
> Hi,
>  
> I'm pretty sure it's this: https://github.com/Solo5/solo= 5/blob/master/bindings/hvt/block.c#L77-L80
> And from those three checks, the most likely one failing is that the r= equest is larger than a block.
>  
> Could you confirm that please? in that case, then we need to split the= request somewhere, or even better, fix this: https://github.com/Solo5/solo5/issues/325=
>
> Ricardo
>  
> ----- Original message -----
> From: Hiroshi Doyu <hiroshi.doyu@ericsson.com>
> Sent by: "MirageOS-devel" <mirageos-devel-bounces@lists.x= enproject.org>
> To: "mirageos-devel@lists.xenproject.org" <mirageos-devel= @lists.xenproject.org>
> Cc:
> Subject: Re: [MirageOS-devel] How to support a larger disk with hvt &#= 43; kv_ro=3Ddirect (pass-through)?
> Date: Mon, Apr 8, 2019 7:01 AM
>  
> I found that "--kv_ro=3Dfat" integrates FAT+disk.image a= utomatically.
> This works with "-t unix --kv_ro=3Dfat" but not with "-= t hvt --kv_ro=3Dfat" as below.
> Any hint to investigate further?
>
> $~/src/mirage-skeleton/device-usage/kv_ro$ sudo ./solo5-hvt --disk=3Df= at_block1.img kv_ro.hvt -l "*:debug"
>            &nbs= p;|      ___|
>   __|  _ \  |  _ \ __ \
> \__ \ (   | | (   |  ) |
> ____/\___/ _|\___/____/
> Solo5: Memory map: 512 MB addressable:
> Solo5:     unused @ (0x0 - 0xfffff)
> Solo5:       text @ (0x100000 - 0x2= 2bfff)
> Solo5:     rodata @ (0x22c000 - 0x268fff)
> Solo5:       data @ (0x269000 - 0x3= 4bfff)
> Solo5:       heap >=3D 0x34c000 = < stack < 0x20000000
> 2019-04-08 10:27:23 -00:00: ERR [application] main: (Failure "err= or reading essential sectors: Invalid argument")
> Raised at file "src/core/lwt.ml", line 2998, characters 20-2= 9
> Called from file "lib/main.ml", line 64, characters 15-25 >
>
> Also "fat" command seems to need "--unbuffered" ap= pended.
>
> On Tue, 2019-03-26 at 18:44 +0200, Hiroshi Doyu wrote:
> > Hello,
> >
> > Configured unix+kv_ro=3Ddirect, it seems to read a file from = disk dynamically[1].
> > But hvt+kv_ro=3Ddirect seems to use a ramdisk(crunch?) static= ally[2].
> >
> > How can hvt do the similar pass-through to a file as "unix&#= 43;kv_ro=3Ddirect"?
> >
> > [1]
> > $ mirage configure -t unix --kv_ro=3Ddirect && make depen= d && make
> > $ ./kv_ro 
> > 2019-03-26 16:31:28 +00:00: INF [application] foo
> > $ echo -n "hello" > t/secret 
> > $ ./kv_ro 
> > 2019-03-26 16:32:15 +00:00: INF [application] hello
> >
> > [2]
> > $ mirage configure -t hvt --kv_ro=3Ddirect && make depend= && make
> > $ sudo ./solo5-hvt kv_ro.hvt 
> > 2019-03-26 16:34:19 -00:00: INF [application] foo
> > $ echo -n "hello" > t/secret 
> > $ sudo ./solo5-hvt kv_ro.hvt 
> > 2019-03-26 16:35:11 -00:00: INF [application] foo
> >
> > the above code change for skelton/device-usage/kv_ro:
> > https://github.com/ehirdoy/mirage-skeleton/commit/bff6688e075ffec67723d5663= a984263bffa8563
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> https://lists.xenproject.org/mailman/listinfo/mirageos-devel
>  
>  
>
--_000_HE1PR0702MB3531419A8367E64084199050EE2D0HE1PR0702MB3531_-- --===============6581641948234193257== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============6581641948234193257==-- From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 14:45:34 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 14:45:34 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDs06-0005kG-5T; Tue, 09 Apr 2019 14:45:26 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDs05-0005kB-63 for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 14:45:25 +0000 X-Inumbo-ID: 19fbfefc-5ad6-11e9-bdd8-9f3af5054531 Received: from mx0a-001b2d01.pphosted.com (unknown [148.163.156.1]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 19fbfefc-5ad6-11e9-bdd8-9f3af5054531; Tue, 09 Apr 2019 14:45:22 +0000 (UTC) Received: from pps.filterd (m0098404.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x39Ee141135610 for ; Tue, 9 Apr 2019 10:45:21 -0400 Received: from smtp.notes.na.collabserv.com (smtp.notes.na.collabserv.com [192.155.248.66]) by mx0a-001b2d01.pphosted.com with ESMTP id 2rruktp6db-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 09 Apr 2019 10:45:19 -0400 Received: from localhost by smtp.notes.na.collabserv.com with smtp.notes.na.collabserv.com ESMTP for from ; Tue, 9 Apr 2019 14:45:18 -0000 Received: from us1a3-smtp06.a3.dal06.isc4sb.com (10.146.103.243) by smtp.notes.na.collabserv.com (10.106.227.127) with smtp.notes.na.collabserv.com ESMTP; Tue, 9 Apr 2019 14:45:13 -0000 Received: from us1a3-mail08.a3.dal06.isc4sb.com ([10.146.77.236]) by us1a3-smtp06.a3.dal06.isc4sb.com with ESMTP id 2019040914451210-750162 ; Tue, 9 Apr 2019 14:45:12 +0000 In-Reply-To: From: "Ricardo Koller" To: hiroshi.doyu@ericsson.com Date: Tue, 9 Apr 2019 14:45:12 +0000 Sensitivity: References: , <1554721154.2841.53.camel@ericsson.com>, <1553618698.2841.14.camel@ericsson.com> , <1554800766.2841.65.camel@ericsson.com> Importance: Normal X-Priority: 3 (Normal) X-Mailer: IBM Verse Build 17394-1588 | IBM Domino Build SCN1812108_20180501T0841_FP36 March 27, 2019 at 21:47 X-LLNOutbound: False X-Disclaimed: 2735 X-TNEFEvaluated: 1 x-cbid: 19040914-6357-0000-0000-00000A5B19E2 X-IBM-SpamModules-Scores: BY=0.169531; FL=0; FP=0; FZ=0; HX=0; KW=0; PH=0; SC=0.428264; ST=0; TS=0; UL=0; ISC=; MB=0.001214 X-IBM-SpamModules-Versions: BY=3.00010895; HX=3.00000242; KW=3.00000007; PH=3.00000004; SC=3.00000284; SDB=6.01186622; UDB=6.00621495; IPR=6.00967382; BA=6.00006279; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00026361; XFM=3.00000015; UTC=2019-04-09 14:45:17 X-IBM-AV-DETECTION: SAVI=unsuspicious REMOTE=unsuspicious XFE=unused X-IBM-AV-VERSION: SAVI=2019-04-09 10:16:34 - 6.00009782 x-cbparentid: 19040914-6358-0000-0000-00006F6D1C00 Message-Id: X-Proofpoint-UnRewURL: 6 URL's were un-rewritten MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-04-09_06:, , signatures=0 X-Proofpoint-Spam-Reason: safe Subject: Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? 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="===============1093130294649208722==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============1093130294649208722== Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thanks for checki= ng. Yes, it would be great to have multi-blocks requests eventually. B= ut you are right, the fix for ocaml-fat is OK. Although that's mainly becau= se FAT happens to default to 512 Byte blocks; other FSes do not (like ISO t= hat defaults to 2048).
 
Ricardo
----- Original message -----
From: Hiroshi Doyu <h= iroshi.doyu@ericsson.com>
To: "kollerr@us.ibm.com" <kollerr@us.ibm= .com>
Cc: "mirageos-devel@lists.xenproject.org" <mirageos-devel@li= sts.xenproject.org>
Subject: Re: [MirageOS-devel] How to support a la= rger disk with hvt + kv_ro=3Ddirect (pass-through)?
Date: Tue, Apr 9, 20= 19 10:14 AM
 
Hi Ricardo,
 
You are right:
 
$ ~/src/mirage-skeleton/device-usage/k= v_ro$ sudo /home/ehirdoy/.opam/4.06.1+lto/bin/solo5-hvt --disk=3Dfat_block1= .img kv_ro.hvt -l "*:debug"
            |      ___|
  __|  _ \  |  _ \ __ \
\__ \ (   | | (   |  ) |
____/\___/ _|\___/____/
Solo5: Memory map: 512 MB addressable:
Solo5:   reserved @ (0x0 - 0xfffff)
Solo5:       text @ (0x100000 - 0x22dfff)
Solo5:     rodata @ (0x22e000 - 0x26afff)
Solo5:       data @ (0x26b000 - 0x34dfff)
Solo5:       heap >=3D 0x34e000 < stack < 0x20= 000000
ERROR: solo5_block_read(80) size=3D4096 block_size=3D512
2019-04-09 14:01:16 -00:00: ERR [application] main: (Failure "error re= ading essential sectors: Invalid argument")
Raised at file "src/core/lwt.ml", line 2998, characters 20-29
Called from file "lib/main.ml", line 64, characters 15-25
 
FAT requests 4096 bytes to read, which cause= d this error. Actually FAT doesn't need 4096 bytes but it wants FAT sector = size as:
 
If FAT sector size =3D=3D block sector size = quite often it's 512 bytes, the above works ok.
We could survive temporary for the above fix= ,
but probably solo5_block_read() needs to sup= port multi sector read eventually?
 
 
From: Hiroshi Doyu
Sent: Tue= sday, April 9, 2019 12:06 PM
To: kollerr@us.ibm.com
Cc:= mirageos-devel@lists.xenproject.org
Subject: Re: [MirageOS-devel= ] How to support a larger disk with hvt + kv_ro=3Ddirect (pass-through)?
 
Hi Ricardo,
Most likely you are right since this shows too. I'll check this later.=
https://github.com/ehirdoy/ocam= l-fat/commit/32894feed7c9248ae50d332e4fabdeee22f0df8a

On Mon, 20= 19-04-08 at 14:03 +0000, Ricardo Koller wrote:
> Hi,
>  > I'm pretty sure it's this: https://g= ithub.com/Solo5/solo5/blob/master/bindings/hvt/block.c#L77-L80
> = And from those three checks, the most likely one failing is that the reques= t is larger than a block.
>  
> Could you confirm that ple= ase? in that case, then we need to split the request somewhere, or even bet= ter, fix this: https://github.com/Solo5/solo5/issues/325
>
&= gt; Ricardo
>  
> ----- Original message -----
> Fro= m: Hiroshi Doyu <hiroshi.doyu@ericsson.com>
> Sent by: "MirageO= S-devel" <mirageos-devel-bounces@lists.xenproject.org>
> To: "m= irageos-devel@lists.xenproject.org" <mirageos-devel@lists.xenproject.org= >
> Cc:
> Subject: Re: [MirageOS-devel] How to support a lar= ger disk with hvt + kv_ro=3Ddirect (pass-through)?
> Date: Mon, Apr 8= , 2019 7:01 AM
>  
> I found that "--kv_ro=3Dfat" integrat= es FAT+disk.image automatically.
> This works with "-t unix --kv_ro= =3Dfat" but not with "-t hvt --kv_ro=3Dfat" as below.
> Any hint to i= nvestigate further?
>
> $~/src/mirage-skeleton/device-usage/kv_= ro$ sudo ./solo5-hvt --disk=3Dfat_block1.img kv_ro.hvt -l "*:debug"
>=             |&= nbsp;     ___|
>   __|  _ \&n= bsp; |  _ \ __ \
> \__ \ (   | | ( = ;  |  ) |
> ____/\___/ _|\___/____/
> Solo5= : Memory map: 512 MB addressable:
> Solo5:    &nb= sp;unused @ (0x0 - 0xfffff)
> Solo5:     &nb= sp; text @ (0x100000 - 0x22bfff)
> Solo5:    = ; rodata @ (0x22c000 - 0x268fff)
> Solo5:    = ;   data @ (0x269000 - 0x34bfff)
> Solo5:  &= nbsp;    heap >=3D 0x34c000 < stack < 0x200000= 00
> 2019-04-08 10:27:23 -00:00: ERR [application] main: (Failure "er= ror reading essential sectors: Invalid argument")
> Raised at file "s= rc/core/lwt.ml", line 2998, characters 20-29
> Called from file "lib/= main.ml", line 64, characters 15-25
>
>
> Also "fat" comm= and seems to need "--unbuffered" appended.
>
> On Tue, 2019-03-= 26 at 18:44 +0200, Hiroshi Doyu wrote:
> > Hello,
> >
= > > Configured unix+kv_ro=3Ddirect, it seems to read a file from disk= dynamically[1].
> > But hvt+kv_ro=3Ddirect seems to use a ramdisk= (crunch?) statically[2].
> >
> > How can hvt do the simil= ar pass-through to a file as "unix+kv_ro=3Ddirect"?
> >
> &g= t; [1]
> > $ mirage configure -t unix --kv_ro=3Ddirect && = make depend && make
> > $ ./kv_ro 
> > 2019-= 03-26 16:31:28 +00:00: INF [application] foo
> > $ echo -n "hello"= > t/secret 
> > $ ./kv_ro 
> > 2019-03-26 1= 6:32:15 +00:00: INF [application] hello
> >
> > [2]
&g= t; > $ mirage configure -t hvt --kv_ro=3Ddirect && make depend &= amp;& make
> > $ sudo ./solo5-hvt kv_ro.hvt 
> >= 2019-03-26 16:34:19 -00:00: INF [application] foo
> > $ echo -n "= hello" > t/secret 
> > $ sudo ./solo5-hvt kv_ro.hvt <= br>> > 2019-03-26 16:35:11 -00:00: INF [application] foo
> >=
> > the above code change for skelton/device-usage/kv_ro:
>= > https://github.com/ehi= rdoy/mirage-skeleton/commit/bff6688e075ffec67723d5663a984263bffa8563> _______________________________________________
> MirageOS-deve= l mailing list
> MirageOS-devel@lists.xenproject.org
> https://lists.xenproject.org/mailman/listinfo/mirageos-devel>  
>  
>
 

--===============1093130294649208722== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============1093130294649208722==-- From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 16:11:38 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 16:11:38 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDtLN-0005OJ-KD; Tue, 09 Apr 2019 16:11:29 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDtLM-0005OD-TG for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 16:11:28 +0000 X-Inumbo-ID: 2022cc87-5ae2-11e9-92d7-bc764e045a96 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 2022cc87-5ae2-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 16:11:26 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id c2607163; Tue, 9 Apr 2019 17:11:24 +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=aZsT8u2/8fYx9ia+H6JgtuzLKB8=; b=LiSBj1Y26kpZPAphFG XfJSwigYkG7DUy5HeYmKGa40Pw50ferEXaw3tEfs8V4iQ+oWlZjWJCe+XtSf6b+T 5wP8KqU/ewION5DHV1Sc09NSzfq3nMowyS8xP2TUo7KhsUWugFobzPRT6wOqbgAX +g8kbLcZifROZcV1Tdi9pvfc8= 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=ozL+nBxdLs+D5/Ppni6+EHP4Mh3FJQGgK7fUzTzgYjku89XMqCE +e6LjP0oustznHD99gqYyb4wl8sUC527L2HvTAOcidnfC/wp7RYRLLxPEFEWIz1b iVpEjWcoL6suAcmwvDUhE+Gc8b021vBDvWrT/CauhDvtXIqEoFY11Yrg= Received: from user-109-90.vpn.cl.cam.ac.uk (user-109-90.vpn.cl.cam.ac.uk [128.232.109.90]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 4b6c0f6c (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 9 Apr 2019 17:11:24 +0100 (BST) Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 9 Apr 2019 17:11:22 +0100 Message-Id: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> References: To: Mindy Preston , Rudi Grinberg X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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" T24gOSBBcHIgMjAxOSwgYXQgMDA6MDIsIE1pbmR5IFByZXN0b24gPG1pbmR5QHNvbWVyYW5kb21p ZGlvdC5jb20+IHdyb3RlOgo+IAo+IEhpIGFsbCwKPiAKPiBJIHJlY2VudGx5IGdvdCBpbnNwaXJl ZCB0byByZXZpc2l0IHRlc3QgY292ZXJhZ2UgaW5mb3JtYXRpb24gZ2VuZXJhdGlvbi4gSXQgc2Vl bXMgdGhhdCB0aGUgY3VycmVudCBzdGF0ZSBvZiB0aGlzIGVjb3N5c3RlbSB1c2VzIGBkdW5lYCBm b3IgYnVpbGRpbmcgYW5kIHNvbWUgaW5zdHJ1Y3Rpb25zIGluIGBwcmVwcm9jZXNzYCBzdGFuemFz IHRvIGludm9rZSBgYmlzZWN0X3BweGAsIHdoaWNoIGl0c2VsZiBoYXMgbG9naWMgdG8gb25seSBw cm9kdWNlIGNvdmVyYWdlIGluZm9ybWF0aW9uIGlmIGFuIGVudmlyb25tZW50IHZhcmlhYmxlIGlz IHNldCB3aGVuIGNhbGxlZCBpbiBhIGNlcnRhaW4gbW9kZS4KPiAKPiBVbmZvcnR1bmF0ZWx5LCB3 aGlsZSB0aGUgKmludm9jYXRpb24qIG9mIGBiaXNlY3RfcHB4YCBjYW4gYmUgc2V0IGNvbmRpdGlv bmFsbHkgKHNlZSBiaXNlY3RfcHB4J3MgaW5zdHJ1Y3Rpb25zWzFdKSBmb3IgZGV0YWlscyksIHRo ZSBkZXBlbmRlbmN5IG9uIGBiaXNlY3RfcHB4YCBpcyB1bmNvbmRpdGlvbmFsIC0gZXZlbiBpZiB0 aGUgZW52aXJvbm1lbnQgdmFyaWFibGUgaXNuJ3Qgc2V0LCBgZHVuZSBidWlsZGAgd2lsbCBmYWls IGlmIGBiaXNlY3RfcHB4YCBpcyBub3QgaW5zdGFsbGVkLgo+IAo+IEl0IHNlZW1zIHRoYXQgbW9z dCBwcm9qZWN0cyB1c2luZyBgYmlzZWN0X3BweGAgdXNlIGEgc29sdXRpb24gdGhhdCBpbnZvbHZl cyBzb21lIHByZS1yZWxlYXNlIG1hc3NhZ2luZyBvZiBgZHVuZWAgZmlsZXMgdG8gcmVtb3ZlIGBi aXNlY3RfcHB4YCBmcm9tIGBwcmVwcm9jZXNzIChwcHNgIHN0YW56YXMsIGFuZCB0aGVuIHJlbGVh c2UgYW4gYG9wYW1gIGZpbGUgdGhhdCBkb2Vzbid0IG1lbnRpb24gYGJpc2VjdF9wcHhgLCBidXQg a2VlcCBgYmlzZWN0X3BweGAgaW4gdGhlaXIgcmVwb3NpdG9yeS1sb2NhbCBgb3BhbWAgZmlsZXMu Cj4gCj4gSSB0aGluayB0aGlzIGtpbmQgb2Ygd29ya2Zsb3cgaXMgT0sgZm9yIHJlcG9zaXRvcmll cyB0aGF0IGhhdmUgb25lIG9yIHR3byB2ZXJ5IGludm9sdmVkIG1haW50YWluZXJzLCBidXQgaXQg c2VlbXMgZXJyb3ItcHJvbmUgZm9yIE1pcmFnZU9TIHJlcG9zaXRvcmllcywgd2hlcmUgdGhlcmUn cyBhIHRlYW0gb2YgbWFpbnRhaW5lcnMgdGhhdCBoYXZlIHZhcnlpbmcgYW1vdW50cyBvZiBpbnZv bHZlbWVudC4gIEkgY2FuIHZlcnkgZWFzaWx5IGltYWdpbmUgbXlzZWxmIGdvaW5nIHRvIG1ha2Ug YSByZWxlYXNlIG9mIGEgcmVwb3NpdG9yeSB3aXRoIHRoaXMgc3RyYXRlZ3kgYW5kIGFjY2lkZW50 YWxseSByZWxlYXNpbmcgdGhlIGJpc2VjdGVkIHZlcnNpb24uCj4gCj4gSSdtIGludGVyZXN0ZWQg aWYgYW55b25lIGhhcyBhIHNvbHV0aW9uIGluIG1pbmQgZm9yIHRoaXMgdGhhdCdzIGEgYml0IG1v cmUgYXV0b21hdGljLgo+IAoKVGhpcyBpcyBpbmRlZWQgcGVuZGluZyBhIGZpeCBpbiBEdW5lOyBz ZWUgaHR0cHM6Ly9naXRodWIuY29tL29jYW1sL2R1bmUvaXNzdWVzLzU3CgpJ4oCZdmUgY29waWVk IFJ1ZGkgaW4gY2FzZSBoZSBjYW4gY29tbWVudCBvbiBhbnkgYmxvY2tlcnMgZnJvbSB0aGUgZHVu ZSBlbmQgYW5kIHdoZXRoZXIgdGhpcyBpcyBhIGNhbmRpZGF0ZSB0byB0YXJnZXQgZm9yIGR1bmUg MS4xMCAodGhlIDEuOSByZWxlYXNlIGlzIGp1c3QgYWJvdXQgcmVhZHkgdG8gZ28gb3V0IG9mIHRo ZSBkb29yIGluIHRoZSBuZXh0IGZldyBkYXlzKS4KCnJlZ2FyZHMsCkFuaWwKCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWls aW5nIGxpc3QKTWlyYWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0 cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 16:30:57 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 16:30: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 1hDteA-00070n-VC; Tue, 09 Apr 2019 16:30:54 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDte9-00070Z-Hp for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 16:30:53 +0000 X-Inumbo-ID: d720f374-5ae4-11e9-92d7-bc764e045a96 Received: from mail-io1-xd31.google.com (unknown [2607:f8b0:4864:20::d31]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id d720f374-5ae4-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 16:30:52 +0000 (UTC) Received: by mail-io1-xd31.google.com with SMTP id c4so14832233ioh.9 for ; Tue, 09 Apr 2019 09:30:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=6k6WWAaW65hpzy1bzBCdzKMUiSrsButB32wh820+k1k=; b=Lpkrjq4QDqqe9saoOnQMIfY3Ghg48nT1wl0fsTz7DDmJlwZS5V06NAy0LdXPx8TECd fvPvig7MR1SDmd8rO6KOre5H6y2DdPoENWopG6lbXbr71R6L4zZ49ZkbZqYWtWkfpcQ9 XB1X1dg5s4bR0SaRTX0maw/IbgXAjX/njScRSbq5dYs9Tm2g1fhZjm7FFzTk671F/lad wsmeaoHzQIltm6CeRY1L3RZxNeABy+NDaOnlH6EvI/pLRvqRsCIj8bq2bnAtOd24zwNA enwUjy0vY9Goyxoh8WDLDijt80z0WH6EBle3Nvpp1IiMNl2IQx7tQckIC6k2f5a0wQ3t 4YvQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=6k6WWAaW65hpzy1bzBCdzKMUiSrsButB32wh820+k1k=; b=kijv51+GFBDoa8zInFHwRYIvWVDtluJteO0Q1FhTlZUU5EEoG3SjCdDbFbu32ruXzm yaDBRbHgVoo2c8xx19YMPiuppW5cICKdk/6xzqktoR/im2Hy5pb9pkJrVe3hNmfgkQ3b ZqJrq3U/M/tFq68JGWoCpopI0pxYGiDWkux8o+3ye/afjWf9tQhM/K/zvndtdbX7pyH/ R/Xrdw0YHODSCNQEKGFVXEn8o35Ny2t7frPxsGHVdLKVvrFTyscv99GZGQ0ap0ld6giB ImsMJ1D0y+K7lf7TmD88YIVi2dh2qIZFGxaUPT7FbYeOvkqZxYF8j0Oadu6dd7FAeUhO R61w== X-Gm-Message-State: APjAAAVJzbKDFPfRHwVEpRWcp7GKXrJfd6CZYj49b6q05BFATlkYv2F9 EIMRb5DSokHTbRnWWtGCjSY5Mh5Z83d2+yYungayUw== X-Google-Smtp-Source: APXvYqxDA/v2ooLhC88X4FjbGSjq6LazPtXp4dK7UfyNJaXV4DFfS2+AyhlVtFzVHJPfmn3yOpfcq90I9382trAfins= X-Received: by 2002:a5d:8b55:: with SMTP id c21mr23963699iot.188.1554827451562; Tue, 09 Apr 2019 09:30:51 -0700 (PDT) MIME-Version: 1.0 References: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> In-Reply-To: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> From: Rudi Grinberg Date: Tue, 9 Apr 2019 23:30:40 +0700 Message-ID: To: Anil Madhavapeddy Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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="===============6498750772167765566==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============6498750772167765566== Content-Type: multipart/alternative; boundary="000000000000f0002505861b7938" --000000000000f0002505861b7938 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Indeed this feature has been on my to-do list forever. This problem is complicated by the fact that we want to be able to instrument preprocessed code. Consider running bisect on code sources that use cppo for example. Another design decision that needs review is the interaction with profiles. Originally, my idea was to have a special bisect profile that would setup instrumentation. However, people have been raising concerns that this is too inflexible. So we are likely to have this as a context option instead. Since this is becoming an issue for more people, I can certainly bump its priority. The first version of this is unlikely to address the limitation I've mentioned initially, would it still be useful for mirage? On Tue, Apr 9, 2019 at 11:11 PM Anil Madhavapeddy wrote: > On 9 Apr 2019, at 00:02, Mindy Preston wrote: > > > > Hi all, > > > > I recently got inspired to revisit test coverage information generation= . > It seems that the current state of this ecosystem uses `dune` for buildin= g > and some instructions in `preprocess` stanzas to invoke `bisect_ppx`, whi= ch > itself has logic to only produce coverage information if an environment > variable is set when called in a certain mode. > > > > Unfortunately, while the *invocation* of `bisect_ppx` can be set > conditionally (see bisect_ppx's instructions[1]) for details), the > dependency on `bisect_ppx` is unconditional - even if the environment > variable isn't set, `dune build` will fail if `bisect_ppx` is not install= ed. > > > > It seems that most projects using `bisect_ppx` use a solution that > involves some pre-release massaging of `dune` files to remove `bisect_ppx= ` > from `preprocess (pps` stanzas, and then release an `opam` file that > doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their > repository-local `opam` files. > > > > I think this kind of workflow is OK for repositories that have one or > two very involved maintainers, but it seems error-prone for MirageOS > repositories, where there's a team of maintainers that have varying amoun= ts > of involvement. I can very easily imagine myself going to make a release > of a repository with this strategy and accidentally releasing the bisecte= d > version. > > > > I'm interested if anyone has a solution in mind for this that's a bit > more automatic. > > > > This is indeed pending a fix in Dune; see > https://github.com/ocaml/dune/issues/57 > > I=E2=80=99ve copied Rudi in case he can comment on any blockers from the = dune end > and whether this is a candidate to target for dune 1.10 (the 1.9 release = is > just about ready to go out of the door in the next few days). > > regards, > Anil > > --000000000000f0002505861b7938 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Indeed this feature has been on my to-do list foreve= r. This problem is complicated by the fact that we want to be able to instr= ument preprocessed code. Consider running bisect on code sources that use c= ppo for example.

A= nother design decision that needs review is the interaction with profiles. = Originally, my idea was to have a special bisect profile that would setup i= nstrumentation. However, people have been raising concerns that this is too= inflexible. So we are likely to have this as a context option instead.

Since this is becoming an i= ssue for more people, I can certainly bump its priority. The first version = of this is unlikely to address the limitation I've mentioned initially,= would it still be useful for mirage?

On Tue, Apr 9, 2019 at 11:11 PM A= nil Madhavapeddy <anil@recoil.org= > wrote:
On 9 Apr 2019, at 00:02= , Mindy Preston <mindy@somerandomidiot.com> wrote:
>
> Hi all,
>
> I recently got inspired to revisit test coverage information generatio= n. It seems that the current state of this ecosystem uses `dune` for buildi= ng and some instructions in `preprocess` stanzas to invoke `bisect_ppx`, wh= ich itself has logic to only produce coverage information if an environment= variable is set when called in a certain mode.
>
> Unfortunately, while the *invocation* of `bisect_ppx` can be set condi= tionally (see bisect_ppx's instructions[1]) for details), the dependenc= y on `bisect_ppx` is unconditional - even if the environment variable isn&#= 39;t set, `dune build` will fail if `bisect_ppx` is not installed.
>
> It seems that most projects using `bisect_ppx` use a solution that inv= olves some pre-release massaging of `dune` files to remove `bisect_ppx` fro= m `preprocess (pps` stanzas, and then release an `opam` file that doesn'= ;t mention `bisect_ppx`, but keep `bisect_ppx` in their repository-local `o= pam` files.
>
> I think this kind of workflow is OK for repositories that have one or = two very involved maintainers, but it seems error-prone for MirageOS reposi= tories, where there's a team of maintainers that have varying amounts o= f involvement.=C2=A0 I can very easily imagine myself going to make a relea= se of a repository with this strategy and accidentally releasing the bisect= ed version.
>
> I'm interested if anyone has a solution in mind for this that'= s a bit more automatic.
>

This is indeed pending a fix in Dune; see https://github.com/= ocaml/dune/issues/57

I=E2=80=99ve copied Rudi in case he can comment on any blockers from the du= ne end and whether this is a candidate to target for dune 1.10 (the 1.9 rel= ease is just about ready to go out of the door in the next few days).

regards,
Anil

--000000000000f0002505861b7938-- --===============6498750772167765566== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============6498750772167765566==-- From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 16:49:48 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 16:49:48 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDtwN-0000o0-Ru; Tue, 09 Apr 2019 16:49:43 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDtwM-0000ns-EU for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 16:49:42 +0000 X-Inumbo-ID: 06969e9c-5ae7-11e9-91f5-3bd016ec640b Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 06969e9c-5ae7-11e9-91f5-3bd016ec640b; Tue, 09 Apr 2019 16:46:31 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 10a70374; Tue, 9 Apr 2019 17:46:29 +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=DyuT3S/5jSzyxCwEt8aZTmU2efU=; b= S+s8pDvix/yqZR4lpwtEYHPzUVt04H+wmvUVeQODQEfpP37FQ9msvYmULbPaJKAn C4W63uijR2KdWfgwzCi5MYrYJEm4V09UhJXznsJMPbw7u/qmyPzsbwT1W6P6/kK7 y3k1ZqOdkfOAYvhmJpAUddXFI9988ccOGzFwRVTBqL8= 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=leA5RPkdZaWS9kjRrhtSCHX 2ttH11uEl+SEIAHJbj8ewttBRzZ7CVmmbz8ajyZnUSMMtfqdZKObktGzCUacDuPu /yfsejh8Oyjjzg0CVJzwo7O7kAbMCApbLnShwMnT0qotSVf/Fmn/KY3sogSwsG0O eArsF3UCzSmPgWd+NtkA= Received: from user-109-90.vpn.cl.cam.ac.uk (user-109-90.vpn.cl.cam.ac.uk [128.232.109.90]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 26e89447 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 9 Apr 2019 17:46:29 +0100 (BST) From: Anil Madhavapeddy Message-Id: <11D3B6BA-1121-4839-A143-5EB29294EEAE@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Tue, 9 Apr 2019 17:46:27 +0100 In-Reply-To: To: Rudi Grinberg References: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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="===============4859899465735146282==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============4859899465735146282== Content-Type: multipart/alternative; boundary="Apple-Mail=_0FF68AF3-CF26-4CFD-9C22-74201C43802D" --Apple-Mail=_0FF68AF3-CF26-4CFD-9C22-74201C43802D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On 9 Apr 2019, at 17:30, Rudi Grinberg = wrote: >=20 > Indeed this feature has been on my to-do list forever. This problem is = complicated by the fact that we want to be able to instrument = preprocessed code. Consider running bisect on code sources that use cppo = for example. Thanks for the details, Rudi! It strikes me that we have relatively little use of ppx in core Mirage = libraries =E2=80=94 indeed, we=E2=80=99ve been steadily removing the = hard dependency on many core libraries such as ipaddr, uri, nocrypto and = so on. So I don=E2=80=99t think this is a big limitation initially. = And the coverage information from most ppx invocations don=E2=80=99t = seem hugely important to track _vs_ human written code, but others may = correct me on this. I don=E2=80=99t think we have a lot of use of cppo, = which would be the exception to this rule since it guards human-written = code. > Another design decision that needs review is the interaction with = profiles. Originally, my idea was to have a special bisect profile that = would setup instrumentation. However, people have been raising concerns = that this is too inflexible. So we are likely to have this as a context = option instead. A context option does sound more flexible =E2=80=94 this means that we = can build it alongside any existing build configurations. Bisect = coverage testing seems like something we want to enable as widely as = possible, so this also sounds good to me. > Since this is becoming an issue for more people, I can certainly bump = its priority. The first version of this is unlikely to address the = limitation I've mentioned initially, would it still be useful for = mirage? I think so! It would also get rid of another source of ocaml jbuild = files. regards, Anil >=20 > On Tue, Apr 9, 2019 at 11:11 PM Anil Madhavapeddy > wrote: > On 9 Apr 2019, at 00:02, Mindy Preston > wrote: > >=20 > > Hi all, > >=20 > > I recently got inspired to revisit test coverage information = generation. It seems that the current state of this ecosystem uses = `dune` for building and some instructions in `preprocess` stanzas to = invoke `bisect_ppx`, which itself has logic to only produce coverage = information if an environment variable is set when called in a certain = mode. > >=20 > > Unfortunately, while the *invocation* of `bisect_ppx` can be set = conditionally (see bisect_ppx's instructions[1]) for details), the = dependency on `bisect_ppx` is unconditional - even if the environment = variable isn't set, `dune build` will fail if `bisect_ppx` is not = installed. > >=20 > > It seems that most projects using `bisect_ppx` use a solution that = involves some pre-release massaging of `dune` files to remove = `bisect_ppx` from `preprocess (pps` stanzas, and then release an `opam` = file that doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their = repository-local `opam` files. > >=20 > > I think this kind of workflow is OK for repositories that have one = or two very involved maintainers, but it seems error-prone for MirageOS = repositories, where there's a team of maintainers that have varying = amounts of involvement. I can very easily imagine myself going to make = a release of a repository with this strategy and accidentally releasing = the bisected version. > >=20 > > I'm interested if anyone has a solution in mind for this that's a = bit more automatic. > >=20 >=20 > This is indeed pending a fix in Dune; see = https://github.com/ocaml/dune/issues/57 = >=20 > I=E2=80=99ve copied Rudi in case he can comment on any blockers from = the dune end and whether this is a candidate to target for dune 1.10 = (the 1.9 release is just about ready to go out of the door in the next = few days). >=20 > regards, > Anil >=20 > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel --Apple-Mail=_0FF68AF3-CF26-4CFD-9C22-74201C43802D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8

On 9 Apr 2019, at 17:30, Rudi Grinberg <rudi.grinberg@gmail.com> wrote:

Indeed this feature has been on my to-do list = forever. This problem is complicated by the fact that we want to be able = to instrument preprocessed code. Consider running bisect on code sources = that use cppo for example.

Thanks for the details, Rudi!

It strikes me that we have relatively little use = of ppx in core Mirage libraries =E2=80=94 indeed, we=E2=80=99ve been = steadily removing the hard dependency on many core libraries such as = ipaddr, uri, nocrypto and so on.  So I don=E2=80=99t think this is = a big limitation initially.  And the coverage information from most = ppx invocations don=E2=80=99t seem hugely important to track _vs_ human = written code, but others may correct me on this.  I don=E2=80=99t = think we have a lot of use of cppo, which would be the exception to this = rule since it guards human-written code.

Another design decision that needs review is the = interaction with profiles. Originally, my idea was to have a special = bisect profile that would setup instrumentation. However, people have = been raising concerns that this is too inflexible. So we are likely to = have this as a context option instead.

A context option does sound more flexible =E2=80=94 = this means that we can build it alongside any existing build = configurations.  Bisect coverage testing seems like something we = want to enable as widely as possible, so this also sounds good to = me.

Since this is = becoming an issue for more people, I can certainly bump its priority. = The first version of this is unlikely to address the limitation I've = mentioned initially, would it still be useful for = mirage?

I think so! =  It would also get rid of another source of ocaml jbuild = files.

regards,
Anil


On Tue, Apr 9, 2019 at 11:11 PM Anil = Madhavapeddy <anil@recoil.org> wrote:
On 9 Apr 2019, at 00:02, Mindy Preston <mindy@somerandomidiot.com> wrote:
>
> Hi all,
>
> I recently got inspired to revisit test coverage information = generation. It seems that the current state of this ecosystem uses = `dune` for building and some instructions in `preprocess` stanzas to = invoke `bisect_ppx`, which itself has logic to only produce coverage = information if an environment variable is set when called in a certain = mode.
>
> Unfortunately, while the *invocation* of `bisect_ppx` can be set = conditionally (see bisect_ppx's instructions[1]) for details), the = dependency on `bisect_ppx` is unconditional - even if the environment = variable isn't set, `dune build` will fail if `bisect_ppx` is not = installed.
>
> It seems that most projects using `bisect_ppx` use a solution that = involves some pre-release massaging of `dune` files to remove = `bisect_ppx` from `preprocess (pps` stanzas, and then release an `opam` = file that doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their = repository-local `opam` files.
>
> I think this kind of workflow is OK for repositories that have one = or two very involved maintainers, but it seems error-prone for MirageOS = repositories, where there's a team of maintainers that have varying = amounts of involvement.  I can very easily imagine myself going to = make a release of a repository with this strategy and accidentally = releasing the bisected version.
>
> I'm interested if anyone has a solution in mind for this that's a = bit more automatic.
>

This is indeed pending a fix in Dune; see https://github.com/ocaml/dune/issues/57

I=E2=80=99ve copied Rudi in case he can comment on any blockers from the = dune end and whether this is a candidate to target for dune 1.10 (the = 1.9 release is just about ready to go out of the door in the next few = days).

regards,
Anil

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

= --Apple-Mail=_0FF68AF3-CF26-4CFD-9C22-74201C43802D-- --===============4859899465735146282== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============4859899465735146282==-- From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 16:52:34 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 16:52:34 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDtz6-0001Wf-AE; Tue, 09 Apr 2019 16:52: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 1hDtz5-0001W8-1D for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 16:52:31 +0000 X-Inumbo-ID: dcb26460-5ae7-11e9-92d7-bc764e045a96 Received: from mail-it1-x12b.google.com (unknown [2607:f8b0:4864:20::12b]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id dcb26460-5ae7-11e9-92d7-bc764e045a96; Tue, 09 Apr 2019 16:52:30 +0000 (UTC) Received: by mail-it1-x12b.google.com with SMTP id s3so6090748itk.1 for ; Tue, 09 Apr 2019 09:52:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=BiI3Zrj0211jiRqpN24JmI+uhEC0DZNlaM44fxcMPkE=; b=vS4e1Ok/uB+6CZ9/CjIFVamcODASwem//6ouH1PyjYhy6mXp4Of9QhzBramtRuv12C qXQwg0Kf5K/tubmxoUDCkPbS/h2Cc3cc6cBevz7ksB8pY7Io+OxlSr06MiIIQUfUsRo5 Bat0UbQYBdhqn/qvLsbqmRnzK3SA6pGFQTFnAQgikBdw/H2AUXpTsccey9DjBBh18l4K IVagFaFCU+Ygk5U3cqbbyU/RXGuxFeoxu0sraQNQKplqoDV8R8GRjjua3VYxxQyCyTRn uThrKC3q+o51+RdsbKG8cWuyDNHH7gOg2PEGO2BcZKnM4ZKD8LpWi+LOJndWcjaRaO+X XodA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=BiI3Zrj0211jiRqpN24JmI+uhEC0DZNlaM44fxcMPkE=; b=cvViJO/zsLw/VWh2eHdzBU9i9gC2yERxE/YdSMOZn0pwuZOTCjZDKDQ9ghar3ZBKwt 6DJPC/nV2aGFG0zCxYeS9C7FdExoa8KpQx2Mt4QLhfoKYkv6zsmsdO/4LS3DIxeup50i 6eCmJqu8gR4WLeP++v7wQFZYjc550xOvVItFxGZ5mxrdKO5siF+yH6TaUOPCBPNYjm1k l6zWguKUGpx5t5Et/xTDv/KRSKOvSgtL4l7o/XgWG+7R5ap+UJJeXivaRt6ZHNMiFCW+ CowlazdFeSwfflRdIKtwDaypVAYuwE71IhFce+kySDmPzbcgFp//pQp1j8U2Ruzwd2T3 YqqQ== X-Gm-Message-State: APjAAAUSXsaI3iaEygB3b6BJdvDt/RNdkHJ7mRrORCMzxhCw+SJdr4W0 ayqX8s1JMmvqoUYxJYnSWVzCbK9Y2aFn4kMLQlMLug== X-Google-Smtp-Source: APXvYqzdnraXZ9ysWraHf7rOPqGrFBquv7Ygbf4ne4//wux/nbZO+9K2kS9y7wibKUn4TQByUhe5YfMfPkZlltc2d44= X-Received: by 2002:a24:2808:: with SMTP id h8mr25796710ith.85.1554828749364; Tue, 09 Apr 2019 09:52:29 -0700 (PDT) MIME-Version: 1.0 References: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> <11D3B6BA-1121-4839-A143-5EB29294EEAE@recoil.org> In-Reply-To: <11D3B6BA-1121-4839-A143-5EB29294EEAE@recoil.org> From: Rudi Grinberg Date: Tue, 9 Apr 2019 23:52:17 +0700 Message-ID: To: Anil Madhavapeddy Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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="===============1979570859976145092==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============1979570859976145092== Content-Type: multipart/alternative; boundary="0000000000004ae40c05861bc7a3" --0000000000004ae40c05861bc7a3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Just to clarify, the first version will work with other ppxes! It will not work with normal preprocessors however. So you would only lose out on cppo really. On Tue, Apr 9, 2019 at 11:46 PM Anil Madhavapeddy wrote: > > On 9 Apr 2019, at 17:30, Rudi Grinberg wrote: > > Indeed this feature has been on my to-do list forever. This problem is > complicated by the fact that we want to be able to instrument preprocesse= d > code. Consider running bisect on code sources that use cppo for example. > > > Thanks for the details, Rudi! > > It strikes me that we have relatively little use of ppx in core Mirage > libraries =E2=80=94 indeed, we=E2=80=99ve been steadily removing the hard= dependency on > many core libraries such as ipaddr, uri, nocrypto and so on. So I don=E2= =80=99t > think this is a big limitation initially. And the coverage information > from most ppx invocations don=E2=80=99t seem hugely important to track _v= s_ human > written code, but others may correct me on this. I don=E2=80=99t think w= e have a > lot of use of cppo, which would be the exception to this rule since it > guards human-written code. > > Another design decision that needs review is the interaction with > profiles. Originally, my idea was to have a special bisect profile that > would setup instrumentation. However, people have been raising concerns > that this is too inflexible. So we are likely to have this as a context > option instead. > > > A context option does sound more flexible =E2=80=94 this means that we ca= n build > it alongside any existing build configurations. Bisect coverage testing > seems like something we want to enable as widely as possible, so this als= o > sounds good to me. > > Since this is becoming an issue for more people, I can certainly bump its > priority. The first version of this is unlikely to address the limitation > I've mentioned initially, would it still be useful for mirage? > > > I think so! It would also get rid of another source of ocaml jbuild file= s. > > regards, > Anil > > > On Tue, Apr 9, 2019 at 11:11 PM Anil Madhavapeddy wrote= : > >> On 9 Apr 2019, at 00:02, Mindy Preston wrote= : >> > >> > Hi all, >> > >> > I recently got inspired to revisit test coverage information >> generation. It seems that the current state of this ecosystem uses `dune= ` >> for building and some instructions in `preprocess` stanzas to invoke >> `bisect_ppx`, which itself has logic to only produce coverage informatio= n >> if an environment variable is set when called in a certain mode. >> > >> > Unfortunately, while the *invocation* of `bisect_ppx` can be set >> conditionally (see bisect_ppx's instructions[1]) for details), the >> dependency on `bisect_ppx` is unconditional - even if the environment >> variable isn't set, `dune build` will fail if `bisect_ppx` is not instal= led. >> > >> > It seems that most projects using `bisect_ppx` use a solution that >> involves some pre-release massaging of `dune` files to remove `bisect_pp= x` >> from `preprocess (pps` stanzas, and then release an `opam` file that >> doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their >> repository-local `opam` files. >> > >> > I think this kind of workflow is OK for repositories that have one or >> two very involved maintainers, but it seems error-prone for MirageOS >> repositories, where there's a team of maintainers that have varying amou= nts >> of involvement. I can very easily imagine myself going to make a releas= e >> of a repository with this strategy and accidentally releasing the bisect= ed >> version. >> > >> > I'm interested if anyone has a solution in mind for this that's a bit >> more automatic. >> > >> >> This is indeed pending a fix in Dune; see >> https://github.com/ocaml/dune/issues/57 >> >> I=E2=80=99ve copied Rudi in case he can comment on any blockers from the= dune end >> and whether this is a candidate to target for dune 1.10 (the 1.9 release= is >> just about ready to go out of the door in the next few days). >> >> regards, >> Anil >> >> _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel > > > --0000000000004ae40c05861bc7a3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Just to clarify, the first version will work with ot= her ppxes! It will not work with normal preprocessors however. So you would= only lose out on cppo really.

On Tue, Apr 9, 2019 at 11:46 PM An= il Madhavapeddy <anil@recoil.org&= gt; wrote:

On 9 Apr 2019, at 17:30, Rudi Grinberg <rudi.grinberg@gmail.com> wrote:
=
Indeed this feature has been on my to-do list forever. Th= is problem is complicated by the fact that we want to be able to instrument= preprocessed code. Consider running bisect on code sources that use cppo f= or example.

Thanks for the det= ails, Rudi!

It strikes me that we have relatively = little use of ppx in core Mirage libraries =E2=80=94 indeed, we=E2=80=99ve = been steadily removing the hard dependency on many core libraries such as i= paddr, uri, nocrypto and so on.=C2=A0 So I don=E2=80=99t think this is a bi= g limitation initially.=C2=A0 And the coverage information from most ppx in= vocations don=E2=80=99t seem hugely important to track _vs_ human written c= ode, but others may correct me on this.=C2=A0 I don=E2=80=99t think we have= a lot of use of cppo, which would be the exception to this rule since it g= uards human-written code.

Another design decision that needs review is the interaction = with profiles. Originally, my idea was to have a special bisect profile tha= t would setup instrumentation. However, people have been raising concerns t= hat this is too inflexible. So we are likely to have this as a context opti= on instead.

A context option does so= und more flexible =E2=80=94 this means that we can build it alongside any e= xisting build configurations.=C2=A0 Bisect coverage testing seems like some= thing we want to enable as widely as possible, so this also sounds good to = me.

Since this is becoming an issue for more people, I can certainly bump it= s priority. The first version of this is unlikely to address the limitation= I've mentioned initially, would it still be useful for mirage?

I think so!=C2=A0 It would also get rid of = another source of ocaml jbuild files.

regards,
Anil

<= /blockquote>

On Tue, Apr 9, 2019 at 11:= 11 PM Anil Madhavapeddy <anil@recoil.org> wrote:
mindy@somerandomidiot.com> wrote: >
> Hi all,
>
> I recently got inspired to revisit test coverage information generatio= n. It seems that the current state of this ecosystem uses `dune` for buildi= ng and some instructions in `preprocess` stanzas to invoke `bisect_ppx`, wh= ich itself has logic to only produce coverage information if an environment= variable is set when called in a certain mode.
>
> Unfortunately, while the *invocation* of `bisect_ppx` can be set condi= tionally (see bisect_ppx's instructions[1]) for details), the dependenc= y on `bisect_ppx` is unconditional - even if the environment variable isn&#= 39;t set, `dune build` will fail if `bisect_ppx` is not installed.
>
> It seems that most projects using `bisect_ppx` use a solution that inv= olves some pre-release massaging of `dune` files to remove `bisect_ppx` fro= m `preprocess (pps` stanzas, and then release an `opam` file that doesn'= ;t mention `bisect_ppx`, but keep `bisect_ppx` in their repository-local `o= pam` files.
>
> I think this kind of workflow is OK for repositories that have one or = two very involved maintainers, but it seems error-prone for MirageOS reposi= tories, where there's a team of maintainers that have varying amounts o= f involvement.=C2=A0 I can very easily imagine myself going to make a relea= se of a repository with this strategy and accidentally releasing the bisect= ed version.
>
> I'm interested if anyone has a solution in mind for this that'= s a bit more automatic.
>

This is indeed pending a fix in Dune; see https://github.com/= ocaml/dune/issues/57

I=E2=80=99ve copied Rudi in case he can comment on any blockers from the du= ne end and whether this is a candidate to target for dune 1.10 (the 1.9 rel= ease is just about ready to go out of the door in the next few days).

regards,
Anil

_______________________________________________
MirageOS-devel mailing l= ist
MirageOS-devel@lists.xenproject.org
https://lis= ts.xenproject.org/mailman/listinfo/mirageos-devel

--0000000000004ae40c05861bc7a3-- --===============1979570859976145092== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============1979570859976145092==-- From mirageos-devel-bounces@lists.xenproject.org Tue Apr 09 17:07:42 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Tue, 09 Apr 2019 17:07: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 1hDuDh-0002ug-Dd; Tue, 09 Apr 2019 17:07:37 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hDuDg-0002ub-Bv for mirageos-devel@lists.xenproject.org; Tue, 09 Apr 2019 17:07:36 +0000 X-Inumbo-ID: f7650f0a-5ae9-11e9-85c5-ff29bb48b954 Received: from bark.recoil.org (unknown [5.153.225.51]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id f7650f0a-5ae9-11e9-85c5-ff29bb48b954; Tue, 09 Apr 2019 17:07:34 +0000 (UTC) Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id a1e538fa; Tue, 9 Apr 2019 18:07:32 +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=9ZgEpLMYtB8m3yAHvtCGpf8xpIw=; b= MV5TmNUZ7rwzswOwDbT6XNs2kkQAuf2X7gwqsawjtKo+I1kmtFeXNBcP6ebFWDjw V22dFzV+Lg7J0y9spZ+gSplBIzThHfKJTaFdxwmFfTAuFdb8UHXXpLbsReCfJW+Q IFvAZg5K0YfDnRxprolp52qUpNDyW3h72Dt+lS0WiW0= 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=pFZTT7t+EGdEv9pkdfCfea1 LMVEqgAJhWnAXIe3R3WuhVcwczi+CSEgcTwzN/PA7LJASTKg7qFa+xYSPyee69gc R0waWQa69zqvAdHCSi37Rhg361HcDehPDKGB0Cj+Znl6ZTMozn3AsuSAhZEUvS0v x9ofglizKv+2AXHpkMaE= Received: from user-109-90.vpn.cl.cam.ac.uk (user-109-90.vpn.cl.cam.ac.uk [128.232.109.90]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id b2628949 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 9 Apr 2019 18:07:32 +0100 (BST) From: Anil Madhavapeddy Message-Id: Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Tue, 9 Apr 2019 18:07:30 +0100 In-Reply-To: To: Rudi Grinberg References: <16296E7D-1568-4DC1-A764-02FEE29E50E9@recoil.org> <11D3B6BA-1121-4839-A143-5EB29294EEAE@recoil.org> X-Mailer: Apple Mail (2.3445.9.1) Subject: Re: [MirageOS-devel] tests, coverage, and the modern duniverse 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="===============5584103117778723567==" Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --===============5584103117778723567== Content-Type: multipart/alternative; boundary="Apple-Mail=_AC25588E-9971-4602-A664-6037738BC89B" --Apple-Mail=_AC25588E-9971-4602-A664-6037738BC89B Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 The lack of cppo coverage seems entirely survivable for mirage=E2=80=A6 = :-) regards, Anil > On 9 Apr 2019, at 17:52, Rudi Grinberg = wrote: >=20 > Just to clarify, the first version will work with other ppxes! It will = not work with normal preprocessors however. So you would only lose out = on cppo really. >=20 > On Tue, Apr 9, 2019 at 11:46 PM Anil Madhavapeddy > wrote: >=20 >> On 9 Apr 2019, at 17:30, Rudi Grinberg > wrote: >>=20 >> Indeed this feature has been on my to-do list forever. This problem = is complicated by the fact that we want to be able to instrument = preprocessed code. Consider running bisect on code sources that use cppo = for example. >=20 > Thanks for the details, Rudi! >=20 > It strikes me that we have relatively little use of ppx in core Mirage = libraries =E2=80=94 indeed, we=E2=80=99ve been steadily removing the = hard dependency on many core libraries such as ipaddr, uri, nocrypto and = so on. So I don=E2=80=99t think this is a big limitation initially. = And the coverage information from most ppx invocations don=E2=80=99t = seem hugely important to track _vs_ human written code, but others may = correct me on this. I don=E2=80=99t think we have a lot of use of cppo, = which would be the exception to this rule since it guards human-written = code. >=20 >> Another design decision that needs review is the interaction with = profiles. Originally, my idea was to have a special bisect profile that = would setup instrumentation. However, people have been raising concerns = that this is too inflexible. So we are likely to have this as a context = option instead. >=20 > A context option does sound more flexible =E2=80=94 this means that we = can build it alongside any existing build configurations. Bisect = coverage testing seems like something we want to enable as widely as = possible, so this also sounds good to me. >=20 >> Since this is becoming an issue for more people, I can certainly bump = its priority. The first version of this is unlikely to address the = limitation I've mentioned initially, would it still be useful for = mirage? >=20 > I think so! It would also get rid of another source of ocaml jbuild = files. >=20 > regards, > Anil >=20 >=20 >>=20 >> On Tue, Apr 9, 2019 at 11:11 PM Anil Madhavapeddy > wrote: >> On 9 Apr 2019, at 00:02, Mindy Preston > wrote: >> >=20 >> > Hi all, >> >=20 >> > I recently got inspired to revisit test coverage information = generation. It seems that the current state of this ecosystem uses = `dune` for building and some instructions in `preprocess` stanzas to = invoke `bisect_ppx`, which itself has logic to only produce coverage = information if an environment variable is set when called in a certain = mode. >> >=20 >> > Unfortunately, while the *invocation* of `bisect_ppx` can be set = conditionally (see bisect_ppx's instructions[1]) for details), the = dependency on `bisect_ppx` is unconditional - even if the environment = variable isn't set, `dune build` will fail if `bisect_ppx` is not = installed. >> >=20 >> > It seems that most projects using `bisect_ppx` use a solution that = involves some pre-release massaging of `dune` files to remove = `bisect_ppx` from `preprocess (pps` stanzas, and then release an `opam` = file that doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their = repository-local `opam` files. >> >=20 >> > I think this kind of workflow is OK for repositories that have one = or two very involved maintainers, but it seems error-prone for MirageOS = repositories, where there's a team of maintainers that have varying = amounts of involvement. I can very easily imagine myself going to make = a release of a repository with this strategy and accidentally releasing = the bisected version. >> >=20 >> > I'm interested if anyone has a solution in mind for this that's a = bit more automatic. >> >=20 >>=20 >> This is indeed pending a fix in Dune; see = https://github.com/ocaml/dune/issues/57 = >>=20 >> I=E2=80=99ve copied Rudi in case he can comment on any blockers from = the dune end and whether this is a candidate to target for dune 1.10 = (the 1.9 release is just about ready to go out of the door in the next = few days). >>=20 >> regards, >> Anil >>=20 >> _______________________________________________ >> MirageOS-devel mailing list >> MirageOS-devel@lists.xenproject.org = >> https://lists.xenproject.org/mailman/listinfo/mirageos-devel = >=20 > _______________________________________________ > MirageOS-devel mailing list > MirageOS-devel@lists.xenproject.org > https://lists.xenproject.org/mailman/listinfo/mirageos-devel --Apple-Mail=_AC25588E-9971-4602-A664-6037738BC89B Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 The = lack of cppo coverage seems entirely survivable for mirage=E2=80=A6 = :-)

regards,
Anil

On 9 Apr 2019, at 17:52, Rudi = Grinberg <rudi.grinberg@gmail.com> wrote:

Just to clarify, the first version will work = with other ppxes! It will not work with normal preprocessors however. So = you would only lose out on cppo really.

On Tue, Apr 9, 2019 at 11:46 PM Anil Madhavapeddy = <anil@recoil.org> = wrote:

On 9 Apr 2019, at 17:30, Rudi Grinberg <rudi.grinberg@gmail.com> wrote:

Indeed this = feature has been on my to-do list forever. This problem is complicated = by the fact that we want to be able to instrument preprocessed code. = Consider running bisect on code sources that use cppo for = example.

Thanks for the details, Rudi!

It strikes me that we have relatively = little use of ppx in core Mirage libraries =E2=80=94 indeed, we=E2=80=99ve= been steadily removing the hard dependency on many core libraries such = as ipaddr, uri, nocrypto and so on.  So I don=E2=80=99t think this = is a big limitation initially.  And the coverage information from = most ppx invocations don=E2=80=99t seem hugely important to track _vs_ = human written code, but others may correct me on this.  I don=E2=80=99= t think we have a lot of use of cppo, which would be the exception to = this rule since it guards human-written code.

Another design decision that needs review is the = interaction with profiles. Originally, my idea was to have a special = bisect profile that would setup instrumentation. However, people have = been raising concerns that this is too inflexible. So we are likely to = have this as a context option instead.

A context option does sound more = flexible =E2=80=94 this means that we can build it alongside any = existing build configurations.  Bisect coverage testing seems like = something we want to enable as widely as possible, so this also sounds = good to me.

Since this is becoming an issue for more people, = I can certainly bump its priority. The first version of this is unlikely = to address the limitation I've mentioned initially, would it still be = useful for mirage?

I think so!  It would also get rid of another = source of ocaml jbuild files.

regards,
Anil


On Tue, Apr 9, 2019 at 11:11 PM Anil = Madhavapeddy <anil@recoil.org> wrote:
On 9 Apr 2019, at 00:02, Mindy Preston <mindy@somerandomidiot.com> wrote:
>
> Hi all,
>
> I recently got inspired to revisit test coverage information = generation. It seems that the current state of this ecosystem uses = `dune` for building and some instructions in `preprocess` stanzas to = invoke `bisect_ppx`, which itself has logic to only produce coverage = information if an environment variable is set when called in a certain = mode.
>
> Unfortunately, while the *invocation* of `bisect_ppx` can be set = conditionally (see bisect_ppx's instructions[1]) for details), the = dependency on `bisect_ppx` is unconditional - even if the environment = variable isn't set, `dune build` will fail if `bisect_ppx` is not = installed.
>
> It seems that most projects using `bisect_ppx` use a solution that = involves some pre-release massaging of `dune` files to remove = `bisect_ppx` from `preprocess (pps` stanzas, and then release an `opam` = file that doesn't mention `bisect_ppx`, but keep `bisect_ppx` in their = repository-local `opam` files.
>
> I think this kind of workflow is OK for repositories that have one = or two very involved maintainers, but it seems error-prone for MirageOS = repositories, where there's a team of maintainers that have varying = amounts of involvement.  I can very easily imagine myself going to = make a release of a repository with this strategy and accidentally = releasing the bisected version.
>
> I'm interested if anyone has a solution in mind for this that's a = bit more automatic.
>

This is indeed pending a fix in Dune; see https://github.com/ocaml/dune/issues/57

I=E2=80=99ve copied Rudi in case he can comment on any blockers from the = dune end and whether this is a candidate to target for dune 1.10 (the = 1.9 release is just about ready to go out of the door in the next few = days).

regards,
Anil

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

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

= --Apple-Mail=_AC25588E-9971-4602-A664-6037738BC89B-- --===============5584103117778723567== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --===============5584103117778723567==-- From mirageos-devel-bounces@lists.xenproject.org Wed Apr 10 12:01:59 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 10 Apr 2019 12:01: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 1hEBvC-0001Ur-3n; Wed, 10 Apr 2019 12:01:42 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hEBvA-0001Uh-Eu for mirageos-devel@lists.xenproject.org; Wed, 10 Apr 2019 12:01:40 +0000 X-Inumbo-ID: 659524f5-5b88-11e9-92d7-bc764e045a96 Received: from mail-vk1-xa30.google.com (unknown [2607:f8b0:4864:20::a30]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 659524f5-5b88-11e9-92d7-bc764e045a96; Wed, 10 Apr 2019 12:01:39 +0000 (UTC) Received: by mail-vk1-xa30.google.com with SMTP id s63so484451vkg.10 for ; Wed, 10 Apr 2019 05:01:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=+lRxLa5rBCcBfHagkVe9k9eH7vVhJ6NzPNABeOWeEdY=; b=OnC+F4jW/nk0r5Zc+Z/DTope/3eTfjhfpM1oXgDmXc2JYOJ7UuZfvloJZRgONmlqBq f9rcB2GB7V6DgzR1VnjrPjz9nGtdyK/M1v+Ul/Qz7g7IEZ4AM+mmj5w9JyKji1vd6+Si lUFxDYsl6Otln412uWf3JyjzybtFnxV9J8GJSltvsCJnhzXN0J8KcT0bAptSM1cbIxGg zHQnmNrK9iOL3W4oPKM5vem/EzNldMMVEaW+3ilwgle1nrAfjqIRXp1WMezEOgF1u2Kz AjsJyhx/ez+jCcQUXzr7FQgn7yDDIQGKkGAiE94FYHmHSr1OtY0qogFbAA05w8jaQYMF 78oA== 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=+lRxLa5rBCcBfHagkVe9k9eH7vVhJ6NzPNABeOWeEdY=; b=T0y+cUmRYrR+U2CM/DwppKgK+ed9ITee/FAC31PRZAAVOUyCqf7qA8Dnyd990gwqWJ jU6CbD3DbSPkYS+bxN0FngMXboHCbcvqriHzYGeNquK7tS20sIZ9vrbLcd+xg7yrY098 5ZFR9dGtkwJgSEO28FzLRMb0ZlbOHMna6t8gaOUnOK27DbDuYqIrHgO/gXifjMP6IvN7 TUE867/8a1BhFEsu2C0lHFVXXRYlH7KoXqibwp4d0oCmdtq/Q/Kcv03NwX6BB/VzGsBc w3N8zMhCCDSbvqekxneGIbNTCFdALQAbhKa4J6lfyUyYS1zl9EOmgzBz4TFsb64oRze3 a5Gg== X-Gm-Message-State: APjAAAXmBOY5UilMIBOWtjxxRLn7f/lDHrMnhnu3xjrh3EE/7FIxDk+i ESW/xsAxwcxyC/Ac9SxzS5Rsg8oiVEhCBVfla/jdYS05 X-Google-Smtp-Source: APXvYqzydpdLouWBrSE/4MPMK46v8pWU3Sa/OBbHi3DC//RJVfXfb9xDTylltexOo0m9K0bL5ZshhjZwmL0cIQNrgp0= X-Received: by 2002:a1f:3103:: with SMTP id x3mr5019870vkx.17.1554897698318; Wed, 10 Apr 2019 05:01:38 -0700 (PDT) MIME-Version: 1.0 From: Thomas Leonard Date: Wed, 10 Apr 2019 12:54:25 +0100 Message-ID: To: mirageos-devel@lists.xenproject.org Subject: [MirageOS-devel] Mirage threads on qubes-users 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" VGhlcmUgYXJlIHF1aXRlIGEgbG90IG9mIHRocmVhZHMgYWJvdXQgbWlyYWdlIG9uIHRoZSBxdWJl cy11c2VycyBsaXN0CmF0IHRoZSBtb21lbnQuIEZlZWwgZnJlZSB0byBqdW1wIGluLi4uCgpodHRw czovL2dyb3Vwcy5nb29nbGUuY29tL2ZvcnVtLyMhdG9waWMvcXViZXMtdXNlcnMveGZuVmRkMVBs dmsKKHF1YmVzLW1pcmFnZS1maXJld2FsbCAwLjUpCmh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20v Zm9ydW0vIyF0b3BpYy9xdWJlcy11c2Vycy9UYjBTR0V6bkpocwoocXViZXMtbWlyYWdlLWZpcmV3 YWxsIGNoYWluaW5nKQpodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2ZvcnVtLyMhdG9waWMvcXVi ZXMtdXNlcnMvQm5MMG5aR3BKT0UKKExvb2tpbmcgdG8gZWRpdCBydWxlcy5tbCBvZiBteSBtaXJh Z2UtZmlyZXdhbGwgVk0gYnV0IHNpbmNlIEkgY2Fubm90CnJ1biBzaGVsbCwgSURLIHdoYXQgdG8g ZG8pCmh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZm9ydW0vIyF0b3BpYy9xdWJlcy11c2Vycy9H T0NfVnBJenUzQSAoanVzdApkcmVhbWluZzogbWlyYWdlLXRvciA/KQoKSW4gcGFydGljdWxhciwg aHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL21zZy9xdWJlcy11c2Vycy94Zm5WZGQxUGx2ay9I N29BcE45ckNRQUoKaXMgYXNraW5nIGFib3V0IFBWSCBhbmQgSSdtIG5vdCBzdXJlIHdoYXQgdG8g c2F5IGFib3V0IHRoYXQuCgoKLS0gCnRhbGV4NSAoR2l0SHViL1R3aXR0ZXIpICAgICAgICBodHRw Oi8vcm9zY2lkdXMuY29tL2Jsb2cvCkdQRzogNURENSA4RDcwIDg5OUMgNDU0QSA5NjZEICA2QTUx IDc1MTMgM0M4RiA5NEY2IEUwQ0MKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApNaXJhZ2VPUy1kZXZlbEBs aXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4v bGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Wed Apr 10 12:19:18 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 10 Apr 2019 12:19:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hECCA-0002ex-0c; Wed, 10 Apr 2019 12:19: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 1hECC8-0002es-Jq for mirageos-devel@lists.xenproject.org; Wed, 10 Apr 2019 12:19:12 +0000 X-Inumbo-ID: d7d83785-5b8a-11e9-92d7-bc764e045a96 Received: from ppsw-32.csi.cam.ac.uk (unknown [131.111.8.132]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id d7d83785-5b8a-11e9-92d7-bc764e045a96; Wed, 10 Apr 2019 12:19:10 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20180806.ppsw; h=Sender:To:References:Message-Id:Content-Transfer-Encoding :Cc:Date:In-Reply-To:From:Subject:Mime-Version:Content-Type:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=cP/abQncAoejhFdyJFpNWQatqE3O/+Jgge5sgpIbJLw=; b=yMlnd8CH+6ShhadhxODD+TyXHQ Of1yc47WGL2PD8obQfEJkDmnYG0kgmqdwI8wS0kHtjXHeVeQwe1tknV42VpW1/zgZrh5u4Ty5t1wg 89aToJQpIw/gKITFrrEJKfWp8406m8Rbk1P9ejrv2FtVhcDKJ0urI5geC8PCs9mGjbZI=; X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Received: from greyjay.mac.cl.cam.ac.uk ([128.232.56.55]:57960) by ppsw-32.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.158]:587) with esmtpsa (PLAIN:rmm1002) (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) id 1hECC5-000dF6-1J (Exim 4.91) (return-path ); Wed, 10 Apr 2019 13:19:09 +0100 Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) From: Richard Mortier In-Reply-To: Date: Wed, 10 Apr 2019 13:19:08 +0100 Message-Id: References: To: Thomas Leonard X-Mailer: Apple Mail (2.3445.104.8) Subject: Re: [MirageOS-devel] Mirage threads on qubes-users 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" Cgo+IE9uIDEwIEFwciAyMDE5LCBhdCAxMjo1NCwgVGhvbWFzIExlb25hcmQgPHRhbGV4NUBnbWFp bC5jb20+IHdyb3RlOgo+IAo+IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZm9ydW0vIyF0b3Bp Yy9xdWJlcy11c2Vycy9HT0NfVnBJenUzQSAoanVzdAo+IGRyZWFtaW5nOiBtaXJhZ2UtdG9yID8p CgpGV0lXIGEgTWlyYWdlIFRvciByZWxheSB3YXMgYShub3RoZXIpIGZpbmFsIHllYXIgdW5kZXJn cmFkIHByb2plY3QgSSBzdXBlcnZpc2VkIGxhc3QgeWVhciAod2l0aCBleHBlcnQgYXNzaXN0YW5j ZSBmcm9tIEhhbm5lcykuIEluaXRpYWxseSBhcHBlYXJlZCB0byBtYWtlIGdvb2QgcHJvZ3Jlc3Mg YnV0IEkgdGhpbmsgaXQgcmF0aGVyIHBldGVyZWQgb3V0IGluIHRoZSBlbmQuIFVuZm9ydHVuYXRl bHkgSSBkb27igJl0IHRoaW5rIHRoZSBjb2RlIHdhcyBldmVyIHB1Ymxpc2hlZCB0aG91Z2ggc28g dGhpcyBlbWFpbCBpcyByYXRoZXIgcG9pbnRsZXNz4oCmIDopCgotLSAgClJpY2hhcmQgTW9ydGll cgpyaWNoYXJkLm1vcnRpZXJAY2wuY2FtLmFjLnVrCgoKCgoKCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fCk1pcmFnZU9TLWRldmVsIG1haWxpbmcgbGlzdApN aXJhZ2VPUy1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2pl Y3Qub3JnL21haWxtYW4vbGlzdGluZm8vbWlyYWdlb3MtZGV2ZWwK From mirageos-devel-bounces@lists.xenproject.org Fri Apr 12 20:20:40 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 12 Apr 2019 20:20: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 1hF2es-0007Ed-Mb; Fri, 12 Apr 2019 20:20: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 1hF2er-0007Dt-4Y for mirageos-devel@lists.xenproject.org; Fri, 12 Apr 2019 20:20:21 +0000 X-Inumbo-ID: 63b2bebe-5d60-11e9-92d7-bc764e045a96 Received: from relay12.mail.gandi.net (unknown [217.70.178.232]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 63b2bebe-5d60-11e9-92d7-bc764e045a96; Fri, 12 Apr 2019 20:20:19 +0000 (UTC) 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 relay12.mail.gandi.net (Postfix) with ESMTPSA id A442D200003 for ; Fri, 12 Apr 2019 20:19:57 +0000 (UTC) From: Mindy Preston References: To: mirageos-devel@lists.xenproject.org Message-ID: Date: Fri, 12 Apr 2019 15:19:54 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Subject: Re: [MirageOS-devel] Mirage threads on qubes-users 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" T24gNC8xMC8xOSA2OjU0IEFNLCBUaG9tYXMgTGVvbmFyZCB3cm90ZToKCj4gVGhlcmUgYXJlIHF1 aXRlIGEgbG90IG9mIHRocmVhZHMgYWJvdXQgbWlyYWdlIG9uIHRoZSBxdWJlcy11c2VycyBsaXN0 Cj4gYXQgdGhlIG1vbWVudC4gRmVlbCBmcmVlIHRvIGp1bXAgaW4uLi4KPgo+IGh0dHBzOi8vZ3Jv dXBzLmdvb2dsZS5jb20vZm9ydW0vIyF0b3BpYy9xdWJlcy11c2Vycy94Zm5WZGQxUGx2awo+IChx dWJlcy1taXJhZ2UtZmlyZXdhbGwgMC41KQo+IGh0dHBzOi8vZ3JvdXBzLmdvb2dsZS5jb20vZm9y dW0vIyF0b3BpYy9xdWJlcy11c2Vycy9UYjBTR0V6bkpocwo+IChxdWJlcy1taXJhZ2UtZmlyZXdh bGwgY2hhaW5pbmcpCj4gaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9mb3J1bS8jIXRvcGljL3F1 YmVzLXVzZXJzL0JuTDBuWkdwSk9FCj4gKExvb2tpbmcgdG8gZWRpdCBydWxlcy5tbCBvZiBteSBt aXJhZ2UtZmlyZXdhbGwgVk0gYnV0IHNpbmNlIEkgY2Fubm90Cj4gcnVuIHNoZWxsLCBJREsgd2hh dCB0byBkbykKPiBodHRwczovL2dyb3Vwcy5nb29nbGUuY29tL2ZvcnVtLyMhdG9waWMvcXViZXMt dXNlcnMvR09DX1ZwSXp1M0EgIChqdXN0Cj4gZHJlYW1pbmc6IG1pcmFnZS10b3IgPykKPgo+IElu IHBhcnRpY3VsYXIsaHR0cHM6Ly9ncm91cHMuZ29vZ2xlLmNvbS9kL21zZy9xdWJlcy11c2Vycy94 Zm5WZGQxUGx2ay9IN29BcE45ckNRQUoKPiBpcyBhc2tpbmcgYWJvdXQgUFZIIGFuZCBJJ20gbm90 IHN1cmUgd2hhdCB0byBzYXkgYWJvdXQgdGhhdC4KClRoYW5rcyBmb3IgZHJhd2luZyBhdHRlbnRp b24gdG8gdGhpcyAtLSBJJ3ZlIGJlZW4gZWxib3ctZGVlcCBpbiB0cmlja3kgCklDTVAgZXJyb3Ig Y2FzZXMgd2l0aCBAbGluc2UgdGhpcyB3ZWVrIGFuZCBkaWRuJ3Qgd2FudCB0byBwYWdlIHRoYXQg b3V0LCAKYnV0IEknbSBub3cgY29taW5nIHVwIGZvciBhaXIuwqAgU29tZSBmb2xrcyBoZXJlIG1p Z2h0IGFsc28gYmUgaW50ZXJlc3RlZCAKaW4gYW4gdXBkYXRlIG9uIHdoZXJlIGV4YWN0bHkgdGhl IHVuaWtyYWZ0L1BWSC9YZW4tYmFja2dyb3VuZCB3b3JrIHNpdHMuCgpUaGVyZSBhcmUgYSBmZXcg c2VwYXJhdGUgdGhyZWFkcyBvZiB3b3JrIGdvaW5nIG9uOgoKMS4gYnVpbGQgYSBYZW4gc3VwcG9y dCBsaWJyYXJ5IGZyb20gdGhlIHVuaWtyYWZ0IHByb2plY3QncyBwbGF0Zm9ybSwgCmluc3RlYWQg b2YgTWluaS1PUyAoaGVyZXRvZm9yZSAieGVucGxhdCIpCgoyLiBidWlsZCBhbmQgbGluayBvY2Ft bC1mcmVlc3RhbmRpbmcgYWdhaW5zdCAieGVucGxhdCIsIHJlcGxhY2luZyB0aGUgCm1pcmFnZS14 ZW4tcG9zaXggYW5kIG1pcmFnZS14ZW4tb2NhbWwgcGFja2FnZXMgaW4gdGhlIG1pcmFnZS1wbGF0 Zm9ybSByZXBvCgozLiBidWlsZCBtaXJhZ2UteGVuIG9uIHRvcCBvZiBvY2FtbC1mcmVlc3RhbmRp bmcgYW5kIHhlbnBsYXQKCjQuIGRlbGl2ZXIgUFZIIHN1cHBvcnQsIGluIGFkZGl0aW9uIHRvIFBW IHN1cHBvcnQsIGluIHRoZSBuZXcgWGVuIHN0YWNrCgoxLCAyLCBhbmQgMyBhcmUgbm90IHN0cmlj dCBwcmVyZXF1aXNpdGVzIGZvciA0LCBidXQgdGhleSBhcmUgY3J1Y2lhbCBmb3IgCmtlZXBpbmcg YSBtYWludGFpbmFibGUgWGVuIHN0YWNrIGluIHRoZSBmdXR1cmUuIEluc3RlYWQgb2YgYnVpbGRp bmcgbW9yZSAKd29yayBvbiB0b3Agb2Ygb3VyIE1pbmktT1MgZm9yayAocmVwcmVzZW50ZWQgaW4g dGhlIG1pcmFnZS14ZW4tbWluaW9zIApvcGFtIHBhY2thZ2UpLCBJIGRpZCBhIGJ1bmNoIG9mIHdv cmsgb24gMSwgMiwgYW5kIDMgKHByb2JhYmx5IG5vdyAKcmVxdWlyaW5nIHJlYmFzaW5nIGFnYWlu LCBhcyBJIGxhc3QgZGlkIHNvIGR1cmluZyB0aGUgcmV0cmVhdCBpbiAKTWFyY2gpLsKgIFRMO0RS IC0gaXQgc29ydCBvZiB3b3JrcywgaXQncyBub3QgcXVpdGUgcmVhZHkgZm9yIHByaW1lIHRpbWU7 IApJJ3ZlIG5lZWRlZCB0byBkbyBhIGNvdXBsZSBkYXlzIG1vcmUgb2Ygd29yayBvbiBpdCBmb3Ig YWJvdXQgYSBtb250aC4KClRoZSBwcm9ncmVzcyBvbiAxLCAyLCBhbmQgMyBnaXZlcyBlbm91Z2gg b2YgYSB3b3JraW5nIGJ1aWxkIHN0YWNrIHRvIGdldCAKdG8gdGhlIHBvaW50IHdoZXJlIE1hcmVr IGZyb20gUXViZXNPUyB3YXMgYWJsZSB0byBjb250cmlidXRlIGEgYnVuY2ggb2YgCndvcmsgb24g NCBhdCB0aGUgaGFjayByZXRyZWF0LCBmb3Igd2hpY2ggSSdtIGV4dHJlbWVseSBncmF0ZWZ1bC7C oCAKRGlzY3Vzc2lvbiBvbiB1cHN0cmVhbWluZyB0aGF0IHdvcmsgaW4gdW5pa3JhZnQgaXMgb25n b2luZyBvbiB0aGUgCm1pbmlvcy1kZXZlbCBtYWlsaW5nIGxpc3Q6IHlvdSBjYW4gc2VlIGl0IGF0 IApodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL2FyY2hpdmVzL2h0bWwvbWluaW9zLWRldmVs LzIwMTktMDQvbXNnMDAxNDYuaHRtbCAKLgoKSSdtIGFsc28gbm90IHF1aXRlIHN1cmUgd2hhdCB0 byBzYXkgYWJvdXQgdGhhdCB0byBzb21lb25lIHdobyBqdXN0IHdhbnRzIAp0byBrbm93IHdoZW4g dGhleSBjYW4gZ2V0IHJpZCBvZiB0aGUgYmlnIHJlZCB3YXJuaW5nIG1lc3NhZ2UgaW4gCnF1YmVz LXF1YmUtbWFuYWdlciBhYm91dCBob3cgaW5zZWN1cmUgUFYgaXMuwqAgIldJUDsgc3RheSB0dW5l ZCIgaXMgdGhlIApUTDtEUiB0aG91Z2guCgotTWluZHkKCgpfX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fXwpNaXJhZ2VPUy1kZXZlbCBtYWlsaW5nIGxpc3QKTWly YWdlT1MtZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0 Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL21pcmFnZW9zLWRldmVsCg== From mirageos-devel-bounces@lists.xenproject.org Wed Apr 24 23:18:47 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 24 Apr 2019 23:18: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 1hJR9p-000528-0O; Wed, 24 Apr 2019 23:18:29 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hJR9o-00051t-7a for mirageos-devel@lists.xenproject.org; Wed, 24 Apr 2019 23:18:28 +0000 X-Inumbo-ID: 4280ec26-66e7-11e9-92d7-bc764e045a96 Received: from mail-ua1-x944.google.com (unknown [2607:f8b0:4864:20::944]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id 4280ec26-66e7-11e9-92d7-bc764e045a96; Wed, 24 Apr 2019 23:18:26 +0000 (UTC) Received: by mail-ua1-x944.google.com with SMTP id a46so6655881uae.2; Wed, 24 Apr 2019 16:18:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:date:subject:cc:to :message-id; bh=oP4zn4uJA1x3Tc7j4kcCfiq+8EfvOyMPcPSED/vuu60=; b=m6+Ibu0DvRynIiOLZeS/+nIuyQ4O/sP95s3dBqlbBlh/Ot672pFobsV5MSAqtMTgVh kB8yxpSJIOBC29ssNoDNtT2bkTPCfEGKMZ8qEJSO0IS7Bt68ilKl16aLSpBKXw6gLrpy JPnCFRCvyW/7Nz3hinA9PnQf88HoT9dnsk6/Vg0OEpdDvboLHtgci2RRoT2JvIzFo05K BYrEgZDS/M5avYEBr4sgAqFGp4cvqKMpNsmEOI/5TX2hENHo/wUaULr3BYhp+0FGcU9Z aTqVYeyeGck408IoE4orTRF5M/BFQtbfck3qoRKtvtBVDLhsar4NDzATZAOSi2v/H6P+ ULGQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version:date :subject:cc:to:message-id; bh=oP4zn4uJA1x3Tc7j4kcCfiq+8EfvOyMPcPSED/vuu60=; b=DLXJ8KZDvNzfNK7GEYyTnmKGWs5tshM2dx/V1pLAwGec+31ngTIUg1oa14jutoDD5/ HgSfHwX1dYaQjZezHgL6oh/TseC7/l4aAkpgf32thdgYjmTiULu5CZMGf4zAl+FYmMn8 Or2S6YXHuDL49vHFqGJfoRGdSBuepCOvJTICY91H39627K4pt2ro1dWoISIcgfujYZ/n z12raPyV3DppvuO+NmZJzS79HZyKtkuNQhLHMyDhS86oKqZAuljNZo70U2+R+z9olAI0 5lsSMUy6N8drtpfb1H7yoo+hATr8jqWvT2sJ7GBmj5liv98qajY3LCPgWfVkft3uLDXP 1ghA== X-Gm-Message-State: APjAAAU+vexNbagrmudNOXbQ/v25WIQ66m67s5iTubVQHcY2peM/+Btt lQfu/pZgimomVvZjkT4IU8KhRAclGS8NRyzg X-Google-Smtp-Source: APXvYqyKN0sJUfiS4E76gs5717c5cSypPyKn2wY9Jbllr8vsFx4/B+6jkFhBKiEk/6SHyuwhzZMdYQ== X-Received: by 2002:ab0:7358:: with SMTP id k24mr3198003uap.104.1556147903797; Wed, 24 Apr 2019 16:18:23 -0700 (PDT) Received: from [192.168.0.101] (ip88-74-15-186.ct.co.cr. [186.15.74.88]) by smtp.gmail.com with ESMTPSA id l125sm4971914vsd.31.2019.04.24.16.18.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 24 Apr 2019 16:18:22 -0700 (PDT) From: Lars Kurth X-Google-Original-From: Lars Kurth Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Wed, 24 Apr 2019 17:18:18 -0600 To: xen-devel , win-pv-devel@lists.xenproject.org, mirageos-devel@lists.xenproject.org, Minios-devel Message-Id: <2ADAA9B2-F3F1-4EFA-89FF-EFED22ABF722@xenproject.org> X-Mailer: Apple Mail (2.3445.9.1) Subject: [MirageOS-devel] Please submit Summit Design Sessions before May 6th 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: Committers Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" SGkgYWxsLAoKd2UgYXJlIHBsYW5uaW5nIHRvIGxhdW5jaCB0aGUgcHJvZ3JhbSBmb3IgdGhlIFhl biBQcm9qZWN0IERldmVsb3BlciBTdW1taXQgdGhlIHdlZWsgb2YgTWF5IDZ0aC4gSW4gdGhlIGlu dGVyZXN0IG9mIGF0dHJhY3RpbmcgbW9yZSBhdHRlbmRlZXMgaXQgaXMgaW1wb3J0YW50IHRoYXQg d2UgaGF2ZSBhIGdvb2QgcHJvZ3JhbSB3aGVuIHdlIGxhdW5jaC4gVGhlIHRhbGsgc3VibWlzc2lv bnMgaGF2ZSBiZWVuIGdvb2QgdGhpcyB5ZWFyLCBidXQgYXMgNTAlIG9mIG91ciBjb250ZW50IGFy ZSBkZXNpZ24gc2Vzc2lvbnMgaXQgd291bGQgYmUgYW1hemluZyBpZiB3ZSBjb3VsZCBsYXVuY2gg d2l0aCBhcyBtYW55IGRlc2lnbiBzZXNzaW9ucyBhcyBwb3NzaWJsZSBhcyBpdCB3aWxsIG1ha2Ug aXQgZWFzaWVyIGZvciBzb21lIGF0dGVuZGVlcyB0byBnZXQgdHJhdmVsIGFwcHJvdmFsIHRvIGNv bWUgdG8gdGhlIGV2ZW50LiAKClRodXMsIGlmIHlvdSBhbHJlYWR5IGhhdmUgYSBkZXNpZ24gc2Vz c2lvbiBpbiBtaW5kLCBwbGVhc2Ugc3VibWl0IGl0IG5vdyBvciBhdCB0aGUgbGF0ZXN0IGJ5IE1h eSA2dGgKCkJlc3QgUmVnYXJkcwpMYXJzClAuUy46IEkgQkNDJ2VkIHBlb3BsZSB3aG8gaGF2ZSBz dWJtaXR0ZWQgdGFsa3MgdG8gdGhlIHN1bW1pdCAKCkhvdyB0byBjcmVhdGUgYSBkZXNpZ24gc2Vz c2lvbgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KMTogR28gdG8gaHR0cHM6Ly9kZXNp Z24tc2Vzc2lvbnMueGVucHJvamVjdC5vcmcvCjI6IENyZWF0ZSBhIHVzZXJuYW1lLCBidXQgdW5s ZXNzIHlvdSB3YW50IHlvdXIgZS1tYWlsIGFkZHJlc3MgdG8gYmUgcHVibGljIGRvbid0IHVzZSB5 b3VyIGUtbWFpbCBhZGRyZXNzIGFzIHVzZXJuYW1lCjM6IFN1Ym1pdCBhIGRlc2lnbiBzZXNzaW9u CgpJZiB5b3UgYXJlIHN1Ym1pdHRpbmcgYSBkZXNpZ24gc2Vzc2lvbiB5b3UgYXJlIGV4cGVjdGVk IHRvIG1vZGVyYXRlIGFuZCBsZWFkIHRoZSBkaXNjdXNzaW9uLiBIb3dldmVyLCBpZiB5b3UgZmVl bCB1bmNvbWZvcnRhYmxlIGRvaW5nIHNvLCBhIG1vcmUgZXhwZXJpZW5jZWQgbW9kZXJhdG9yIHN1 Y2ggYXMgSSBvciBhbnkgb2YgdGhlIG1haW50YWluZXJzIGNhbiBoZWxwIGFuZCBjby1tb2RlcmF0 ZS4gCgpOb3RlIHRoYXQgZGVzaWduIHNlc3Npb25zIGFyZSBOT1QgdGFsa3MsIGJ1dCBkaXNjdXNz aW9ucyB3aXRoIHRhbmdpYmxlIG91dHB1dCAoZS5nLiBhIHNldCBvZiBub3RlcyBwdWJsaXNoZWQg b24gYSBsaXN0LCBwaG90b3Mgb2Ygd2hpdGVib2FyZHMsIGV0YykuIEEgZmV3IHNsaWRlcyB0byBp bnRyb2R1Y2UgYSB0b3BpYyBhcmUgcGVybWlzc2libGUuIEFzIG1vZGVyYXRvciwgeW91IGRvbid0 IGhhdmUgdG8gd3JpdGUgdGhlIG5vdGVzLCBidXQgY2FuIG5vbWluYXRlIHNvbWVvbmUgaW4gdGhl IGdyb3VwIG9mIHBlb3BsZSBhdHRlbmRpbmcgdGhlIHNlc3Npb24gdG8gZG8gc28uIAoKV2hhdCBo YXMgYmVlbiBzdWJtaXR0ZWQgc28gZmFyCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQpT ZWUgaHR0cHM6Ly9kZXNpZ24tc2Vzc2lvbnMueGVucHJvamVjdC5vcmcvbGlzdC9kaXNjdXNzaW9u CiAKV2hhdCBhcmUgZGVzaWduIHNlc3Npb25zPwo9PT09PT09PT09PT09PT09PT09PT09PT09ClRo ZSBhaW0gb2YgdGhlIERlc2lnbiBhbmQgUHJvYmxlbSBTb2x2aW5nIHNlc3Npb25zIGFyZSB0byBn aXZlIGRldmVsb3BlcnMgdGhlIG9wcG9ydHVuaXR5IHRvIG1lZXQgZmFjZS10by1mYWNlIHRvOgoq IENvb3JkaW5hdGUgYW5kIHBsYW4gdXBjb21pbmcgZmVhdHVyZXMKKiBEaXNjdXNzIGFuZCBhZ3Jl ZSBvbiB0aGUgZGVzaWduIGFuZCBhcmNoaXRlY3R1cmUgb2YgZnV0dXJlIGZ1bmN0aW9uYWxpdHkK KiBTb2x2ZSBzcGVjaWZpYyBwcm9ibGVtcyBpbiBleGlzdGluZyBhbmQgCiogRGlzY3VzcyBhbmQg YWdyZWUgb24gYmVzdCBwcmFjdGljZXMgYW5kIGNoYW5nZXMgdG8gaG93IHRoZSBjb21tdW5pdHkg d29ya3MKKiBJbnRlcmFjdGl2ZSBsZXNzb25zIGxlYXJuZWQgc2Vzc2lvbnMgY292ZXJpbmcgZXhw ZXJpZW5jZXMgb2YgY29udHJpYnV0b3JzLCB1c2VycyBhbmQgdmVuZG9ycwoKRXhhbXBsZXMgb2Yg cGFzdCBEZXNpZ24gU2Vzc2lvbnMKKiBDYWRlbmNlIG9mIFhlbiBQcm9qZWN0IGFuZCBtYWludGVu YW5jZSByZWxlYXNlcwoqIERldmVsb3BpbmcgdGhlIGFyY2hpdGVjdHVyZSBhbmQgZGVzaWduIGZv ciBYZW4gUHJvamVjdCBsaXZlIHBhdGNoaW5nCiogVXBkYXRpbmcgdGhlIFhlbiBQcm9qZWN0IHNl Y3VyaXR5IHBvbGljeQoqIEV2b2x1dGlvbiBvZiB2aXJ0dWFsIG1hY2hpbmUgaW50cm9zcGVjdGlv biAoaW5jbHVkaW5nIEhXIGFzc2lzdGFuY2UpIGluIHRoZSBYZW4gSHlwZXJ2aXNvcgoqIEhvdyB0 byBkZS1wcml2aWxlZ2luZyBRRU1VIGFuZCB0aGUgeDg2IGVtdWxhdG9yIHRvIHJlZHVjZSB0aGUg aW1wYWN0IG9mIHNlY3VyaXR5IHZ1bG5lcmFiaWxpdGllcyBpbiB0aG9zZSBjb21wb25lbnRzLAoq IEltcGxlbWVudGluZyBLQ29uZmlnIHN1cHBvcnQgd2hpY2ggYWxsb3dzIHRvIHJlbW92ZSBwYXJ0 cyBvZiBYZW4gYXQgY29tcGlsZSB0aW1lIGFuZCBydW4tdGltZSBkaXNhYmxlbWVudCBvZiBYZW4g ZmVhdHVyZXMgdG8gcmVkdWNlIFhlbuKAmXMgdHJ1c3RlZCBjb21wdXRpbmcgYmFzZQoqIFBsYW5u aW5nIHRoZSBuZXh0IHN0YWdlIG9mIFBWSCAod2hpY2ggbGVkIHRvIGEgcmUtdGhpbmsgYW5kIFBW SCB2MikKKiBQbGFubmluZyBzZXNzaW9ucyBmb3IgWGVuIEhhcmR3YXJlIHN1cHBvcnQsIGluY2x1 ZGluZyBob3cgdG8gaW1wbGVtZW50IFBDSSBwYXNzdGhyb3VnaCBvbiBBUk0sIGhvdyB3ZSBjYW4g aW1wcm92ZSB0ZXN0aW5nIGZvciB0aGUgaW5jcmVhc2luZyByYW5nZSBvZiBBUk0gSFcgd2l0aCBz dXBwb3J0IGZvciB2aXJ0dWFsaXphdGlvbiwgYW5kIGhvdyB0byBpbXBsZW1lbnQgYWx0MnBtIG9u IEludGVsIGFyY2hpdGVjdHVyZXMKKiBSZWxlYXNlIHBsYW5uaW5nCiogUmVzdGFydGFibGUgRG9t MCBhbmQgZHJpdmVyIGRvbWFpbnMKKiBUZXN0aW5nIGFuZCB0ZXN0aW5nIGZyYW1ld29ya3MKClRo ZXJlIGlzIG5vIENmUCBmb3IgZGVzaWduIHNlc3Npb25zOiBzZXNzaW9ucyBjYW4gc3RpbGwgYmUg c3VibWl0dGVkIGR1cmluZyB0aGUgY29uZmVyZW5jZS4gVGhlcmUgaXMgYWxzbyBubyBwcmUtZGV0 ZXJtaW5lZCBzY2hlZHVsZTogYXR0ZW5kZWVzIHdpbGwgZHVyaW5nIHRoZSBldmVudCB2b3RlIG9u IHdoaWNoIHNlc3Npb25zIHRvIGF0dGVuZCBhbmQgb3VyIGRlc2lnbiBzZXNzaW9uIHNjaGVkdWxp bmcgdG9vbCB3aWxsIGRvIGF1dG9tYXRpYyBzY2hlZHVsaW5nIHRyeWluZyB0byBtaW5pbWlzZSBj b25mbGljdHMgYmV0d2VlbiBhdHRlbmRlZXMuIAoKCgoKX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1MtZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFn ZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5v cmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZlbAo= From mirageos-devel-bounces@lists.xenproject.org Fri Apr 26 11:02:06 2019 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Apr 2019 11:02:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hJyc2-0004XQ-Sz; Fri, 26 Apr 2019 11:01: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 1hJyc1-0004XL-Cr for mirageos-devel@lists.xenproject.org; Fri, 26 Apr 2019 11:01:49 +0000 X-Inumbo-ID: afe181f2-6812-11e9-843c-bc764e045a96 Received: from mail-vs1-xe2c.google.com (unknown [2607:f8b0:4864:20::e2c]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTPS id afe181f2-6812-11e9-843c-bc764e045a96; Fri, 26 Apr 2019 11:01:48 +0000 (UTC) Received: by mail-vs1-xe2c.google.com with SMTP id g187so1665585vsc.8 for ; Fri, 26 Apr 2019 04:01:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=I5Qdlu0gdXVz4ncO++LsxSFWxSz5rmDdHwHm3knA9DU=; b=Jrou18p93qK+FExTHQV0DsnWsC3u229pKURT1KHILwMgot9UdwpAg1ThoZzqNSaplv iMIwH3Q7SbiJySwfKDXd9WVdNkd6iSfn4CgCIBg4ldy2717iEWIxFCj/OcV4mtyuKRVb iRpkHRvt7wsCw+4kpJn2xS3nXKAK88XmrMIoHJH9ECpS+TA/HdWoR2BiOXh+J46mp8Sp fCF2YfyqxrI3ASsqgMy8d9AoO/FXR6acVnqCQivbgwZlrU3ZLUfJKx9ZNgP8tzL80v+M p+WvXVe93yfrI8v2VU9+zC2w0xuayPU3tl+f2r5CaKMqmfkUn+UN2W/XDbBK8JC1uCDh bWHA== 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=I5Qdlu0gdXVz4ncO++LsxSFWxSz5rmDdHwHm3knA9DU=; b=CVlJ93a5WM+6jGB0RYzbBoLkA90nXe+YVNwm0Diik062zOdmCiaXFmvP4UOf/380dJ 6+y8p1UYKROW5J5/wxypEPXNyGu6SGgTxH34kI19HkY/+7gL3UXS8++WvNZdaCTYjLeU uI57+YiybWopklRGf1knRDOaRtigOy4heDbzG+Xzf7W6RH8lrZcwBXdlDxxyh6qasnIn 2zedsU0RhhgvBxjLavxIK8fXtOrpzMeQ+ZrGBeI8HDxfqQWhzk1qctGD0oTM8H7wNJI8 +hmgWnGZiuKNroUVN5Ux/40PUVJGTOkamEgUdatojCv5MLwkx1pMq3Vdjxw3i+r45Erk gRpQ== X-Gm-Message-State: APjAAAV3y1widjEhpJOIC1vpgA4dbDL7WpPDGJCbc/tALztKLENTAHxx hjtEx15tnDexfM/Ux7jzkdjCg3kMt4pr6uqNs/48aoUH X-Google-Smtp-Source: APXvYqz3q4iTj3YJRhPN5f9CNf0S+uyRZodofSEUtyaSq7gssj/6uo9KZerZDuMHhDYd9mVMhxfGimqITevD3yLMb9s= X-Received: by 2002:a67:7c8a:: with SMTP id x132mr23606515vsc.172.1556276507398; Fri, 26 Apr 2019 04:01:47 -0700 (PDT) MIME-Version: 1.0 From: Thomas Leonard Date: Fri, 26 Apr 2019 11:53:55 +0100 Message-ID: To: mirageos-devel@lists.xenproject.org Content-Type: multipart/mixed; boundary="00000000000067246e05876cdc69" Subject: [MirageOS-devel] MirageOS Security Announcement 02: grant unshare vulnerability in mirage-xen versions < 3.3.0 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: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Sender: "MirageOS-devel" --00000000000067246e05876cdc69 Content-Type: text/plain; charset="UTF-8" All, The MirageOS security team has published MirageOS Security Announcement #02, a grant unshare vulnerability in mirage-xen versions before 3.3.0, to the MirageOS website. The announcement can be found at https://mirage.io/blog/MSA02 . A copy signed with the security team's key is also available in the mirage-www git repository (https://raw.githubusercontent.com/mirage/mirage-www/master/tmpl/advisories/02.txt.asc) , and attached to this email for your convenience. The current release of qubes-mirage-firewall (v0.5) already has the fixes, but if you are using an older release then you should upgrade (see https://github.com/mirage/qubes-mirage-firewall). Note that mirage-xen 3.3.0 was the first release to support fixed drivers, while mirage-xen 3.4.0 dropped support for broken ones. Please don't hesitate to reply on-list or privately to security@mirage.io with any questions about this announcement. As always, if you think you have discovered a security vulnerability, please contact the MirageOS security team at security@mirage.io . A list of relevant announcements, including MSA02, is available at https://mirage.io/security . -- talex5 (GitHub/Twitter) http://roscidus.com/blog/ GPG: 5DD5 8D70 899C 454A 966D 6A51 7513 3C8F 94F6 E0CC --00000000000067246e05876cdc69 Content-Type: text/plain; charset="US-ASCII"; name="02.txt.asc" Content-Disposition: attachment; filename="02.txt.asc" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_juxyhh3y0 LS0tLS1CRUdJTiBQR1AgU0lHTkVEIE1FU1NBR0UtLS0tLQpIYXNoOiBTSEEzODQKCiMjIE1pcmFn ZU9TIFNlY3VyaXR5IEFkdmlzb3J5IDAyIC0gZ3JhbnQgdW5zaGFyZSB2dWxuZXJhYmlsaXR5IGlu IG1pcmFnZS14ZW4KCi0gLSBNb2R1bGU6ICAgICAgIG1pcmFnZS14ZW4KLSAtIEFubm91bmNlZDog ICAgMjAxOS0wNC0yNQotIC0gQ3JlZGl0czogICAgICBUaG9tYXMgTGVvbmFyZCwgTWluZHkgUHJl c3RvbgotIC0gQWZmZWN0czogICAgICBtaXJhZ2UteGVuIDwgMy4zLjAsCiAgICAgICAgICAgICAg ICBtaXJhZ2UtYmxvY2steGVuIDwgMS42LjEsCiAgICAgICAgICAgICAgICBtaXJhZ2UtbmV0LXhl biA8IDEuMTAuMiwKICAgICAgICAgICAgICAgIG1pcmFnZS1jb25zb2xlIDwgMi40LjIsCiAgICAg ICAgICAgICAgICBvY2FtbC12Y2hhbiA8IDQuMC4yLAogICAgICAgICAgICAgICAgb2NhbWwtZ250 IChubyBsb25nZXIgc3VwcG9ydGVkKQotIC0gQ29ycmVjdGVkOiAgICAyMDE5LTA0LTIyOiBtaXJh Z2UteGVuIDMuNC4wLAogICAgICAgICAgICAgICAgMjAxOS0wNC0wNTogbWlyYWdlLWJsb2NrLXhl biAxLjYuMSwKICAgICAgICAgICAgICAgIDIwMTktMDQtMDI6IG1pcmFnZS1uZXQteGVuIDEuMTAu MiwKICAgICAgICAgICAgICAgIDIwMTktMDMtMjc6IG1pcmFnZS1jb25zb2xlIDIuNC4yLAogICAg ICAgICAgICAgICAgMjAxOS0wMy0yNzogb2NhbWwtdmNoYW4gNC4wLjIKCkZvciBnZW5lcmFsIGlu Zm9ybWF0aW9uIHJlZ2FyZGluZyBNaXJhZ2VPUyBTZWN1cml0eSBBZHZpc29yaWVzLApwbGVhc2Ug dmlzaXQgW2h0dHBzOi8vbWlyYWdlLmlvL3NlY3VyaXR5XShodHRwczovL21pcmFnZS5pby9zZWN1 cml0eSkuCgojIyMgQmFja2dyb3VuZAoKTWlyYWdlT1MgaXMgYSBsaWJyYXJ5IG9wZXJhdGluZyBz eXN0ZW0gdXNpbmcgY29vcGVyYXRpdmUgbXVsdGl0YXNraW5nLCB3aGljaCBjYW4KYmUgZXhlY3V0 ZWQgYXMgYSBndWVzdCBvZiB0aGUgWGVuIGh5cGVydmlzb3IuIFZpcnR1YWwgbWFjaGluZXMgcnVu bmluZyBvbiBhIFhlbgpob3N0IGNhbiBjb21tdW5pY2F0ZSBieSBzaGFyaW5nIHBhZ2VzIG9mIG1l bW9yeS4gRm9yIGV4YW1wbGUsIHdoZW4gYSBNaXJhZ2UgVk0Kd2FudHMgdG8gdXNlIGEgdmlydHVh bCBuZXR3b3JrIGRldmljZSBwcm92aWRlZCBieSBhIExpbnV4IGRvbTA6CgoxLiBUaGUgTWlyYWdl IFZNIHJlc2VydmVzIHNvbWUgb2YgaXRzIG1lbW9yeSBmb3IgdGhpcyBwdXJwb3NlIGFuZCB3cml0 ZXMgYW4gZW50cnkKICAgdG8gaXRzICpncmFudCB0YWJsZSogdG8gc2F5IHRoYXQgZG9tMCBzaG91 bGQgaGF2ZSBhY2Nlc3MgdG8gaXQuCjIuIFRoZSBNaXJhZ2UgVk0gdGVsbHMgZG9tMCAodmlhIFhl blN0b3JlKSBhYm91dCB0aGUgZ3JhbnQuCjMuIGRvbTAgYXNrcyBYZW4gdG8gbWFwIHRoZSBtZW1v cnkgaW50byBpdHMgYWRkcmVzcyBzcGFjZS4KClRoZSBNaXJhZ2UgVk0gYW5kIGRvbTAgY2FuIG5v dyBjb21tdW5pY2F0ZSB1c2luZyB0aGlzIHNoYXJlZCBtZW1vcnkuCldoZW4gZG9tMCBoYXMgZmlu aXNoZWQgd2l0aCB0aGUgbWVtb3J5OgoKMS4gZG9tMCB0ZWxscyBYZW4gdG8gdW5tYXAgdGhlIG1l bW9yeSBmcm9tIGl0cyBhZGRyZXNzIHNwYWNlLgoyLiBkb20wIHRlbGxzIHRoZSBNaXJhZ2UgVk0g dGhhdCBpdCBubyBsb25nZXIgbmVlZHMgdGhlIG1lbW9yeS4KMy4gVGhlIE1pcmFnZSBWTSByZW1v dmVzIHRoZSBlbnRyeSBmcm9tIGl0cyBncmFudCB0YWJsZS4KNC4gVGhlIE1pcmFnZSBWTSBtYXkg cmV1c2UgdGhlIG1lbW9yeSBmb3Igb3RoZXIgcHVycG9zZXMuCgojIyMgUHJvYmxlbSBEZXNjcmlw dGlvbgoKTWlyYWdlIHJlbW92ZXMgdGhlIGVudHJ5IGJ5IGNhbGxpbmcgdGhlIFtnbnR0YWJfZW5k X2FjY2Vzc11bXSBmdW5jdGlvbiBpbiBNaW5pLU9TLgpUaGlzIGZ1bmN0aW9uIGNoZWNrcyB3aGV0 aGVyIHRoZSByZW1vdGUgZG9tYWluIHN0aWxsIGhhcyB0aGUgbWVtb3J5IG1hcHBlZC4gSWYgc28s Cml0IHJldHVybnMgMCB0byBpbmRpY2F0ZSB0aGF0IHRoZSBlbnRyeSBjYW5ub3QgYmUgcmVtb3Zl ZCB5ZXQuIFRvIG1ha2UgdGhpcyBmdW5jdGlvbgphdmFpbGFibGUgdG8gT0NhbWwgY29kZSwgdGhl IFtzdHViX2dudHNocl9lbmRfYWNjZXNzXVtdIEMgc3R1YiBpbiBtaXJhZ2UteGVuIHdyYXBwZWQg dGhpcwp3aXRoIHRoZSBPQ2FtbCBjYWxsaW5nIGNvbnZlbnRpb25zLiBVbmZvcnR1bmF0ZWx5LCBp dCBpZ25vcmVkIHRoZSByZXR1cm4gY29kZSBhbmQgcmVwb3J0ZWQKc3VjY2VzcyBpbiBhbGwgY2Fz ZXMuCgojIyMgSW1wYWN0CgpBIG1hbGljaW91cyBWTSBjYW4gdGVsbCBhIE1pcmFnZU9TIHVuaWtl cm5lbCB0aGF0IGl0IGhhcyBmaW5pc2hlZCB1c2luZyBzb21lCnNoYXJlZCBtZW1vcnkgd2hpbGUg aXQgaXMgc3RpbGwgbWFwcGVkLiBUaGUgTWlyYWdlIHVuaWtlcm5lbCB3aWxsIHRoaW5rIHRoYXQK dGhlIHVuc2hhcmUgb3BlcmF0aW9uIGhhcyBzdWNjZWVkZWQgYW5kIG1heSByZXVzZSB0aGUgbWVt b3J5LCBvciBhbGxvdyBpdCB0byBiZQpnYXJiYWdlIGNvbGxlY3RlZC4gVGhlIG1hbGljaW91cyBW TSB3aWxsIHN0aWxsIGhhdmUgYWNjZXNzIHRvIHRoZSBtZW1vcnkuCgpJbiBtYW55IGNhc2VzIChz dWNoIGFzIGluIHRoZSBleGFtcGxlIGFib3ZlKSB0aGUgcmVtb3RlIGRvbWFpbiB3aWxsIGJlIGRv bTAsCndoaWNoIGlzIGFscmVhZHkgZnVsbHkgdHJ1c3RlZC4gSG93ZXZlciwgaWYgYSB1bmlrZXJu ZWwgc2hhcmVzIG1lbW9yeSB3aXRoIGFuCnVudHJ1c3RlZCBkb21haW4gdGhlbiB0aGVyZSBpcyBh IHByb2JsZW0uCgojIyMgV29ya2Fyb3VuZAoKTm8gd29ya2Fyb3VuZCBpcyBhdmFpbGFibGUuCgoj IyMgU29sdXRpb24KClJldHVybmluZyB0aGUgcmVzdWx0IGZyb20gdGhlIEMgc3R1YiByZXF1aXJl ZCBjaGFuZ2VzIHRvIHRoZSBPQ2FtbCBncmFudCBBUEkgdG8KZGVhbCB3aXRoIHRoZSByZXN1bHQu IFRoaXMgdHVybmVkIG91dCB0byBiZSBkaWZmaWN1bHQgYmVjYXVzZSwgZm9yIGhpc3RvcmljYWwK cmVhc29ucywgdGhlIE9DYW1sIHBhcnQgb2YgdGhlIEFQSSB3YXMgaW4gdGhlIG9jYW1sLWdudCBw YWNrYWdlIHdoaWxlIHRoZSBDIHN0dWJzCndlcmUgaW4gbWlyYWdlLXhlbiwgYW5kIGJlY2F1c2Ug dGhlIEMgc3R1YnMgYXJlIGFsc28gc2hhcmVkIHdpdGggdGhlIFVuaXggYmFja2VuZC4KCldlIGlu c3RlYWQgY3JlYXRlZCBhIFtuZXcgZ3JhbnQgQVBJXVtdIGluIG1pcmFnZS14ZW4sIG1pZ3JhdGVk IGFsbCBleGlzdGluZwpNaXJhZ2UgZHJpdmVycyB0byB1c2UgaXQsIGFuZCB0aGVuIGRyb3BwZWQg c3VwcG9ydCBmb3IgdGhlIG9sZCBBUEkuCm1pcmFnZS14ZW4gMy4zLjAgYWRkZWQgc3VwcG9ydCBm b3IgdGhlIG5ldyBBUEkgYW5kIDMuNC4wIHJlbW92ZWQgc3VwcG9ydCBmb3IgdGhlCm9sZCBvbmUu CgpUaGUgcmVjb21tZW5kZWQgd2F5IHRvIHVwZ3JhZGUgaXM6CmBgYGJhc2gKb3BhbSB1cGRhdGUK b3BhbSB1cGdyYWRlIG1pcmFnZS14ZW4KYGBgCgojIyMgQ29ycmVjdGlvbiBkZXRhaWxzCgpUaGUg Zm9sbG93aW5nIFBScyB3ZXJlIHBhcnQgb2YgdGhlIGZpeDoKCi0gLSBbbWlyYWdlLXhlbi9wdWxs LzldKGh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdlLXhlbi9wdWxsLzkpIC0gQWRkIGdy YW50LWhhbmRsaW5nIGNvZGUgdG8gT1MuWGVuCi0gLSBbbWlyYWdlLW5ldC14ZW4vcHVsbC84NV0o aHR0cHM6Ly9naXRodWIuY29tL21pcmFnZS9taXJhZ2UtbmV0LXhlbi9wdWxsLzg1KSAtIFVzZSBu ZXcgT1MuWGVuIEFQSSBmb3IgZ3JhbnRzCi0gLSBbb2NhbWwtdmNoYW4vcHVsbC8xMjVdKGh0dHBz Oi8vZ2l0aHViLmNvbS9taXJhZ2Uvb2NhbWwtdmNoYW4vcHVsbC8xMjUpIC0gVXBkYXRlIHRvIG5l dyBPUy5YZW4gZ3JhbnQgQVBJCi0gLSBbbWlyYWdlLWJsb2NrLXhlbi9wdWxsLzc5XShodHRwczov L2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS1ibG9jay14ZW4vcHVsbC83OSkgLSBQb3J0IHRvIG5l dyBncmFudCBpbnRlcmZhY2UgcHJvdmlkZWQgYnkgbWlyYWdlLXhlbgotIC0gW21pcmFnZS1jb25z b2xlL3B1bGwvNzVdKGh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdlLWNvbnNvbGUvcHVs bC83NSkgLSBVc2UgbmV3IGdyYW50IGludGVyZmFjZSBpbiBtaXJhZ2UteGVuCi0gLSBbbWlyYWdl LXhlbi9wdWxsLzEyXShodHRwczovL2dpdGh1Yi5jb20vbWlyYWdlL21pcmFnZS14ZW4vcHVsbC8x MikgLSBEcm9wIHN1cHBvcnQgZm9yIG9sZCBvY2FtbC1nbnQgcGFja2FnZQoKIyMjIFJlZmVyZW5j ZXMKCllvdSBjYW4gZmluZCB0aGUgbGF0ZXN0IHZlcnNpb24gb2YgdGhpcyBhZHZpc29yeSBvbmxp bmUgYXQKW2h0dHBzOi8vbWlyYWdlLmlvL2Jsb2cvTVNBMDJdKGh0dHBzOi8vbWlyYWdlLmlvL2Js b2cvTVNBMDIpLgoKVGhpcyBhZHZpc29yeSBpcyBzaWduZWQgdXNpbmcgT3BlblBHUCwgeW91IGNh biB2ZXJpZnkgdGhlIHNpZ25hdHVyZQpieSBkb3dubG9hZGluZyBvdXIgcHVibGljIGtleSBmcm9t IGEga2V5c2VydmVyIChgZ3BnIC0tcmVjdi1rZXkKNEE3MzJENzU3QzBFREE3NGApLApkb3dubG9h ZGluZyB0aGUgcmF3IG1hcmtkb3duIHNvdXJjZSBvZiB0aGlzIGFkdmlzb3J5IGZyb20KW0dpdEh1 Yl0oaHR0cHM6Ly9yYXcuZ2l0aHVidXNlcmNvbnRlbnQuY29tL21pcmFnZS9taXJhZ2Utd3d3L21h c3Rlci90bXBsL2Fkdmlzb3JpZXMvMDIudHh0LmFzYykKYW5kIGV4ZWN1dGluZyBgZ3BnIC0tdmVy aWZ5IDAyLnR4dC5hc2NgLgoKW2dudHRhYl9lbmRfYWNjZXNzXTogaHR0cHM6Ly9naXRodWIuY29t L21pcmFnZS9taW5pLW9zL2Jsb2IvOTRjYjI1ZWI3M2U1OGU1YzgyNWMxYWQ1ZjZjZjNkMjY0NzYw M2E1MC9nbnR0YWIuYyNMOTgKW3N0dWJfZ250c2hyX2VuZF9hY2Nlc3NdOiBodHRwczovL2dpdGh1 Yi5jb20vbWlyYWdlL21pcmFnZS14ZW4vYmxvYi92My4yLjAvYmluZGluZ3MvZ250dGFiX3N0dWJz LmMjTDIyNwpbbmV3IGdyYW50IEFQSV06IGh0dHBzOi8vZ2l0aHViLmNvbS9taXJhZ2UvbWlyYWdl LXhlbi9wdWxsLzkKLS0tLS1CRUdJTiBQR1AgU0lHTkFUVVJFLS0tLS0KCmlRSkhCQUVCQ1FBeEZp RUVJN0tDTEltcDdIUEgzd2RJU25NdGRYd08yblFGQWx6QzFuNFRISE5sWTNWeWFYUjUKUUcxcGNt Rm5aUzVwYndBS0NSQktjeTExZkE3YWRJeFNELzBRUlZtTGZwSTN5MTJob1VTaG1XT3R3eU9OMysx ZApLS2o5M1FxSE1LVlpXVHpRZ3BlQW9DWjM4cWpndkRHVzRmSkRXdFlQZ2h0UGdaOEszNmh1R21S d2dic1V5NlhMClRqWE1PT3FONjdiYjdmWDRYWC9zRVhqZTR2YmxhcmJ0OHFsN04zN2FPRHVFQmZq dXpBeFB0RUhFY1c1Uk56cy8KTlJlRGdVc016RXg1VmpCSytTYkFHN2NKZzhRdXNkaklCbXJtQjcw Z0p6SXRNc2lUa0QwS2xwVDVMMTkzMENPNQpQUGZTTWlkVkgzcGlQamVORXJKK29kSXMyL3BrSC9r U1RCbkV0NU0xQVFLa1RmV2Ntemh6UlUvVTFIc0Ywd3ljClB5V3FWZ2MvWnFuU2V3ZWFsZFlJNGNw enlNbEh1TFhYTzdTVGpWengxRkQ5S05ZOVlUOTBmMkV2NTZKVFpGalYKRlRweFRzcGtpdkNFL3Ir L3lwbThjYTBhZFFacmxnNW1MUU9pWXBLNlptZkJxZjFUaTNRSVBoeWpQOG1meFl1aApKU2s1OWd0 Q0ZoeXlYZXBEUWdnanp5UFhnUVd0N3BlYm5nK0xPcGtuSFYvZnJDWDV2TUhITk9tWm9pSkduUlFl Cm8wbm0xSVF2SDJkcjIrNUNZUTlHMko5dGZucnZDSGJCZlI5OVNoR3FTcWI5VlpwVVpNU2ZSNmp2 dVpRWDRhUksKeWtjdVcvd3RCc05SRWM1THZGdFRNSTkrRk95ZWdUUHc2NG03Zm1JMUhsVU80NWs1 Vm5KUnkzdFc0UTA0Nm9tZQpYaGJTc1FRck9acDlZNkhuWTZscU9rMkhxNW1lUjRNMkhMV1VrWWZm Z1U5WWZZV2d5SkY0a1RzQXNLTEo4ZTliCml5RnZGOExsbngvUCtRPT0KPVc1OEMKLS0tLS1FTkQg UEdQIFNJR05BVFVSRS0tLS0tCg== --00000000000067246e05876cdc69 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWlyYWdlT1Mt ZGV2ZWwgbWFpbGluZyBsaXN0Ck1pcmFnZU9TLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0 dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby9taXJhZ2Vvcy1kZXZl bAo= --00000000000067246e05876cdc69--