No, TiVo does run linux, see:

http://www.tivo.com/linux/index.html

ReplyTV runs some posix-style RTOS, possibly a pSoS variant (but I think it's something else from a smaller company at the moment).

Hugo