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: [make "virtio"]
13install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]
14remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
15depends: [
16 "ocaml" {>= "4.02.3"}
17 "conf-pkg-config" {< "3"}
18]
19conflicts: [
20 "solo5-kernel-ukvm"
21 "solo5-kernel-muen"
22]
23x-ci-accept-failures: ["debian-unstable"]
24flags: deprecated
25available: (arch = "x86_64" | arch = "x86_64") & os != "macos"
26synopsis: "Solo5 sandboxed execution environment (virtio target)"
27description: """
28Solo5 is a sandboxed execution environment primarily intended for, but not
29limited to, running applications built using various unikernels (a.k.a.
30library operating systems).
31
32This package provides the Solo5 components needed to build MirageOS unikernels
33using the "virtio" target.
34
35The "virtio" target is supported on 64-bit Linux and FreeBSD systems with
36hardware virtualization, and produces unikernels suitable for running on any
37virtio-compliant hypervisor.
38
39Note that the "virtio" target provides limited support for current and future
40Solo5 features and abstractions, we recommend that you use the "ukvm" target
41instead."""
42url {
43 src: "https://github.com/Solo5/solo5/archive/v0.3.0.tar.gz"
44 checksum: [
45 "sha256=3ebe4face4364df7858561bcad74697099a68b1d11d28e989e1e47288e4b5e76"
46 "md5=1085edafe0c69d2af2dfd75b0e3349de"
47 ]
48}