Pues bien luego de leer algunos foros para la configuración de una tarjeta de TV PCI Terminator de Kworld que funciona con el módulo saa7134 incorporado en el Debian Etch (stable), configuré la mia para usarla con el tvtime:
Antes que nada, consultamos el sistema para caracteristicas del dispositivo PCI,
debianDLAM:~$ lspci |grep SAA
00:07.0 Multimedia controller: Philips Semiconductors SAA7133/SAA7135 Video Broadcast Decoder (rev d0)
Algunos datos adicionales de los módulos que carga el sistema para este dispositivo,
debianDLAM:~$ lsmod |grep saa7134
saa7134 107936 1
video_buf 23428 1 saa7134
compat_ioctl32 1792 1 saa7134
ir_kbd_i2c 8976 1 saa7134
i2c_core 20096 7 nvidiafb,i2c_algo_bit,tuner,nvidia,i2c_viapro,saa7134,ir_kbd_i2c
ir_common 28164 2 saa7134,ir_kbd_i2c
videodev 21440 2 saa7134
v4l1_compat 12356 2 saa7134,videodev
v4l2_common 20736 3 tuner,saa7134,videodev
Ahora si, para la carga manual de esta tarjeta simplemente se cambian los parámetros del módulo, removiéndolo previamente:
debianDLAM:/home/david# rmmod saa7134
debianDLAM:/home/david# modprobe saa7134 card=65 tuner=54
Como imagino, estar reconfigurando este módulo cada resulta incomodo, entonces cargamos el módulo al arranque del sistema con las opciones correctas, para esto, editamos (o creamos) el archivo /etc/modprobe.conf con las siguientes líneas:
alias char-major-81 videodev
alias char-major-81-0 saa7134
options saa7134 card=65 tuner=54 alsa=0
Reiniciamos y listo, configurada la TV con una Terminator de Kworld con chip Phillips.
No tuve que agregar el módulo saa7134 en /etc/modules pues este ya arranca por defecto desde que es instalado el Debian, simplemente lo que hay que hacer es cambiarle estos parámetros para identificar la tarjeta correctamente.