I recall Yellow Dog, probably because of the PS3.

The big thing most people from outside the Acorn era of Arm are missing here is the Risc PC never had decent floating point support. For pure integer stuff the StrongArm upgrade was, at lauch, simply astounding, but floats . . . nope. (The StrongArm upgrade merely needed to be in the slot near the vents too, it had no active cooling or even a serious heatsink).

Oddly the later lower end A7000 came in a A7000+ variant which did have an FPU, probably because Arm needed to test their FPU out somewhere.