Nearest I can tell the guy earlier thought what mdevctl is (echo uuid >> /sys/mdev_bus/$pci-device/available-types/) is the same as what we are doing. That couldn't be further from the truth. I tried explaining to him we arbitrarily define the available types on behalf of the vendor driver via user configuration. It’s the difference between picking from a pre-made list of things someone else says you’re allowed to do and making the list of things you’re allowed to do yourself.