<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d"><br>
</div>They do run Linux, but the support for the hardware video chips is<br>
proprietary.<br>
<br>
My understanding is that that the TiVo situation was at least one of the<br>
factors leading to the new and improved GPL. TiVo apparently was<br>
adhering to the letter of the GPL, but not the spirit.<br>
</blockquote></div><br>They had additional hardware that ensured that no software can run unless it is signed by Tivo. So even though Tivo made the source available, if anybody customized anything it would no longer run on their hardware. See <a href="http://en.wikipedia.org/wiki/Tivoization">http://en.wikipedia.org/wiki/Tivoization</a>.<br>
</div>