this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

[new release] mirage-xen (9.0.0)

CHANGES:

* Use dune-variants, sleeper storage is now in mirage-sleep (mirage/mirage-xen#54 @hannesm)

+52
+52
packages/mirage-xen/mirage-xen.9.0.0/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "anil@recoil.org" 3 + authors: "The MirageOS team" 4 + homepage: "https://github.com/mirage/mirage-xen" 5 + bug-reports: "https://github.com/mirage/mirage-xen/issues/" 6 + dev-repo: "git+https://github.com/mirage/mirage-xen.git" 7 + doc: "https://mirage.github.io/mirage-xen/" 8 + license: "ISC" 9 + tags: ["org:mirage"] 10 + 11 + build: [ 12 + [ "dune" "subst" ] {dev} 13 + [ "dune" "build" "-p" name "-j" jobs ] 14 + ] 15 + depends: [ 16 + "ocaml" {>= "4.08.0"} 17 + "dune" {>= "2.7.0"} 18 + "cstruct" {>= "1.0.1"} 19 + "lwt" {>= "2.4.3"} 20 + "shared-memory-ring-lwt" 21 + "xenstore" {>= "1.2.5"} 22 + "lwt-dllist" 23 + "io-page" {>= "2.4.0"} 24 + "mirage-runtime" {>= "4.6.0"} 25 + "logs" 26 + "fmt" {>= "0.8.5"} 27 + "bheap" {>= "2.0.0"} 28 + "duration" 29 + "metrics" 30 + "metrics-lwt" {>= "0.2.0"} 31 + "mirage-sleep" {>= "4.0.0"} 32 + ] 33 + available: [ 34 + (arch = "x86_64" ) & 35 + (os = "linux" | os = "freebsd" | os = "openbsd") 36 + ] 37 + synopsis: "Xen core platform libraries for MirageOS" 38 + description: """ 39 + This package provides the MirageOS `OS` library for 40 + Xen targets, which handles the main loop and timers. It also provides 41 + the low level C startup code and C stubs required by the OCaml code. 42 + """ 43 + x-maintenance-intent: [ "(latest)" ] 44 + url { 45 + src: 46 + "https://github.com/mirage/mirage-xen/releases/download/v9.0.0/mirage-xen-9.0.0.tbz" 47 + checksum: [ 48 + "sha256=95d15ff80782fbc013c2a57f496815da56a3859bc1eb86947fe07149afc8fa43" 49 + "sha512=99ef971baa1630cf7cb43d08fa125b8c26a58b61be6b3b4f8561d18614d5f86e969ef220a45282a93be9a8864bf0e12660ed323d161b8a88d398126598ed5614" 50 + ] 51 + } 52 + x-commit-hash: "91a845a95277c299d57347db71171aa1ee4b7de5"