Re: [MirageOS-devel] [ANN] release of io-page.1.5.0, mirage-unix.2.2.3 and mirage-xen.2.2.3

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

Thomas,

On 03/17/2015 11:11, Hannes Mehnert wrote:
> Maybe use mirage-xen-minios do decide whether to build Io_page
> with xen support or not? Io_page needs the headers from there..

I now use the packages mirage-xen-minios opam and libminios-xen
pkg-config, which according to my limited understanding should be
good. Could you please look whether this makes sense (on my cubieboard
the output of pkg-config for mirage-xen and libminios-xen is the same)

https://github.com/mirage/io-page/pull/21

thanks,

hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJVCBc3AAoJELyJZYjffCjugcEP/A5C6Y5j9CmITNNOI1uI6D6C
udPNW/v3ruji9bGcYKbDz1tjkMBRqF1W/5UKYGBKtlXgzNuw9qqJMlRWQSZYTv6u
U2KqbBC+edKH3hqJCpaOLNdY1SMEf3uuFX4vZAY94soYWFgzpBPkCetQfY8JS0F9
W/CawFNm2KqR4sRMaEg2VXkdvANaPK7mp7aYFCOoPCqG4Ywih48XDXJyCM1ELFaz
AdBGO7DLVQhwID6/8CN1Xc3GYtSg0e4BjJsXcPlu1aV9QNb8AWzZsODSwPAtPMNk
MzgoqaJUHVdJ86kidhfYsuZxFhMwZbyfaCnqBUGbwV12GsiPuM3UyqaJeZ6g6Uez
/lKjca9yCv2GeYjxcwGPLBArYUAJM1ppNTVb+kGz5OHpD8QIxnJZMn90KQRRBuB0
MfxtFnwKVB9FTle0MGN6x/0zXHLT/7sji/OlgnkhzGGg5xOPSjmQVhhgIOZuOnz/
0h1ZGJzgdxpF4Mex7VgagpBVoSlzIQX8usBv+qKN37R7WDWURpoqZYwRIjVbA9sA
QKSVJgXklG3iWOzDMOa8j+esrsHJnRztLs0MWdwTW70dnXduIMs8sW4lZ1BaTpav
+Y/5lG1Nd1EkcUsfNLHu7bNVgs9TNCAF/Vp3Onsa3AtVQbL0crAELoBtn2pMGr5Y
N2UR1fvurVtmVvZSI06z
=8QeZ
-----END PGP SIGNATURE-----

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel