In fact, linuxtv.org is probably the more suitable place to look - here's a reasonable
starting point:
http://linuxtv.org/wiki/index.php/Hardware_Device_Information
I have a couple of TBS PCIe cards (one sat, one terrestrial) and whilst their
drivers are good and frequently updated, they haven't used any sort of DKMS-style
auto-build when you update your kernel. This means, yep, you have to rebuild the
drivers every single time you update your kernel. It doesn't help that they have
some binary blobs in there too - see http://www.tbsdtv.com/download/
Once the drivers are in place though, tvheadend has no trouble picking them up, but
it seems to use the chip set name in its list without any numbers or letters to identify
multiple tuners on one card (so I edit the names to something like "Satellite tuner A"
(though to D for my quad tuner sat card) and also there is no way in tvheadend to delete
the config for one or more tuners on the device and have it rescan/relist
the tuners from scratch again :-(