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?
software-compilation
ArchHaskeller
fonte
fonte
Respostas:
Esse tópico indica claramente que alguém conseguiu fazê-lo funcionar. Um download está anexado (v1.6) à versão de trabalho dos caras.
Esse encadeamento também indica que funciona, inclusive com v1.7 e suporte limitado a EGL.
Para resumir uma longa história, parece que as peças para fazer isso acontecer estão flutuando por aí, mas não as vejo em um só lugar ou depuradas até o ponto em que existem pacotes de instalação que funcionariam em qualquer das principais distros do RPI.
fonte