diff --git a/lib/dune b/lib/dune
index bb884b7..b47d55a 100644
--- a/lib/dune
+++ b/lib/dune
@@ -6,3 +6,17 @@
  (c_names stub_alloc_pages stub_get_addr)
  (js_of_ocaml (javascript_files io-page.js))
  (wrapped false))
+
+(library
+ (name io_page_unix)
+ (public_name io-page-unix)
+ (modules)
+ (libraries io-page)
+)
+
+(library
+ (name io_page_xen)
+ (public_name io-page-xen)
+ (modules)
+ (libraries io-page)
+)
\ No newline at end of file