Yep... TiVo runs Linux!

In compliance with the GPL, we are pleased to provide our modifications to the Linux PowerPC Kernel, as well as a few new commands, and some tools to get you into the code.

1.3 Source

Readme
README [ http://www.tivo.com/linux/README ]

Kernel Modifications
kernels.tar.gz [ http://www.tivo.com/linux/kernels.tar.gz ]
kernels.tar.bz2 [ http://www.tivo.com/linux/kernels.tar.bz2 ]

Commands
commands.tar.gz [ http://www.tivo.com/linux/commands.tar.gz ]
commands.tar.bz2 [ http://www.tivo.com/linux/commands.tar.bz2 ]

Tool Chain
toolchain.tar.gz [ http://www.tivo.com/linux/toolchain.tar.gz ]
toolchain.tar.bz2 [ http://www.tivo.com/linux/toolchain.tar.bz2 ]

2.0 Source

Kernel Modifications
kernels.tar.gz [ http://www.tivo.com/linux/linux-2.1-for-TiVo-2.0.tar.gz ]

Commands
commands.tar.gz [ http://www.tivo.com/linux/commands-for-TiVo-2.0.tar.gz ]

Copyright 2001