opam-version: "2.0"
maintainer: "mirageos-devel@lists.openmirage.org"
authors: "Thomas Leonard <talex5@gmail.com>"
homepage: "https://github.com/talex5/mini-os"
bug-reports: "https://github.com/mirage/mini-os/issues"
license: ["BSD" "some optional GPL components"]
dev-repo: "git+https://github.com/talex5/mini-os.git"
available: [os != "macos" & arch = "x86_64"]
build: [
  [make "debug=n" "CONFIG_VERBOSE_BOOT=n"]
]
install: [
  [make "install" "LIBDIR=%{prefix}%/lib" "INCLUDEDIR=%{prefix}%/include"]
]
remove: [
  ["rm" "-r"
    "%{prefix}%/lib/minios-xen"
    "%{prefix}%/lib/pkgconfig/libminios-xen.pc"
    "%{prefix}%/include/minios-xen"
  ]
]
depends: [
  "conf-perl" {build}
  "conf-findutils" {build}
]
synopsis: "A minimal OS for running under the Xen hypervisor"
description: """
Mini-OS provides architecture-specific boot code, a stack, malloc, an interrupt
handler, a console driver, and some basic C functions. It can be used as a
library to build unikernels such as Mirage."""
flags: light-uninstall
url {
  src: "https://github.com/talex5/mini-os/archive/v0.8.tar.gz"
  checksum: [
    "sha256=f8b0203576500e7fb21ac40db7a7380b132c5340575427e31f12a7d8248cbc99"
    "md5=c60c9fd38452673fc1af75a1f6acfa89"
  ]
}