Morello: is there an extra timer on the board?


Other than the Arm's generic timer, I am wondering if there's an extra timer on the board that could be used (e.g., sp804)? The TRM and DTS (from Linux and TF-A) don't seem to have any. The TRM does mention the SP810_CTRL register used to select the source clock for the SP804 timers in the IOFPGA, but I couldn't find the memory mappings of these timers in the TRM or the DTS.