Für den Pi ist endlich das speziell angepasste Debian erschienen, dass die eingebaute FPU unterstützt und bessere Hardwareunterstützung hat.
http://futurezone.at/produkte/10196-...spberry-pi.php

Und ich hab mir schon ne fertige SD mit dem alten Debian bestellt ^^