Cara..
é o seguinte.. eu procurei um pouco.. tb nao achei mto..
mas tem esse topico aqui no forum mesmo ( http://www.guiadocftv.com.br/modules/newbb/viewtopic.php?topic_id=95&forum=2&post_id=1434 ) em que eles falam sobre alguns sistemas e placas para linux.. falam que em linux voce pode usar placas “genericas” (ex. pico2k)..
manda msg pro mpperes ou pro menck que eles manjam do assunto.. =)
de qquer forma, espero ter ajudado!!