Cool about the kernel sources.

BUT, the other stuff (cp, mount, bash, etc.) must still be made available by Empeg, even if it is "just the normal ARM linux versions".

I'm not trying to be a prick here, but if Stallman got a bug up his ass about bash being distributed in binary format by Empeg without Empeg making the source code available themselves, there'd be trouble for Empeg, which is a bad thing, since I like their stuff and they should spend money on development, not defending themselves against the FSF. :)