projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1124a9a) | patch
tools/ocaml: Drop coredump infrastructure
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 19 Jan 2018 18:04:27 +0000 (18:04 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 26 Jan 2018 18:28:47 +0000 (18:28 +0000)
commitd933f1a53c06002351c1e36d40615e40bd4bf6af
tree31299c8094d94541a22a19fbcb52c519b6d2fedetree | snapshot
parent1124a9a26f05439a3aa31eaea227285e50dc94c0commit | diff
tools/ocaml: Drop coredump infrastructure

It is unused, and uses an obsolete hypercall which has never ever functioned
for HVM guests.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml diff | blob | history
tools/ocaml/libs/xc/xenctrl.mli diff | blob | history
tools/ocaml/libs/xc/xenctrl_stubs.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.