Re: Binary firmware in the kernel - licensing issues.

<snip>
> 
> 	Let's be clear: embedding binary firmware into a GPL'ed
> work is fine if the firmware contains no additional restriction
> beyond the GPL and complete source code for the firmware is
> included.  I think you understand this much already, but I just
> want to be clear about it.

> 	All three distribution options in section 3 of the version 2
> of the GNU General Public License require distribution or arrangments
> for distribution "machine-readable source code", and defines
> "source code" as "the preferred form of the work for making
> modifications to it."  That seems pretty clear to me.

So if you've got a CPU, that you have to load the microcode into before
fully booting, you can't run linux on it natively, unless the CPU maker
provides full microcode source? 
Presumably the "preferred form" clause would mean that there must 
be hardware documentation too.

And when is a binary a binary, and not a string constant?