Hi Dan, There are some patches (they haven't been tested now, I think) that should solve the issue pointed here. The following should resolve it:
http://driverdev.linuxdriverproject.org/pipermail/driverdev-devel/2018-June/121761.html Best regards, Sergio Paracuellos _______________________________________________ devel mailing list de...@linuxdriverproject.org http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel