dmesg -aka- /var/log/boot.msg

The #v4l readme for my card suggested I look in dmesg. Which happens to be /var/log/boot.msg - and there's some useful stuff here:

<6>ACPI: PCI Interrupt 0000:03:02.0[A] -> GSI 18 (level, low) -> IRQ 50
<6>CORE cx88[0]: subsystem: 0070:9002, board: Hauppauge Nova-T DVB-T [card=18,a$
<6>TV tuner 4 at 0x1fe, Radio tuner -1 at 0x1fe
<7>i2c-algo-bit.o: (0) scl=1, sda=1
<7>i2c-algo-bit.o: (1) scl=1, sda=0
<7>i2c-algo-bit.o: (2) scl=1, sda=1
<7>i2c-algo-bit.o: (3) scl=0, sda=1
<7>i2c-algo-bit.o: (4) scl=1, sda=1
<6>i2c-algo-bit.o: cx88[0] passed test.
<6>tveeprom 1-0050: Hauppauge model 90003, rev C2B0, serial# 2264618
<6>tveeprom 1-0050: MAC address is 00-0D-FE-22-8E-2A
<6>tveeprom 1-0050: tuner model is Thompson DTT75105 (idx 110, type 4)
<6>tveeprom 1-0050: TV standards ATSC/DVB Digital (eeprom 0x80)
<6>tveeprom 1-0050: audio processor is None (idx 0)
<6>tveeprom 1-0050: decoder processor is CX882 (idx 25)
<6>tveeprom 1-0050: has no radio, has IR remote
<6>cx88[0]: hauppauge eeprom: model=90003
<6>input: cx88 IR (Hauppauge Nova-T DVB-T as /class/input/input1
<6>cx88[0]/0: found at 0000:03:02.0, rev: 5, irq: 50, latency: 64, mmio: 0xec00$
<6>cx88[0]/0: registered device video0 [v4l2]
<6>cx88[0]/0: registered device vbi0