opam-version: "2.0"
homepage: "https://github.com/mirage/mirage-xen-minios/"
maintainer: "mirageos-devel@lists.openmirage.org"
bug-reports: "https://github.com/mirage/mirage-xen-minios/issues"
dev-repo: "git+https://github.com/mirage/mirage-xen-minios.git"
authors: [
  "Anil Madhavapeddy"
  "Thomas Leonard"
]
tags: [
  "org:mirage"
]
install: [
  [make "depend"]
  [make "build"]
]
available: [os = "linux" & arch = "x86_64"]
depends: ["ocaml" "minios-xen"]
synopsis: "Xen MiniOS guest operating system library"
description: """
This is used by the MirageOS framework to link OCaml unikernels to run
directly as Xen guest kernels."""
url {
  src: "https://github.com/mirage/mirage-xen-minios/archive/v0.9.3.tar.gz"
  checksum: "md5=d86817675f351d8fcc4f887f129ec953"
}
extra-source "v0.5.4.tar.gz" {
  src: "https://github.com/JuliaLang/openlibm/archive/v0.5.4.tar.gz"
  checksum: "md5=3cb0e96d1fd4d2a4a3e680c23f11768a"
}
