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
|
Source: mdevctl
Section: admin
Priority: optional
Maintainer: Christian Ehrhardt <christian.ehrhardt@canonical.com>
Rules-Requires-Root: no
Build-Depends: cargo,
debhelper-compat (= 13),
dh-cargo,
librust-anyhow-dev (>= 1.0.0),
librust-env-logger+default-dev,
librust-log+serde-dev,
librust-serde-json+indexmap-dev,
librust-clap-3+derive-dev (>= 3.1.7),
librust-clap-complete-3-dev (>= 3.0.6),
librust-tempfile-dev (>= 3.1.0) <!nocheck>,
librust-uuid-1+v4-dev,
pkg-config,
python3-docutils,
systemd,
udev,
Standards-Version: 4.6.1
Homepage: https://github.com/mdevctl/mdevctl
Vcs-Git: https://salsa.debian.org/debian/mdevctl.git
Vcs-Browser: https://salsa.debian.org/debian/mdevctl/tree/debian/master
Package: mdevctl
Architecture: any
Multi-Arch: foreign
Depends: udev,
${misc:Depends},
${shlibs:Depends},
${cargo:Depends},
Recommends: ${cargo:Recommends},
Suggests: ${cargo:Suggests},
Provides: ${cargo:Provides},
Built-Using: ${cargo:Built-Using},
XB-X-Cargo-Built-Using: ${cargo:X-Cargo-Built-Using}
Description: Mediated device management utility for Linux
mdevctl is a utility for managing and persisting devices in the mediated
device framework of the Linux kernel. Mediated devices are sub-devices
of a parent device (ex. a vGPU) which can be dynamically created and
potentially used by drivers like vfio-mdev for assignment to virtual machines.
|
