Dans le monde ARM, d'ARMv4 à ARMv7, la prise en charge de la virgule flottante est appelée VFP, et sa prise en charge matérielle apparaît dans le Features
ligne de /proc/cpuinfo
ou dans le VFP support
message de journal imprimé par le noyau lors du démarrage. (Dans ARMv8, c'est juste "FP".)
En /proc/cpuinfo
sur un Allwinner A20 cela donne :
Features : swp half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm
(voir les différents vfp
fonctionnalités) et dans le journal de démarrage :
VFP support v0.3: implementor 41 architecture 2 part 30 variant 7 rev 4
Si VFP n'est pas entièrement pris en charge, le noyau se connectera à la place
VFP support v0.3: not present
ou
VFP support v0.3: no double precision support
Quant à savoir si votre interpréteur Python est capable de l'utiliser, cela semble dépendre principalement de l'architecture de votre distribution ARM Linux. Si j'ai bien compris, Debian de base armel
n'utilisera pas le FPU, Debian armhf
(et Raspbian armhf
) sera; l'ancienne Debian arm
la variante utilisait des instructions FPU, mais celles-ci étaient émulées si le matériel ne les prenait pas en charge. Le armel
vous pouvez installer des noyaux ou des bibliothèques C avec le support FPU (bien qu'aucune bibliothèque C de ce type ne semble être disponible dans les archives Debian).