Re: [EDUC] Distributions sur RasberryPi (was: Ordinateur Piqo One : libre et beau)

[Vincent Danjean <vdanjean.ml AT free.fr>]

Le 03/02/2016 20:57, Joyce MARKOLL a écrit :
> Marcel, avec tes infos j'ai trouvé ceci:

Voici quelques autres infos.

De mémoire, le raspberryPi n'a pas un ARM avec assez de fonctionnalités
pour faire tourner une distribution *binaire* Debian (je conseille
d'ailleurs aux particuliers intéressés de s'orienter vers un beagleboard
black ou plus récent qui, tout en étant un tout petit peu plus cher que
le raspberryPi, permet cependant de faire tourner les distributions ARM
binaires classiques)
  Cela dit, en théorie, on devrait pouvoir reprendre une distribution
source et la recompiler vers une ABI ARM compatible avec le raspberryPi.
En pratique, c'est beaucoup de boulot et compliqué.
  Pour Debian, il y a le projet Raspbian qui fait justement cela.

En anglais, les pages suivantes peuvent être utiles :
- les differents ports ARM Debian (officiels et extérieurs) :
  https://wiki.debian.org/ArmPorts
- le minimum à avoir dans un processeur ARM pour faire tourner la
  distribution binaire ARM actuelle :
  https://wiki.debian.org/ArmHardFloatPort#Minimum_CPU_.26_FPU
- la FAQ du projet Raspbian :
  https://www.raspbian.org/RaspbianFAQ

  Cordialement,
    Vincent