All this discussion about the leaked image made me wondering about the licenses. Part of such an image is the kernel. The kernel comes under GPL. Any work derived from GPLd code has also to be put under GPL. The image is a derived work. So the entire image is under GPL. This in turn means that you can a) redistribute it as you want and b) request the source code of all components from the author. Obviously this is not the way nokia sees this. They have closed source components in the image and they don't allow redistribution. This is obviously a contradiction. So where in the above reasoning is the error?