[MirageOS-devel] io-page

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

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