Re: [MirageOS-devel] io-page

[Dave Scott <Dave.Scott@xxxxxxxxxx>]

Hi Thomas,

I have no cunning plan... feel free to refactor!

Cheers,
Dave

> -----Original Message-----
> From: mirageos-devel-bounces@xxxxxxxxxxxxxxxxxxxx [mailto:mirageos-
> devel-bounces@xxxxxxxxxxxxxxxxxxxx] On Behalf Of Thomas Gazagnaire
> Sent: 17 December 2013 5:08 PM
> To: mirageos-devel@xxxxxxxxxxxxxxxxxxxx
> Subject: [MirageOS-devel] io-page
> 
> Hi,
> 
> I've been looking at the code of io-pages[1] and the mls and mlis look quite
> similar to me. Anyone has an objection if I refactor this into:
> 
> a package "io-page":
> lib/io_page.ml
> lib/io_page.mli
> 
> a package "io-page/unix":
> lib/stub_alloc_pages.c
> 
> Dave, Ani, maybe you had any future plans for io-page that I should be
> aware of ?
> 
> --
> Thomas
> 
> [1] https://github.com/mirage/io-page
> _______________________________________________
> 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