Eu comprei um novo, raspberry pi modelo B (versão 512, meu primeiro era o modelo B com 256)
Com isso eu consegui conectar o receptor nele direto na usb.
Eu acho que eu formatei o sd pra testar nele, mas aparentemente, tudo funcionou de primeira (não compilei nada), ou seja, conectei o receptor, ativei o tvheadend, abri o painel de controle dele, selecionei o receptor, coloquei a lista de frequências brasileiras.
Com isso ele conseguiu detectar o único canal
decente HD que tem aqui (Globo)
Fui no XBMC ativei o addon de LiveTV/PVR pra tvheadend, e lá estava o canal.
Quando eu abria canal (dava play) o vídeo era completamente travado (alguns segundos rodava de boa), depois começava pixelar e som ficar fora de sincronia. Acho que mexendo no buffer até tem como resolver isso, mas não mexi muito mais. (O sinal que mostrava era aparentemente fraco, mas conectando no mesmo cabo, só no windows o sinal é suficiente, talvez eu precise usar o hub com alimentação)
Mas então, ainda estou sem tempo pra fazer o tutorial...
Na verdade, estou utilizando o pi para outras coisas... Então não sei se vai rolar um tutorial.
Eu acredito que nas versões mais novas do kernel/tvheadend do linux aquele problema de 'DVBv3 call to delivery system 0' foi arrumado.
Então tentem somente conectar o receptor, ativar o tvheadend e acessar
http://ip:9981
