Hi Andreas,
That's exactly what I would expect, yeah. You could probably just make a little AXI-Lite module for reading and writing the state. That could be instantiated off-chip on the chipset for ease of implementation (you can see how eth_top works in chipset_impl as an example).
The memory map is mostly coming from devices_ariane.xml and there's one of those files per environment (e.g. one for simulation, one for each FPGA board). You could allocate some space where the MSB of the 40 bit address is 1 (i.e. 0x8000000000 or higher). Given it will be small I think you can probably find some space near the ethernet module, which should be visible in devices_ariane.xml for genesys2.
A more advanced way would be to put the module on-chip on the edge of the mesh but that would require some more modifications. Happy to discuss if it becomes of interest.
Thanks,
Jon