On Wed, Jul 19, 2017 at 05:01:22PM +0100, Mark Rutland wrote: > +3. The hwcaps exposed in AT_HWCAP > +--------------------------------- > + > +HWCAP_FP > + > + Functionality implied by ID_AA64PFR0_EL1.FP == 0b0000. Aren't these too restrictive? Linux would still present HWCAP_FP even when ID_AA64PFR0_EL1.FP == 1. I think we should replace the strict equal with greater than or equal, also mentioning that the field is signed (or refer to the cpuid where the sign of the fields is described). -- Catalin