From ae9045f7aed3c45ca752674f6fd0e0d2b9185710 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Wed, 4 Mar 2015 23:39:51 +0000
Subject: [PATCH 1/2] +mirage-xen.2.2.2

---
 packages/mirage-xen/mirage-xen.2.2.2/descr |  1 +
 packages/mirage-xen/mirage-xen.2.2.2/opam  | 24 ++++++++++++++++++++++
 packages/mirage-xen/mirage-xen.2.2.2/url   |  2 ++
 3 files changed, 27 insertions(+)
 create mode 100644 packages/mirage-xen/mirage-xen.2.2.2/descr
 create mode 100644 packages/mirage-xen/mirage-xen.2.2.2/opam
 create mode 100644 packages/mirage-xen/mirage-xen.2.2.2/url

diff --git a/packages/mirage-xen/mirage-xen.2.2.2/descr b/packages/mirage-xen/mirage-xen.2.2.2/descr
new file mode 100644
index 000000000000..293b3d9ed4e1
--- /dev/null
+++ b/packages/mirage-xen/mirage-xen.2.2.2/descr
@@ -0,0 +1 @@
+Mirage OS library for Xen compilation
diff --git a/packages/mirage-xen/mirage-xen.2.2.2/opam b/packages/mirage-xen/mirage-xen.2.2.2/opam
new file mode 100644
index 000000000000..03922067063b
--- /dev/null
+++ b/packages/mirage-xen/mirage-xen.2.2.2/opam
@@ -0,0 +1,24 @@
+opam-version: "1"
+maintainer: "anil@recoil.org"
+build: [
+  [make "xen-build"]
+  [make "xen-install" "PREFIX=%{prefix}%"]
+]
+remove: [[make "xen-uninstall" "PREFIX=%{prefix}%"]]
+depends: [
+  "cstruct" {>= "1.0.1"}
+  "ocamlfind"
+  "io-page" {>= "1.0.1"}
+  "mirage-clock-xen" {>= "1.0.0"}
+  "lwt" {>= "2.4.3"}
+  "shared-memory-ring" {>= "1.0.0"}
+  "xenstore" {>= "1.2.5"}
+  "xen-evtchn" {>="0.9.9"}
+  "xen-gnt" {>="2.0.0"}
+  "mirage-xen-minios" {>="0.7.0"}
+  "conf-pkg-config"
+  "mirage-profile" {>="0.3"}
+  "ocaml-src"
+]
+ocaml-version: [>= "4.01.0"]
+os: ["linux"]
diff --git a/packages/mirage-xen/mirage-xen.2.2.2/url b/packages/mirage-xen/mirage-xen.2.2.2/url
new file mode 100644
index 000000000000..817b4e8a32d6
--- /dev/null
+++ b/packages/mirage-xen/mirage-xen.2.2.2/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/mirage/mirage-platform/archive/v2.2.2.tar.gz"
+checksum: "47bf62cb84fc936f09bd54b7befe85ac"

From 0e95f03a08071d3f8cee7c6819b0f35cfa8d0835 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Wed, 4 Mar 2015 23:40:35 +0000
Subject: [PATCH 2/2] +mirage-unix.2.2.2

---
 packages/mirage-unix/mirage-unix.2.2.2/descr  |  1 +
 .../mirage-unix/mirage-unix.2.2.2/findlib     |  1 +
 packages/mirage-unix/mirage-unix.2.2.2/opam   | 19 +++++++++++++++++++
 packages/mirage-unix/mirage-unix.2.2.2/url    |  2 ++
 4 files changed, 23 insertions(+)
 create mode 100644 packages/mirage-unix/mirage-unix.2.2.2/descr
 create mode 100644 packages/mirage-unix/mirage-unix.2.2.2/findlib
 create mode 100644 packages/mirage-unix/mirage-unix.2.2.2/opam
 create mode 100644 packages/mirage-unix/mirage-unix.2.2.2/url

diff --git a/packages/mirage-unix/mirage-unix.2.2.2/descr b/packages/mirage-unix/mirage-unix.2.2.2/descr
new file mode 100644
index 000000000000..2679e13e6dac
--- /dev/null
+++ b/packages/mirage-unix/mirage-unix.2.2.2/descr
@@ -0,0 +1 @@
+Mirage OS library for Unix compilation
diff --git a/packages/mirage-unix/mirage-unix.2.2.2/findlib b/packages/mirage-unix/mirage-unix.2.2.2/findlib
new file mode 100644
index 000000000000..b18b00ad730b
--- /dev/null
+++ b/packages/mirage-unix/mirage-unix.2.2.2/findlib
@@ -0,0 +1 @@
+mirage-unix
diff --git a/packages/mirage-unix/mirage-unix.2.2.2/opam b/packages/mirage-unix/mirage-unix.2.2.2/opam
new file mode 100644
index 000000000000..7eb2ba086f58
--- /dev/null
+++ b/packages/mirage-unix/mirage-unix.2.2.2/opam
@@ -0,0 +1,19 @@
+opam-version: "1"
+maintainer: "anil@recoil.org"
+build: [
+  [make "unix-build"]
+  [make "unix-install" "PREFIX=%{prefix}%"]
+]
+remove: [
+  [make "unix-uninstall" "PREFIX=%{prefix}%"]
+]
+depends: [
+  "cstruct" {>= "1.0.1"}
+  "ocamlfind"
+  "lwt" {>= "2.4.3"}
+  "io-page" {>= "1.0.1"}
+  "mirage-clock-unix" { >="1.0.0"}
+  "shared-memory-ring" {>= "1.0.0"}
+  "mirage-profile" {>="0.3"}
+]
+ocaml-version: [>= "4.01.0"]
diff --git a/packages/mirage-unix/mirage-unix.2.2.2/url b/packages/mirage-unix/mirage-unix.2.2.2/url
new file mode 100644
index 000000000000..817b4e8a32d6
--- /dev/null
+++ b/packages/mirage-unix/mirage-unix.2.2.2/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/mirage/mirage-platform/archive/v2.2.2.tar.gz"
+checksum: "47bf62cb84fc936f09bd54b7befe85ac"