MBR,
MILAZAJICEK: I o téhle variantě jsem uvažoval, ale nechávám si ji až jako záložní.
Zaprvé kvůli snadnějšímu ovládání (mám takovou ambici, aby to bylo ovladatelné i "nezasvěcenou osobou," tedy aby prostě otevřeli USB, jak jsou zvyklí, a nemuseli se zatěžovat s ovládáním Raspberry).
Druhý, mnohem důležitější důvod je, aby to fungovalo obousměrně, tedy aby mohl v televizi nahrávat a pak si to mohl posílat na síť - což přes HDMI nepůjde.
No, jinak z těch odkazů i z googlení jsem došel k závěru, že to (zatím) není možné. Existuje prý možnost, jak to udělat před GPIO konektor, ale tam je značně omezená přenosová rychlost, což může být u HD filmů trochu problém. No nic, budu hledat alternativní řešení, kdyžtak dám vědět.