diff --git a/CHANGES.md b/CHANGES.md index 8e4536e..c0f89a7 100644 --- 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 index ffd6c6d..1a797a6 100644 --- 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 index 36d82ab..ba53b9f 100644 --- a/mirage-console-xen.opam +++ b/mirage-console-xen.opam @@ -13,10 +13,11 @@ 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} @@ -24,9 +25,3 @@ build: [ ] 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" ] -]