[vdr] mixing cards - 1 DVB-S & 1 DVB-T

Hello, I have a HAUPPAUGE NOVA-S budget card, as well as a DVICO FUSION GOLD 3 ATSC card.

I have just finished installing VDR, and now I need to make my channels.conffile.

How can I tell VDR which DVB card to use for which channel?

DVB-S = DVB 0 DVB-T = DVB 1

I know this is something simple I'm forgetting, so please forgive my ignorance on this subject.

$ dmesg|grep DVB DVB: registering new adapter (TT-Budget/WinTV-NOVA-CI PCI). DVB: registering frontend 0 (ST STV0299 DVB-S)... DVB: registering new adapter (cx88[0]). DVB: registering frontend 1 (LG Electronics LGDT3302 VSB/QAM Frontend)...