From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andrew Cooper <andrew.cooper3@citrix.com>
Subject: [PING] Re: [PATCH 1/2] tools/ocaml: Drop coredump
	infrastructure
Date: Thu, 25 Jan 2018 19:32:46 +0000
Message-ID: <1be16c83-55dd-ea55-0efa-a86c1491579a@citrix.com>
References: <1516389543-27624-1-git-send-email-andrew.cooper3@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
In-Reply-To: <1516389543-27624-1-git-send-email-andrew.cooper3@citrix.com>
Content-Language: en-GB
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xenproject.org>
List-Help: <mailto:xen-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xenproject.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xenproject.org>
To: Xen-devel <xen-devel@lists.xen.org>
Cc: Wei Liu <wei.liu2@citrix.com>, Ian Jackson <Ian.Jackson@eu.citrix.com>, Christian Lindig <christian.lindig@citrix.com>
List-Id: xen-devel@lists.xenproject.org

T24gMTkvMDEvMTggMTk6MTksIEFuZHJldyBDb29wZXIgd3JvdGU6Cj4gSXQgaXMgdW51c2VkLCBh
bmQgdXNlcyBhbiBvYnNvbGV0ZSBoeXBlcmNhbGwgd2hpY2ggaGFzIG5ldmVyIGV2ZXIgZnVuY3Rp
b25lZAo+IGZvciBIVk0gZ3Vlc3RzLgo+Cj4gU2lnbmVkLW9mZi1ieTogQW5kcmV3IENvb3BlciA8
YW5kcmV3LmNvb3BlcjNAY2l0cml4LmNvbT4KPiAtLS0KPiBDQzogSWFuIEphY2tzb24gPElhbi5K
YWNrc29uQGV1LmNpdHJpeC5jb20+Cj4gQ0M6IFdlaSBMaXUgPHdlaS5saXUyQGNpdHJpeC5jb20+
Cj4gQ0M6IENocmlzdGlhbiBMaW5kaWcgPGNocmlzdGlhbi5saW5kaWdAY2l0cml4LmNvbT4KPiAt
LS0KPiAgdG9vbHMvb2NhbWwvbGlicy94Yy94ZW5jdHJsLm1sICAgICAgfCA4NiAtLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCj4gIHRvb2xzL29jYW1sL2xpYnMveGMveGVuY3Ry
bC5tbGkgICAgIHwgMTYgLS0tLS0tLQo+ICB0b29scy9vY2FtbC9saWJzL3hjL3hlbmN0cmxfc3R1
YnMuYyB8IDQxIC0tLS0tLS0tLS0tLS0tLS0tLQo+ICAzIGZpbGVzIGNoYW5nZWQsIDE0MyBkZWxl
dGlvbnMoLSkKPgo+IGRpZmYgLS1naXQgYS90b29scy9vY2FtbC9saWJzL3hjL3hlbmN0cmwubWwg
Yi90b29scy9vY2FtbC9saWJzL3hjL3hlbmN0cmwubWwKPiBpbmRleCA5MTE2YWEyLi5hM2JhNDg4
IDEwMDY0NAo+IC0tLSBhL3Rvb2xzL29jYW1sL2xpYnMveGMveGVuY3RybC5tbAo+ICsrKyBiL3Rv
b2xzL29jYW1sL2xpYnMveGMveGVuY3RybC5tbAo+IEBAIC0xMjYsMTQgKzEyNiw2IEBAIGV4Y2Vw
dGlvbiBFcnJvciBvZiBzdHJpbmcKPiAgCj4gIHR5cGUgaGFuZGxlCj4gIAo+IC0oKiB0aGlzIGlz
IG9ubHkgdXNlIGJ5IGNvcmVkdW1waW5nICopCj4gLWV4dGVybmFsIHNpemVvZl9jb3JlX2hlYWRl
cjogdW5pdCAtPiBpbnQKPiAtICAgICAgID0gInN0dWJfc2l6ZW9mX2NvcmVfaGVhZGVyIgo+IC1l
eHRlcm5hbCBzaXplb2ZfdmNwdV9ndWVzdF9jb250ZXh0OiB1bml0IC0+IGludAo+IC0gICAgICAg
PSAic3R1Yl9zaXplb2ZfdmNwdV9ndWVzdF9jb250ZXh0Igo+IC1leHRlcm5hbCBzaXplb2ZfeGVu
X3BmbjogdW5pdCAtPiBpbnQgPSAic3R1Yl9zaXplb2ZfeGVuX3BmbiIKPiAtKCogZW5kIG9mIHVz
ZSAqKQo+IC0KPiAgZXh0ZXJuYWwgaW50ZXJmYWNlX29wZW46IHVuaXQgLT4gaGFuZGxlID0gInN0
dWJfeGNfaW50ZXJmYWNlX29wZW4iCj4gIGV4dGVybmFsIGludGVyZmFjZV9jbG9zZTogaGFuZGxl
IC0+IHVuaXQgPSAic3R1Yl94Y19pbnRlcmZhY2VfY2xvc2UiCj4gIAo+IEBAIC0yNzUsODQgKzI2
Nyw2IEBAIGV4dGVybmFsIGdldF9jcHVfZmVhdHVyZXNldCA6IGhhbmRsZSAtPiBmZWF0dXJlc2V0
X2luZGV4IC0+IGludDY0IGFycmF5ID0gInN0dWJfCj4gIGV4dGVybmFsIHdhdGNoZG9nIDogaGFu
ZGxlIC0+IGludCAtPiBpbnQzMiAtPiBpbnQKPiAgICA9ICJzdHViX3hjX3dhdGNoZG9nIgo+ICAK
PiAtKCogY29yZSBkdW1wIHN0cnVjdHVyZSAqKQo+IC10eXBlIGNvcmVfbWFnaWMgPSBNYWdpY19o
dm0gfCBNYWdpY19wdgo+IC0KPiAtdHlwZSBjb3JlX2hlYWRlciA9IHsKPiAtCXhjaF9tYWdpYzog
Y29yZV9tYWdpYzsKPiAtCXhjaF9ucl92Y3B1czogaW50Owo+IC0JeGNoX25yX3BhZ2VzOiBuYXRp
dmVpbnQ7Cj4gLQl4Y2hfaW5kZXhfb2Zmc2V0OiBpbnQ2NDsKPiAtCXhjaF9jdHh0X29mZnNldDog
aW50NjQ7Cj4gLQl4Y2hfcGFnZXNfb2Zmc2V0OiBpbnQ2NDsKPiAtfQo+IC0KPiAtZXh0ZXJuYWwg
bWFyc2hhbGxfY29yZV9oZWFkZXI6IGNvcmVfaGVhZGVyIC0+IHN0cmluZyA9ICJzdHViX21hcnNo
YWxsX2NvcmVfaGVhZGVyIgo+IC0KPiAtKCogY29yZWR1bXAgKikKPiAtbGV0IGNvcmVkdW1wIHhj
aCBkb21pZCBmZCA9Cj4gLQlsZXQgZHVtcCBzID0KPiAtCQlsZXQgd2QgPSBVbml4LndyaXRlIGZk
IHMgMCAoU3RyaW5nLmxlbmd0aCBzKSBpbgo+IC0JCWlmIHdkIDw+IFN0cmluZy5sZW5ndGggcyB0
aGVuCj4gLQkJCWZhaWx3aXRoICJlcnJvciB3aGlsZSB3cml0aW5nIjsKPiAtCQlpbgo+IC0KPiAt
CWxldCBpbmZvID0gZG9tYWluX2dldGluZm8geGNoIGRvbWlkIGluCj4gLQo+IC0JbGV0IG5ycGFn
ZXMgPSBpbmZvLnRvdGFsX21lbW9yeV9wYWdlcyBpbgo+IC0JbGV0IGN0eHQgPSBBcnJheS5tYWtl
IGluZm8ubWF4X3ZjcHVfaWQgTm9uZSBpbgo+IC0JbGV0IG5yX3ZjcHVzID0gcmVmIDAgaW4KPiAt
CWZvciBpID0gMCB0byBpbmZvLm1heF92Y3B1X2lkIC0gMQo+IC0JZG8KPiAtCQljdHh0LihpKSA8
LSB0cnkKPiAtCQkJbGV0IHYgPSB2Y3B1X2NvbnRleHRfZ2V0IHhjaCBkb21pZCBpIGluCj4gLQkJ
CWluY3IgbnJfdmNwdXM7Cj4gLQkJCVNvbWUgdgo+IC0JCQl3aXRoIF8gLT4gTm9uZQo+IC0JZG9u
ZTsKPiAtCj4gLQkoKiBGSVhNRSBwYWdlIG9mZnNldCBpZiBub3Qgcm91bmRlZCB0byBzdXAgKikK
PiAtCWxldCBwYWdlX29mZnNldCA9Cj4gLQkJSW50NjQuYWRkCj4gLQkJCShJbnQ2NC5vZl9pbnQg
KHNpemVvZl9jb3JlX2hlYWRlciAoKSArCj4gLQkJCSAoc2l6ZW9mX3ZjcHVfZ3Vlc3RfY29udGV4
dCAoKSAqICFucl92Y3B1cykpKQo+IC0JCQkoSW50NjQub2ZfbmF0aXZlaW50ICgKPiAtCQkJCU5h
dGl2ZWludC5tdWwKPiAtCQkJCQkoTmF0aXZlaW50Lm9mX2ludCAoc2l6ZW9mX3hlbl9wZm4gKCkp
KQo+IC0JCQkJCW5ycGFnZXMpCj4gLQkJCQkpCj4gLQkJaW4KPiAtCj4gLQlsZXQgaGVhZGVyID0g
ewo+IC0JCXhjaF9tYWdpYyA9IGlmIGluZm8uaHZtX2d1ZXN0IHRoZW4gTWFnaWNfaHZtIGVsc2Ug
TWFnaWNfcHY7Cj4gLQkJeGNoX25yX3ZjcHVzID0gIW5yX3ZjcHVzOwo+IC0JCXhjaF9ucl9wYWdl
cyA9IG5ycGFnZXM7Cj4gLQkJeGNoX2N0eHRfb2Zmc2V0ID0gSW50NjQub2ZfaW50IChzaXplb2Zf
Y29yZV9oZWFkZXIgKCkpOwo+IC0JCXhjaF9pbmRleF9vZmZzZXQgPSBJbnQ2NC5vZl9pbnQgKHNp
emVvZl9jb3JlX2hlYWRlciAoKQo+IC0JCQkJCSsgc2l6ZW9mX3ZjcHVfZ3Vlc3RfY29udGV4dCAo
KSk7Cj4gLQkJeGNoX3BhZ2VzX29mZnNldCA9IHBhZ2Vfb2Zmc2V0Owo+IC0JfSBpbgo+IC0KPiAt
CWR1bXAgKG1hcnNoYWxsX2NvcmVfaGVhZGVyIGhlYWRlcik7Cj4gLQlmb3IgaSA9IDAgdG8gaW5m
by5tYXhfdmNwdV9pZCAtIDEKPiAtCWRvCj4gLQkJbWF0Y2ggY3R4dC4oaSkgd2l0aAo+IC0JCXwg
Tm9uZSAtPiAoKQo+IC0JCXwgU29tZSBjdHh0X2kgLT4gZHVtcCBjdHh0X2kKPiAtCWRvbmU7Cj4g
LQlsZXQgcGZucyA9IGRvbWFpbl9nZXRfcGZuX2xpc3QgeGNoIGRvbWlkIG5ycGFnZXMgaW4KPiAt
CWlmIEFycmF5Lmxlbmd0aCBwZm5zIDw+IE5hdGl2ZWludC50b19pbnQgbnJwYWdlcyB0aGVuCj4g
LQkJZmFpbHdpdGggImNvdWxkIG5vdCBnZXQgdGhlIHBhZ2UgZnJhbWUgbGlzdCI7Cj4gLQo+IC0J
bGV0IHBhZ2Vfc2l6ZSA9IFhlbm1tYXAuZ2V0cGFnZXNpemUgKCkgaW4KPiAtCWZvciBpID0gMCB0
byBOYXRpdmVpbnQudG9faW50IG5ycGFnZXMgLSAxCj4gLQlkbwo+IC0JCWxldCBwYWdlID0gbWFw
X2ZvcmVpZ25fcmFuZ2UgeGNoIGRvbWlkIHBhZ2Vfc2l6ZSBwZm5zLihpKSBpbgo+IC0JCWxldCBk
YXRhID0gWGVubW1hcC5yZWFkIHBhZ2UgMCBwYWdlX3NpemUgaW4KPiAtCQlYZW5tbWFwLnVubWFw
IHBhZ2U7Cj4gLQkJZHVtcCBkYXRhCj4gLQlkb25lCj4gLQo+ICAoKiAqKiBNaXNjICoqICopCj4g
IAo+ICAoKioKPiBkaWZmIC0tZ2l0IGEvdG9vbHMvb2NhbWwvbGlicy94Yy94ZW5jdHJsLm1saSBi
L3Rvb2xzL29jYW1sL2xpYnMveGMveGVuY3RybC5tbGkKPiBpbmRleCA1NGMwOTljLi5lZDAyMTI0
IDEwMDY0NAo+IC0tLSBhL3Rvb2xzL29jYW1sL2xpYnMveGMveGVuY3RybC5tbGkKPiArKysgYi90
b29scy9vY2FtbC9saWJzL3hjL3hlbmN0cmwubWxpCj4gQEAgLTk1LDEwICs5NSw2IEBAIHR5cGUg
ZG9tYWluX2NyZWF0ZV9mbGFnID0gQ0RGX0hWTSB8IENERl9IQVAKPiAgCj4gIGV4Y2VwdGlvbiBF
cnJvciBvZiBzdHJpbmcKPiAgdHlwZSBoYW5kbGUKPiAtZXh0ZXJuYWwgc2l6ZW9mX2NvcmVfaGVh
ZGVyIDogdW5pdCAtPiBpbnQgPSAic3R1Yl9zaXplb2ZfY29yZV9oZWFkZXIiCj4gLWV4dGVybmFs
IHNpemVvZl92Y3B1X2d1ZXN0X2NvbnRleHQgOiB1bml0IC0+IGludAo+IC0gID0gInN0dWJfc2l6
ZW9mX3ZjcHVfZ3Vlc3RfY29udGV4dCIKPiAtZXh0ZXJuYWwgc2l6ZW9mX3hlbl9wZm4gOiB1bml0
IC0+IGludCA9ICJzdHViX3NpemVvZl94ZW5fcGZuIgo+ICBleHRlcm5hbCBpbnRlcmZhY2Vfb3Bl
biA6IHVuaXQgLT4gaGFuZGxlID0gInN0dWJfeGNfaW50ZXJmYWNlX29wZW4iCj4gIGV4dGVybmFs
IGludGVyZmFjZV9jbG9zZSA6IGhhbmRsZSAtPiB1bml0ID0gInN0dWJfeGNfaW50ZXJmYWNlX2Ns
b3NlIgo+ICB2YWwgd2l0aF9pbnRmIDogKGhhbmRsZSAtPiAnYSkgLT4gJ2EKPiBAQCAtMTc5LDE4
ICsxNzUsNiBAQCBleHRlcm5hbCB2ZXJzaW9uX2NhcGFiaWxpdGllcyA6IGhhbmRsZSAtPiBzdHJp
bmcKPiAgdHlwZSBmZWF0dXJlc2V0X2luZGV4ID0gRmVhdHVyZXNldF9yYXcgfCBGZWF0dXJlc2V0
X2hvc3QgfCBGZWF0dXJlc2V0X3B2IHwgRmVhdHVyZXNldF9odm0KPiAgZXh0ZXJuYWwgZ2V0X2Nw
dV9mZWF0dXJlc2V0IDogaGFuZGxlIC0+IGZlYXR1cmVzZXRfaW5kZXggLT4gaW50NjQgYXJyYXkg
PSAic3R1Yl94Y19nZXRfY3B1X2ZlYXR1cmVzZXQiCj4gIAo+IC10eXBlIGNvcmVfbWFnaWMgPSBN
YWdpY19odm0gfCBNYWdpY19wdgo+IC10eXBlIGNvcmVfaGVhZGVyID0gewo+IC0gIHhjaF9tYWdp
YyA6IGNvcmVfbWFnaWM7Cj4gLSAgeGNoX25yX3ZjcHVzIDogaW50Owo+IC0gIHhjaF9ucl9wYWdl
cyA6IG5hdGl2ZWludDsKPiAtICB4Y2hfaW5kZXhfb2Zmc2V0IDogaW50NjQ7Cj4gLSAgeGNoX2N0
eHRfb2Zmc2V0IDogaW50NjQ7Cj4gLSAgeGNoX3BhZ2VzX29mZnNldCA6IGludDY0Owo+IC19Cj4g
LWV4dGVybmFsIG1hcnNoYWxsX2NvcmVfaGVhZGVyIDogY29yZV9oZWFkZXIgLT4gc3RyaW5nCj4g
LSAgPSAic3R1Yl9tYXJzaGFsbF9jb3JlX2hlYWRlciIKPiAtdmFsIGNvcmVkdW1wIDogaGFuZGxl
IC0+IGRvbWlkIC0+IFVuaXguZmlsZV9kZXNjciAtPiB1bml0Cj4gIGV4dGVybmFsIHBhZ2VzX3Rv
X2tpYiA6IGludDY0IC0+IGludDY0ID0gInN0dWJfcGFnZXNfdG9fa2liIgo+ICB2YWwgcGFnZXNf
dG9fbWliIDogaW50NjQgLT4gaW50NjQKPiAgZXh0ZXJuYWwgd2F0Y2hkb2cgOiBoYW5kbGUgLT4g
aW50IC0+IGludDMyIC0+IGludAo+IGRpZmYgLS1naXQgYS90b29scy9vY2FtbC9saWJzL3hjL3hl
bmN0cmxfc3R1YnMuYyBiL3Rvb2xzL29jYW1sL2xpYnMveGMveGVuY3RybF9zdHVicy5jCj4gaW5k
ZXggZGQ2MDAwYy4uZDE4MDFlMSAxMDA2NDQKPiAtLS0gYS90b29scy9vY2FtbC9saWJzL3hjL3hl
bmN0cmxfc3R1YnMuYwo+ICsrKyBiL3Rvb2xzL29jYW1sL2xpYnMveGMveGVuY3RybF9zdHVicy5j
Cj4gQEAgLTcyLDQ3ICs3Miw2IEBAIHN0YXRpYyB2b2lkIE5vcmV0dXJuIGZhaWx3aXRoX3hjKHhj
X2ludGVyZmFjZSAqeGNoKQo+ICAJY2FtbF9yYWlzZV93aXRoX3N0cmluZygqY2FtbF9uYW1lZF92
YWx1ZSgieGMuZXJyb3IiKSwgZXJyb3Jfc3RyKTsKPiAgfQo+ICAKPiAtQ0FNTHByaW0gdmFsdWUg
c3R1Yl9zaXplb2ZfY29yZV9oZWFkZXIodmFsdWUgdW5pdCkKPiAtewo+IC0JQ0FNTHBhcmFtMSh1
bml0KTsKPiAtCUNBTUxyZXR1cm4oVmFsX2ludChzaXplb2Yoc3RydWN0IHhjX2NvcmVfaGVhZGVy
KSkpOwo+IC19Cj4gLQo+IC1DQU1McHJpbSB2YWx1ZSBzdHViX3NpemVvZl92Y3B1X2d1ZXN0X2Nv
bnRleHQodmFsdWUgdW5pdCkKPiAtewo+IC0JQ0FNTHBhcmFtMSh1bml0KTsKPiAtCUNBTUxyZXR1
cm4oVmFsX2ludChzaXplb2Yoc3RydWN0IHZjcHVfZ3Vlc3RfY29udGV4dCkpKTsKPiAtfQo+IC0K
PiAtQ0FNTHByaW0gdmFsdWUgc3R1Yl9zaXplb2ZfeGVuX3Bmbih2YWx1ZSB1bml0KQo+IC17Cj4g
LQlDQU1McGFyYW0xKHVuaXQpOwo+IC0JQ0FNTHJldHVybihWYWxfaW50KHNpemVvZih4ZW5fcGZu
X3QpKSk7Cj4gLX0KPiAtCj4gLSNkZWZpbmUgWENfQ09SRV9NQUdJQyAgICAgMHhGMDBGRUJFRAo+
IC0jZGVmaW5lIFhDX0NPUkVfTUFHSUNfSFZNIDB4RjAwRkVCRUUKPiAtCj4gLUNBTUxwcmltIHZh
bHVlIHN0dWJfbWFyc2hhbGxfY29yZV9oZWFkZXIodmFsdWUgaGVhZGVyKQo+IC17Cj4gLQlDQU1M
cGFyYW0xKGhlYWRlcik7Cj4gLQlDQU1MbG9jYWwxKHMpOwo+IC0Jc3RydWN0IHhjX2NvcmVfaGVh
ZGVyIGNfaGVhZGVyOwo+IC0KPiAtCWNfaGVhZGVyLnhjaF9tYWdpYyA9IChGaWVsZChoZWFkZXIs
IDApKQo+IC0JCT8gWENfQ09SRV9NQUdJQwo+IC0JCTogWENfQ09SRV9NQUdJQ19IVk07Cj4gLQlj
X2hlYWRlci54Y2hfbnJfdmNwdXMgPSBJbnRfdmFsKEZpZWxkKGhlYWRlciwgMSkpOwo+IC0JY19o
ZWFkZXIueGNoX25yX3BhZ2VzID0gTmF0aXZlaW50X3ZhbChGaWVsZChoZWFkZXIsIDIpKTsKPiAt
CWNfaGVhZGVyLnhjaF9jdHh0X29mZnNldCA9IEludDY0X3ZhbChGaWVsZChoZWFkZXIsIDMpKTsK
PiAtCWNfaGVhZGVyLnhjaF9pbmRleF9vZmZzZXQgPSBJbnQ2NF92YWwoRmllbGQoaGVhZGVyLCA0
KSk7Cj4gLQljX2hlYWRlci54Y2hfcGFnZXNfb2Zmc2V0ID0gSW50NjRfdmFsKEZpZWxkKGhlYWRl
ciwgNSkpOwo+IC0KPiAtCXMgPSBjYW1sX2FsbG9jX3N0cmluZyhzaXplb2YoY19oZWFkZXIpKTsK
PiAtCW1lbWNweShTdHJpbmdfdmFsKHMpLCAoY2hhciAqKSAmY19oZWFkZXIsIHNpemVvZihjX2hl
YWRlcikpOwo+IC0JQ0FNTHJldHVybihzKTsKPiAtfQo+IC0KPiAgQ0FNTHByaW0gdmFsdWUgc3R1
Yl94Y19pbnRlcmZhY2Vfb3Blbih2b2lkKQo+ICB7Cj4gIAlDQU1McGFyYW0wKCk7CgoKX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxp
bmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5w
cm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL3hlbi1kZXZlbA==