···

       
21
       
21
       
 
       
  "ounit" {with-test}

     

       
22
       
22
       
 
       
  "conf-xen" {build}

     

       
23
       
23
       
 
       
]

     

       
24
       
24
       
+
       
available: [ os != "freebsd" ]

     

       
24
       
25
       
 
       
synopsis: "Xen event channel bindings."

     

       
25
       
26
       
 
       
description:

     

       
26
       
27
       
 
       
  "These are needed for building Xen device drivers (e.g. mirage-block-xen)"

     

···

       
17
       
17
       
 
       
  "ounit" {with-test}

     

       
18
       
18
       
 
       
  "conf-xen" {build}

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
+
       
available: [ os != "freebsd" ]

     

       
20
       
21
       
 
       
build: [

     

       
21
       
22
       
 
       
  ["dune" "subst"] {dev}

     

       
22
       
23
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

···

       
18
       
18
       
 
       
  "io-page-unix"

     

       
19
       
19
       
 
       
  "conf-xen" {build}

     

       
20
       
20
       
 
       
]

     

       
21
       
21
       
+
       
available: [ arch != "s390x" & arch != "ppc64" & os != "freebsd" ]

     

       
21
       
22
       
 
       
synopsis: "Xen grant table bindings"

     

       
22
       
23
       
 
       
description: """

     

       
23
       
24
       
 
       
These allow your program (running either in userspace or in kernelspace

     

···

       
18
       
18
       
 
       
  "io-page-unix" {>= "2.0.0"}

     

       
19
       
19
       
 
       
  "conf-xen" {build}

     

       
20
       
20
       
 
       
]

     

       
21
       
21
       
+
       
available: [ arch != "s390x" & arch != "ppc64" & os != "freebsd" ]

     

       
21
       
22
       
 
       
synopsis: "Grant table bindings for OCaml."

     

       
22
       
23
       
 
       
description: """

     

       
23
       
24
       
 
       
These are used to create Xen device driver "backends" (servers)

     

···

       
17
       
17
       
 
       
  "io-page-unix" {>= "2.0.0"}

     

       
18
       
18
       
 
       
  "conf-xen" {build}

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
+
       
available: [ arch != "s390x" & arch != "ppc64" & os != "freebsd" ]

     

       
20
       
21
       
 
       
build: [

     

       
21
       
22
       
 
       
  ["dune" "subst"] {dev}

     

       
22
       
23
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

···

       
17
       
17
       
 
       
  "io-page-unix" {>= "2.0.0"}

     

       
18
       
18
       
 
       
  "conf-xen" {build}

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
+
       
available: [ arch != "s390x" & arch != "ppc64" & os != "freebsd" ]

     

       
20
       
21
       
 
       
build: [

     

       
21
       
22
       
 
       
  ["dune" "subst"] {dev}

     

       
22
       
23
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

···

       
16
       
16
       
 
       
  "xen-gnt" {= version}

     

       
17
       
17
       
 
       
  "conf-xen"

     

       
18
       
18
       
 
       
]

     

       
19
       
19
       
-
       
available: [ arch != "s390x" & arch != "ppc64" ]

     

       
19
       
19
       
+
       
available: [ arch != "s390x" & arch != "ppc64" & os != "freebsd" ]

     

       
20
       
20
       
 
       
build: [

     

       
21
       
21
       
 
       
  ["dune" "subst"] {dev}

     

       
22
       
22
       
 
       
  ["dune" "build" "-p" name "-j" jobs]