Olá Daniel, Então, tambem utilizo a Raspbian na RPi.
Mas já tentou compilar o kernel dela usando como host teu próprio Debian? Pois é este o ponto em que quero chegar. Preparar o ambiente do desenvolvedor. A propósito, quando você rodou o Debian, usou hard float? Como foi o desempenho? Abs. Dyego
