this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "martin@lucina.net"
3authors: [
4 "Dan Williams <djwillia@us.ibm.com>"
5 "Martin Lucina <martin@lucina.net>"
6 "Ricardo Koller <kollerr@us.ibm.com>"
7]
8homepage: "https://github.com/solo5/solo5"
9bug-reports: "https://github.com/solo5/solo5/issues"
10license: "ISC"
11dev-repo: "git+https://github.com/solo5/solo5.git"
12build: [
13 ["./configure.sh"]
14 [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE="]
15]
16install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-xen" "PREFIX=%{prefix}%"]
17depends: [
18 "conf-pkg-config" {< "3"}
19 "conf-libseccomp" {build & os = "linux"}
20]
21conflicts: [
22 "ocaml-freestanding" {< "0.6.0"}
23 "solo5-bindings-hvt"
24 "solo5-bindings-spt"
25 "solo5-bindings-virtio"
26 "solo5-bindings-muen"
27 "solo5-bindings-genode"
28]
29available: [
30 (arch = "x86_64") &
31 (os = "linux" | os = "freebsd" | os = "openbsd")
32]
33synopsis: "Solo5 sandboxed execution environment (xen target)"
34description: """
35Solo5 is a sandboxed execution environment primarily intended
36for, but not limited to, running applications built using various
37unikernels (a.k.a. library operating systems).
38
39This package provides the Solo5 components needed to build and
40run MirageOS unikernels on the "xen" target.
41
42The "xen" target is supported on 64-bit Linux, FreeBSD and
43OpenBSD systems with hardware virtualization."""
44url {
45 src: "https://github.com/Solo5/solo5/releases/download/v0.6.8/solo5-v0.6.8.tar.gz"
46 checksum: "sha512=64eba912f1d5a3b2496077ed78200d5dcfb9536c1c9c9d0bca7a44bb072f49be789e0d89260c39300a7324256b409de403058aa26da56f00f8aea2a521a6ea41"
47}
48flags: deprecated
49post-messages: [ "This package has been superseeded by solo5." ]