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 (e.g. a vGPU) which can be dynamically created and potentially used by drivers like vfio-mdev for assignment to virtual machines.

Source Files
Filename Size Changed
_service 0000000580 580 Bytes 3 months
mdevctl-0.61.tar.xz 0000018936 18.5 KB 3 months
mdevctl.changes 0000000171 171 Bytes 3 months
mdevctl.spec 0000001714 1.67 KB 3 months
Comments for mdevctl 0