where I can find the device map?

[chaoyangnz]

I tried to understand the mmio of existing devices implemented in emulator, like uart, timer etc, so that I can extend some more.

I am wondering the mmio address is defined by rv8 or following some specification. for me, it is like a magic.

More documentation is required, especially could be better to be friendly for a beginner. One important motivation I left Spike is Spike is really not newbie friendly, lack of documentation.

I hope the community or at least me can contribute to it.

Please help.