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