Hola!
Hace poco pude probar un sistema operativo bastante ligero.
Dietpi de http://dietpi.com/
Para quien no la conozca, se trata de un distro basada en Debian y disponible no solo para la RPI sino también para Odroid, VMware y algunos otros. El enfoque que le han dado sus desarrolladores es minimalista pero eficiente y sin duda es una buena alternativa a otras distros para algunos dispositivos basados en la arquitectura ARM.
El en foro oficial encontraremos instrucciones de instalación para diferentes opciones y ayuda en la configuración de peri