Hi sel4 development team,
I understand from the sel4 kernel the paddr and pptr used in the kernel
framework to compute the page table entry. I found from ref manual
GICD_PADDR defined as (ARM_PERIPHBASE (0x50040000) + 0x1000) 0x50041000
for that GIC_DISTRIBUTOR_PPTR used as 0xffffffffffff3000. This details was
not able to see in the ref manual and other sel4 reference.
Can someone help to understand the pptr calculation w.r.t sel4?
Thanks in advance
Munees