The gpl-shim loophole could be useful, actually. Having a gpl shim means that one could insert tracing code into such shim, helping reverse engineering with the

The gpl-shim loophole could be useful, actually. Having a gpl shim means that one could insert tracing code into such shim, helping reverse engineering with the goal of developing free drivers.