Merge pull request #89 from mirage/prepare-v5.1.0

Prepare v5.1.0
mirage · Feb 2, 2022 · b87b69b · b87b69b
2 parents 7a5f693 + 0f25660
commit b87b69b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 8 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+v5.1.0 2022-02-01
+-----------------
+
+* Replace `OS` by `Xen_os` (@dinosaure, #87)
+
 v5.0.0 2021-11-15
 -----------------
 

diff --git a/mirage-console-xen-backend.opam b/mirage-console-xen-backend.opam
@@ -11,11 +11,12 @@ depends: [
   "dune" {>= "1.0"}
   "mirage-console" {=version}
   "mirage-console-xen-proto" {=version}
-  "mirage-xen" {>= "6.0.0"}
+  "mirage-xen" {>= "7.0.0"}
   "io-page" {>= "2.0.0"}
   "lwt" {>= "4.0.0"}
   "fmt" {>= "0.8.7"}
   "xenstore"
+  "cstruct" {>= "6.0.0"}
   "shared-memory-ring"
   "shared-memory-ring-lwt"
 ]

diff --git a/mirage-console-xen.opam b/mirage-console-xen.opam
@@ -13,20 +13,15 @@ depends: [
   "xenstore"
   "shared-memory-ring"
   "lwt"
+  "cstruct" {>= "6.0.0"}
   "mirage-flow"
   "mirage-console" {=version}
   "mirage-console-xen-proto" {=version}
-  "mirage-xen" {>= "6.0.0"}
+  "mirage-xen" {>= "7.0.0"}
 ]
 build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 dev-repo: "git+https://github.com/mirage/mirage-console.git"
 synopsis: "Implementation of Mirage console for Xen"
-pin-depends:[
-  [ "mirage-xen.dev" "git+https://github.com/dinosaure/mirage-xen.git#b7b5eaebead17a864b53085b60351a1648ba05b1" ]
-  [ "mirage-runtime.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ]
-  [ "functoria-runtime.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ]
-  [ "functoria.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ]
-]