Efraim Flashner <[email protected]> skribis: > What processor flags specifically are we looking for?
The details are given in guix.m4: # TODO: If not cross-compiling, add a sanity check to make # sure this build machine has the needed features to # support executables compiled using our armhf gcc, # configured with: # --with-arch=armv7-a # --with-float=hard # --with-mode=thumb # --with-fpu=vfpv3-d16 > From my Raspberry Pi 1: > ssh mypi cat /proc/cpuinfo | grep -m1 Features > Features : half thumb fastmult vfp edsp java tls Sounds like this could work, though we need to check the exact flag names for the features mentioned above. On the Novena, we have: model name : ARMv7 Processor rev 10 (v7l) BogoMIPS : 166.00 Features : half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpd32 Looks like checking for thumb, vfpv3, and (vpfd32|vfpd16) would do? There doesn’t seem to be a more streamlined /sys interface to get these flags, which is unfortunate. Ludo’.
