Comment savoir si j'utilise la version à flotte fixe ou à version souple de Debian / Raspbian?

Supposons que je sois déposé dans une pièce avec un Raspberry Pi sous Debian ou Raspbian. Comment savoir s'il a un support de flotteur dur ou s'il utilise simplement un flottant doux?

Vérifiez l'existence du répertoire:

/lib/arm-linux-gnueabihf

les versions soft-float n'ont pas ce répertoire, elles ont:

/lib/arm-linux-gnueabi

à la place, ou vous pouvez lister les paquets installés en utilisant:

dpkg -l

et voir la plate-forme dans la troisième colonne (all / armhf / armel)

La réponse acceptée est correcte, mais une méthode très simple consiste à:

dpkg --print-architecture

Si votre système utilise une architecture hard float, vous verrez alors:

armhf

ARM H ard F loat. :-)

Émettez la commande:

readelf -A $(which dpkg)

Sur un système hard-float (hf), vous verrez ceci comme une partie de la sortie:

Tag_ABI_VFP_args: VFP registers

Voir http://www.cnx-software.com/2013/04/22/how-to-detect-if-an-arm-elf-binary-is-hard-float-armhf-or-soft-float-armel /