This file is used by debuggers. I think it's compiled from several different sources, for example it's also missing a few exotic ARM CoreSight registers, but you can easily edit/add them, maybe rise a ticket to RPi (I guess in SDK).
Statistics: Posted by gmx — Wed May 14, 2025 8:03 pm