[DaveNinja]

try the latest build from the tvheadend "unstable" category. it will be version 3.9.something. It gets the channel numbers. Also make sure you're using the dvbhdhomerun drivers if you're on linux.

I got it working using XBMCbuntu 12.1 and a HDhomerun hooked to my HD roof antenna