TiVo, and anyone who modifies GPL source code is required to supply the code for free.
However, this has nothing to do with their software/gui that runs on Linux. If someone releases source code under the GPL, subsequent changes that 3rd parties make must release their source. If someone...