GPL and kernel .config file

[Justin Findlay]

On AD 2007 June 26 Tuesday 04:35:49 PM -0600, Stephen Ward wrote:
>  My company redistributes a Linux LiveCD based on Gentoo, which is obviously
>  subject to the GPL.  We have a client who is citing clauses 3(a) and 3(b) of
>  the GPL to insist that we provide the .config file that was used to compile
>  the kernel on our LiveCD.  Does anyone know if this is a legitimate claim?
>  Does the .config file count as source code that we need to make available?

What's wrong with sending him off a copy of the file?


Justin