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

On 03/17/2015 11:07, Anil Madhavapeddy wrote:
> It should be possible to compile the io-page stubs without
> depending on mirage-xen.  We could break it up into a
> mirage-xen-headers package in a similar style to
> mirage/mirage-types...

Maybe use mirage-xen-minios do decide whether to build Io_page with
xen support or not? Io_page needs the headers from there..

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

iQIcBAEBCQAGBQJVCAvUAAoJELyJZYjffCjumvIP/0FiPB4qnl8sJiUg8HuGKUuO
Kkduy94IPyu+thVKEj81QJ4Kn2ue2Ljth9vcrjDZF+cMrfQyalgWDc/1Y6ZVFaie
yCd+5Nt8eE+V7pXEEudH6I87C01ARVTAfJOxVMaNuuTU+9RU9o3uYIAw6uLLc3Lf
+frPf2mWmUC7p+5WhqWGFZhhfdWq/vBYpXjqMED6hBXbnnb77CysTwrdRrYEhjGF
l4TYx8F7x2w4HvkPzM1T5JcJ+gW8R7GwTTgiGcdUFnoT6vN6UXyek/ehSwsVUyzS
RYKuBeNdRN60zzfCDV0OZoRVQRjsPrj1I7+nPH1kf6+khRxkwRoFiUej9iSMxxKy
OPCaHotZeHw1YZPFveyS5xqvae43zD7ruFajUmHwX17KiZpzFOBlvGoGP6r5PEAU
jcYZ1/KsWPN1vUMIKY4qYFobQj8yfQ5BmLNMMCgsPSUk+3gJgD8+GfCOtz6QHHl2
p7ztBw4jjrZR+rYbNBoGcI/uYFTzL8vzqu8kzEkQ3GR63ltcKBWN2HD7PvZxnseJ
yPDJ6gqSz5a2NOzSjlqIxBWKB4WwXXBiujpXAzqayyocy9pLzY4oAx/TEPP7QB1B
Jv2NILvHawDLj19cQ1W2H0c7S6h+dIvzGgOKqbBcyFeRcF9dUasG9s9k2pIXwc9H
UJH94K34S3+3qJuZg4pR
=jUKQ
-----END PGP SIGNATURE-----

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