Comment Re:Stallman whining again (Score 1) 589
You can potentially use any tool chain to build Linux, but can you redistribute it?
Forget the tool-chain for a moment. The real benefit is the GPL. It protected the kernel and toolchain so that improvements are shared in a developer community.