Nel mondo ARM da ARMv4 a ARMv7 il supporto in virgola mobile è chiamato VFP e il supporto hardware per esso appare in Features riga di /proc/cpuinfo o nel VFP support messaggio di log stampato dal kernel durante l'avvio. (In ARMv8 è solo "FP".)
In /proc/cpuinfo su un Allwinner A20 questo dà:
Features : swp half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm
(vedi i vari vfp caratteristiche) e nel registro di avvio:
VFP support v0.3: implementor 41 architecture 2 part 30 variant 7 rev 4
Se VFP non è completamente supportato, il kernel eseguirà invece il log
VFP support v0.3: not present
o
VFP support v0.3: no double precision support
Quanto al fatto che il tuo interprete Python sia in grado di usarlo, sembra dipendere principalmente dall'architettura della tua distribuzione ARM Linux. Se ho capito bene, Debian di base armel non userà la FPU, Debian armhf (e Raspbian armhf ) volere; la vecchia Debian arm la variante utilizzava le istruzioni FPU, ma queste venivano emulate se l'hardware non le supportava. Su armel puoi installare kernel o librerie C con supporto FPU (sebbene nessuna di queste librerie C sembri essere disponibile negli archivi Debian).