O site afirma que foram feitos progressos "usando o Raspberry PI ou outro hardware da Broadcom" .
Eu olhei para o suporte gráfico deles e o BCM2835 não estava lá. Se ele foi portado, quais são as bibliotecas e ferramentas necessárias para compilá-lo para o Raspberry Pi?