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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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...

Anil

> On 17 Mar 2015, at 12:05, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> 
> Actually, this introduces a recursive dependency in the opam repository 
> (io-page news mirage-xen which needs mirage-xen). There's no easy way to fix 
> that, I'm looking into that.
> 
>> On 17 Mar 2015, at 10:50, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> 
>> Hi,
>> 
>> These releases contain Hannes' patches to move the related C stubs from 
>> mirage/mirage-platform to mirage/io-page. They are part of an ongoing effort 
>> to disaggregate mirage/mirage-platform to provide only the core C code 
>> needed from unix and xen[1], by moving the C stubs in their related upstream 
>> packages Contributions helping to go in that direction are as usual welcome.
>> 
>> I've also closed ~20 issues and added color to the remaining one on the 
>> mirage bug tracker[2].
>> 
>> Best,
>> Thomas
>> 
>> mirage/mirage-platform (mirage-unix.2.2.3, mirage-xen.2.2.3):
>> â Add opam files for mirage-xen and mirage-unix OPAM packages
>> â Remove page_stubs.c, now provided by io-page (#122, patch from @hannesm)
>> 
>> mirage/io-page.1.1.5:
>> â Fix equallity of io-pages (#17, patch from @hannesm)
>> â Import C stubs from mirage-platform (#18, patch from @hannesm)
>> 
>> [1] https://github.com/mirage/mirage-platform/issues/124
>> [2] https://github.com/mirage/mirage/issues
>> 
> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


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