forked from Solo5/solo5
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathsolo5-bindings-virtio.opam
42 lines (39 loc) · 1.4 KB
/
solo5-bindings-virtio.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
opam-version: "2.0"
maintainer: "[email protected]"
authors: [
"Dan Williams <[email protected]>"
"Martin Lucina <[email protected]>"
"Ricardo Koller <[email protected]>"
]
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 "virtio"]
install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]
remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
depends: "conf-pkg-config"
conflicts: [
"solo5-bindings-genode"
"solo5-bindings-hvt"
"solo5-bindings-muen"
"solo5-bindings-spt"
]
available: [
arch = "x86_64" &
(os = "linux" | os = "freebsd" | os = "openbsd")
]
synopsis: "Solo5 sandboxed execution environment (virtio 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
MirageOS unikernels using the "virtio" target.
The "virtio" target is supported on 64-bit Linux and FreeBSD
systems with hardware virtualization, and produces unikernels
suitable for running on any virtio-compliant hypervisor (e.g.
QEMU/KVM).
Note that the "virtio" target provides limited support for
current and future Solo5 features and abstractions. We recommend
that you use the "hvt" target instead."""