Summary: Mediated device management and persistence utility

Description:
mdevctl is a utility for managing and persisting devices in the
mediated device 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.

URL: https://github.com/mdevctl/mdevctl
License: LGPLv2

Maintainer: tv