Soooo neue Erkenntnisse. Es war die Popcorn Box. (www.popcorn-hour.de)
Allerdings benutzt er noch was anderes. Nämlich einen DVB-T Empfänger an seinem Computer, der beliebig viele Sendungen live auf der Box speichert und er sie anscheinend auch streamen kann. Trotzdem habe ich gerade das gefunden was ich gesucht habe.
http://www.archos.com/products/gen_5...try=de&lang=de

Vielen Dank an alle. Das mit dem Linux Mediacenter ziehe ich aber auch noch weiter in Betracht!