1. 2d31770 arm_fpga: Add platform documentation by Andre Przywara · Thu Aug 27 12:13:30 2020 +0100
  2. bec5afd plat/arm: Introduce TC0 platform by Usama Arif · Fri Apr 17 16:13:39 2020 +0100
  3. d2fcc4e doc: Split the User Guide into multiple files by Paul Beesley · Wed May 29 13:59:40 2019 +0100