On Thu, 28 Dec 2017, Alexandru Chirvasitu wrote: > Attached. > > I don't have a 4.14 family kernel available at the moment on that > machine. What I'm attaching comes from the 4.13 one I was playing with > yesterday, what with kexec and all. Good enough. Thanks ! _______________________________________________ devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxx http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel