On Tue, Nov 05, 2013 at 05:01:10PM +0000, Martyn Welch wrote: > Greg - I don't have any experience dealing with a mixture of 32-bit user space > and a 64-bit kernel, is this the correct thing to do? It might be, we need to do something here. I'll review it when I get through my patch queue, hopefully later this week, if not, it will be another week or so, after 3.13-rc1 is out, due to travel... thanks, greg k-h _______________________________________________ devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxx http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel
