I'm browsing Farnell and Digikey for a devboard with an ARM9 processor, 128MB of RAM, hardware floating point support and Linux support.
All of the features are relatively easy to filter, apart from the hard float support.
I've searched through a lot of datasheets manually, but there is not a single instance where floating point support is mentioned, either as software emulated or provided by hardware.
How would I go about searching for such a board?