I'm new to embedded Linux (in fact, to any Linux), but I am considering to use some specific commercial boards with "embedded Linux" in it. I'm told that the Linux distro is based on Linux 2.6, and that they provide us with the binaries already programmed in the Flash, as well as the cross-compiler, etc.
We will probably add some hardware to that already present in the commercial boards, so perhaps we will need to change the kernel, or add some drivers, or whatever.
In any case, I thought that, as the distro they sell us is based on GPL software, they should at least provide us with the source and configuration files needed to rebuild the kernel. Are they obliged to do that, or am I wrong?