On Wed, 2018-06-20 at 19:24 -0400, Simon Que wrote: > The Gasket (Google ASIC Software, Kernel Extensions, and Tools) kernel > framework is a generic, flexible system that supports thin kernel > drivers. Gasket kernel drivers are expected to handle opening and > closing devices, mmap'ing BAR space as requested, a small selection of > ioctls, and handling page table translation (covered below). Any other > functions should be handled by userspace code.
Perhps this should be resubmited with changes appropriate for the staging-next tree as this does not compile there.
