On Wed, Feb 26, 2014 at 11:40:29PM +0200, Andrei POPESCU wrote: > Regarding the Raspberry Pi this might be interesting to read > https://wiki.debian.org/RaspberryPi As might be this: http://www.raspberrypi.org/archives/6299 which could be big if it actually plays out. - Florian.