Hello Williams, On 2022-06-09 17:10, WILLIAMS Stephen via Devel wrote:
Any suggestions as to the possible cause of the page fault or hints on how to progress with debugging this issue would be greatly appreciated.
Although we don't use camkes' VMM, we had to change our VMM for recent Linux kernel changes, perhaps you're running into the same issue: - Do not fault on reserved GIC register accesses, but return 0 instead. Newer Linux will check for GICv4 support. - Honour Linux's text_offset instead of hard-coding 0x80000. Newer Linux uses 0x0 instead of 0x80000. But the above only applies if the fault address is within the GIC device or if Linux crashes immediately, and both are independent from GICv3 itself. "read prefetch fault @ PC: 0x200 IPA: 0x200" seems to indicate that Linux is trying to execute code from address 0x200, which is probably not what you want. Greetings, Indan