jaromil writes: "TorTV is an early effort to embed Tor in household computing: run it on your TV at home. So far only WDTV installed with the homebrew WDLXTV firmware is supported. What other platforms do you think are viable for it?" Link to Original Source
One can't proceed from the informal to the formal by formal means.