On Fri, Nov 09, 2018 at 12:41:01PM +0100, Borislav Petkov wrote: > On Fri, Nov 09, 2018 at 03:12:25AM -0800, Greg KH wrote: > > Sure, sounds like a good task. Post it to the driverdevel mailing list > > and see if people are interested. > > By "driverdevel" do you mean this guy, per chance: > > http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel
Yes. > Also, I guess I should send to kernel-janit...@vger.kernel.org too, no? I don't know if that list is still alive, but it could not hurt :)
