Re: GPU driver for Raspberry Pi open sourced

[Theo de Raadt]

> http://www.raspberrypi.org/archives/2221

Well, they are lying to everyone.

Their "open source" is nothing but a layer of code which calls into a
closed source back-end.