media-plugins/
vdr-dvbhddevice

VDR Plugin: output device for the 'Full Featured' TechnoTrend S2-6400 DVB Card

https://bitbucket.org/powARman/dvbhddevice