> Ndiswrapper is GPL-licensed. The resulting modules are probably not, but they are usually not distributed anyway.

I was referring to modules wrapped by ndiswrapper. Of course they are distributed.

There are other examples as well: nvidia being a salient one.