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.

InstallingDebianOn/ARM/Juno