Quote Originally Posted by pau1knopp
malaire,

thanks for the clarification. seems reasonable...

can the kernel-source then be distributed for free once you purchase it?
Yes, the "to be distributed under the terms of Sections 1 and 2" portion of the section 3b seems to say just that - the source code you purchase can then be distributed just as any other GPL:ed source-code

Quote Originally Posted by pau1knopp
if this is appropriate, does anyone in the group have these availble via bittorrent or direct download?
I don't know of anyone who has made the full source available in Internet.