Então, o RPi tem suporte para float rígido?
Sim, especificamente (no Pi original) VFPv2.
Em caso afirmativo, é mais rápido esse flutuador suave?
sim
Existem alguns artigos dizendo que é melhor usar algoritmos de flutuação suave em dispositivos ARM, porque muito poucos chips ARM possuem coprocessadores de flutuação rígida.
Em 2007, o ponto flutuante no braço era uma bagunça, muitos chips não tinham uma FPU. Aqueles que tiveram frequentemente um de vários diferentes e incompatíveis. O pior braço do Debian (uma das principais distribuições de braço do linux na época) foi criado por razões históricas para uma FPU chamada FPA, que poucos chips possuíam e usavam principalmente a emulação de kernel para ponto flutuante (o ponto flutuante do software é lento, o ponto flutuante emulado pelo kernel é mais lento). Acho que a situação em outras distros foi semelhante, mas não sou positivo nisso.
Dada a confusão no momento em que foi tomada uma decisão, a melhor opção era fazer uma porta EABI usando a versão de linha de base (flutuação suave) do EABI. Essa ABI foi projetada de forma que o código possa usar a ABI da linha de base enquanto, opcionalmente, a FPU. A idéia na época era que o núcleo da distribuição fosse construído usando o ponto flutuante do software e, em seguida, o código específico que pesava o ponto flutuante poderia ser construído com o ponto flutuante do hardware, mas ainda usando a ABI da linha de base (flutuação suave). Essa porta era conhecida no mundo Debian como "armel".
No entanto, o bit "pacotes específicos criados usando o ponto flutuante de hardware" não funcionou. Na prática, poucos pacotes se preocuparam em fazer isso e também houve a sobrecarga de valores aleatórios entre os registros de ponto inteiro e ponto flutuante.
Avanço rápido de 2011 e a situação havia mudado consideravelmente. Arm estava pressionando agressivamente o VFP e a grande maioria dos "processadores de aplicativos" (o tipo de coisa que você encontra nos telefones móveis e similares) o adotou. Várias grandes distribuições Linux (pelo menos Debian, Ubuntu e Fedora inicialmente, mais tarde) optaram por portas usando ponto flutuante de hardware e ABI de flutuador rígido. Infelizmente para o Pi, essas distros (que estavam chegando à conclusão na época em que o Pi foi lançado) geralmente definem seus requisitos mínimos de hardware como ARMv7 com VFPv3_d16, para que não funcionassem no Pi.
Então, os fãs do Pi começaram a trabalhar em variantes de distribuição específicas do pi, que usavam o ponto flutuante de hardware e a ABI do hard float, mas foram construídas com configurações do compilador que seriam executadas no pi.