Raspberry Pi + Debian = Raspbian
Ein ARM-Port der Linux-Distribution Debian ist nun das vom Hersteller empfohlene Betriebssystem für den Einplatinen-Computer Raspberry Pi.
Es handelt sich um einen inoffiziellen Port der Debian-Release Wheezy auf die Architektur ARMv6. Dabei kommt das Hard-Float-ABI (HF) zum Einsatz, das das Rechnen mit Fließkommazahlen an die Hardware-FPU übergibt und damit die Performance steigert. Das drückt sich laut Raspberry-Pi-Blog unter anderem in einem schnelleren Webbrowser aus. Daneben gibt es Benchmark-Ergebnisse für die Architekturen "armel" und "armhf" auf dem Raspberry.
Auf den Raspberry-Seiten steht das empfohlene Raspbian-Image für das Gerät zum Download bereit. Raspbian verwendet die Desktopumgebung LXDE und den Webbrowser Midori. Die Dokumentation auf der Raspbian-Homepage gibt daneben Tipps für den Einsatz von Mate (Gnome 2) und ein Mediacenter mit XBMC.





