opam-version: "2.0"
maintainer: "martin@lucina.net"
authors: [
  "Dan Williams <djwillia@us.ibm.com>"
  "Martin Lucina <martin@lucina.net>"
  "Ricardo Koller <kollerr@us.ibm.com>"
]
homepage: "https://github.com/solo5/solo5"
bug-reports: "https://github.com/solo5/solo5/issues"
license: "ISC"
dev-repo: "git+https://github.com/solo5/solo5.git"
build: [make "ukvm"]
install: [make "opam-ukvm-install" "PREFIX=%{prefix}%"]
remove: [make "opam-ukvm-uninstall" "PREFIX=%{prefix}%"]
depends: [
  "ocaml" {>= "4.02.3"}
  "conf-pkg-config"
]
depexts: [
  ["linux-headers"] {os-distribution = "alpine"}
  ["linux-libc-dev"] {os-family = "debian"}
  ["kernel-headers"] {os-distribution = "fedora"}
  ["kernel-headers"] {os-distribution = "rhel"}
]
conflicts: [
  "solo5-kernel-virtio"
  "solo5-kernel-muen"
]
x-ci-accept-failures: ["debian-unstable"]
available:
  (arch = "x86_64" | arch = "x86_64" | arch = "arm64") &
  (os = "linux" | os = "freebsd" | os = "openbsd")
synopsis: "Solo5 sandboxed execution environment (ukvm target)"
description: """
Solo5 is a sandboxed execution environment primarily intended for, but not
limited to, running applications built using various unikernels (a.k.a.
library operating systems).

This package provides the Solo5 components needed to build and run MirageOS
unikernels on the "ukvm" target, including the "ukvm" monitor source code, and
"ukvm-configure" script used to specialize the monitor at MirageOS unikernel
build time.

This target is supported on 64-bit Linux, FreeBSD and OpenBSD systems with
hardware virtualization."""
url {
  src: "https://github.com/Solo5/solo5/archive/v0.3.0.tar.gz"
  checksum: "md5=1085edafe0c69d2af2dfd75b0e3349de"
}
