bonsoir,
j'ai vu que le raspberry a un bcm2835 et il semblerait qu'il soit devenu open source:
http://dangerousprototypes.com/2012/10/25/r-pi-arm-side-source-for-bcm2835-soc-graphics-driver-released/
et j'ai trouvé ceci
http://www.raspberrypi.org/wp-content/uploads/2012/02/BCM2835-ARM-Peripherals.pdf
je voudrais savoir ce que vous en pensez , car il y a des personnes qui disent que ce n'est pas open source