use -t xen instead of --xen for mirage configure
use -t xen instead of --xen for mirage configure

djs55/ocaml-vchan,mirage/ocaml-vchan,djs55/ocaml-vchan,samoht/ocaml-vchan,mirage/ocaml-vchan,mirage/ocaml-vchan,samoht/ocaml-vchan,samoht/ocaml-vchan,djs55/ocaml-vchan