This page covers hardware made by ARM itself, not hardware from many other manufacturers using the ARM architecture.

Currently that covers the 64-bit [[http://www.arm.com/products/tools/development-boards/versatile-express/juno-arm-development-platform.php|Juno development board]]

Somone could also document the 'fast model' hardware simulator that is available.

[[InstallingDebianOn/ARM/Juno]]