RE: Would I be violating the GPL?

["Stuart MacDonald" <stuartm@connecttech.com>]

From: Alexander Fisher [alexjfisher@gmail.com]
> A supplier of a PCI mezzanine digital IO card has provided a linux 2.4
> driver as source code.  They have provided this code source with a
> license stating I won't redistribute it in anyway.

It seems to me that the supplier is violating the GPL.

They've distributed a linux driver.

There are rare exceptions, but most linux drivers are considered
derived works of the kernel and must also be licenced under the GPL
(GPL 2.b).

As such, further restrictions on the rights that come with the driver
are prohibited (GPL 6.). Or, this may count as sublicencing, which is
also prohibited (GPL 4.).

So their licence prohibiting redistribution is in violation of the GPL.

Since no one else has commented on this, I'm wondering if I'm wrong.
Comments?

If I'm right, I believe that GPL 4. allows you to proceed with the
driver as per the GPL...

> My concern is that if I build this code into a module, I won't be able
> to distribute it to customers

..and you can redistribute it.

>                               without violating either the GPL (by not
> distributing the source code), or the proprietary source code license
> as currently imposed by the supplier.

In my mind, this is exactly what the GPL is designed to prevent.

..Stu