docs/user_guides/tfm_user_guide.md currently has information on how to run under the Fast Model and on the MPS2 board. The example and test suite will also run using a sufficiently new version of QEMU, so we can add that too.
Requested by: Peter Maydell