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_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN="]
15]
16install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-virtio" "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-muen"
26 "solo5-bindings-genode"
27 "solo5-bindings-xen"
28]
29available: [
30 arch = "x86_64" &
31 (os = "linux" | os = "freebsd" | os = "openbsd")
32]
33synopsis: "Solo5 sandboxed execution environment (virtio 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
40MirageOS unikernels using the "virtio" target.
41
42The "virtio" target is supported on 64-bit Linux and FreeBSD
43systems with hardware virtualization, and produces unikernels
44suitable for running on any virtio-compliant hypervisor (e.g.
45QEMU/KVM).
46
47Note that the "virtio" target provides limited support for
48current and future Solo5 features and abstractions. We recommend
49that you use the "hvt" target instead."""
50url {
51 src: "https://github.com/Solo5/solo5/releases/download/v0.6.6/solo5-v0.6.6.tar.gz"
52 checksum: "sha512=8d0a44df8128914af35ba4418023e38528a77147578b9e7d1773e9fb7ac1bbf3bea867fda88ecae626f4908a1b51548a4bd2b11d4f96372d37cc4f60b74f6321"
53}
54flags: deprecated
55post-messages: [ "This package has been superseeded by solo5." ]