This page covers hardware made by ARM itself, not hardware from many other manufacturers using the ARM architecture.
Currently that covers the 64-bit Juno development board
Somone could also document the 'fast model' hardware simulator that is available.