DRA device driver for PCI passthrough devices - View it on GitHub