I am working with the M55 core and more specifically on the System Counter & System Timer.
I found the documentation at -
Is there an available html/xml depicting the register map in a clean & concise way for these registers?
Thank you in advance to any helpers
Register and ISA XML is available from this page:
There are links to a HTML rendering and a downloadable archive with the XML. The System Counter and System Timer registers are under "External Registers"
Link to the HTML area - Timer