Next step was to get the TBS card working. First problem: it wasn’t recognised; there was nothing under lspci at all. You should see this:
05:00.0 Multimedia controller: Philips Semiconductors SAA7160 (rev 03)
Taking the card out and re-seating it fixed that issue. Phew!
I then followed these instruction to download and compile the drivers:
They compiled OK, but after the make install and a reboot there were no devices in /dev/dvb.
I was getting the following error in /var/log/kern.log
[ 1.666293] saa716x_tbs_dvb: disagrees about version of symbol stv090x_attach
After a bit of Googling, the consensus seemed to be that it was an error with compiling against the wrong kernel headers and that deleting the following modules should sort it out:
rm /lib/modules/$(uname -r)/kernel/drivers/media
There were some old kernel headers installed, so I removed that package leaving only the correct headers. Still, it didn’t seem quite right to me. There are a lot of other modules under there and, also, why did recompiling against the correct headers and re-installing not overwrite the old modules? In the end, despite my concerns, I went ahead and deleted the module directory and recompiled and it all burst into life. Oh well, as long as it works I’m happy.
Niel C has kindly commented below with a method of identifying the offending module, so the following should be enough:
(Note that I haven’t tested it myself yet)