My plan is to sell an embedded computer, running a Linux distribution. I downloaded the binaries and installed them on the embedded computer.
Do I need to distribute the sources of the complete Linux distribution? I am able to find build instructions for the kernel but I am not even sure how to obtain the sources of exactly the binary kernel, I am using. And when it comes to all the other binaries in the distribution, it would be really a lot of work to obtain all the sources in the correct version.
Would it be enough to provide links to the source repository?
I found A Practical Guide to GPL Compliance. This is a very useful guide, but it seems that the (re)distribution of a complete binary Linux distribution is not covered or it is completely inpracticable.