Morello FVP's memory map and list of devices?

Hello,

How do I get the exact supported devices on the Morello's FVP model, including their memory mapped addresses, interrupt IDs, etc? The TRM [1] doesn't seem to provide such info. Also, does the model support devices that exist on the IOFPGA (e.g., SP804 timers, UART, RTC, etc)?

[1] https://developer.arm.com/documentation/102225/0200/Reference-information?lang=en

Thanks,

Hesham