8 Nov
2024
8 Nov
'24
6:29 p.m.
On 7 Nov 2024, at 15:38, Indan Zupancic <indan@nul.nu> wrote:
Hi Gerwin,
On 2024-11-07 14:00, Gerwin Klein wrote:
For VCPU+SMP, I don’t think address 0 is mapped in any relevant config
I think the kernel shares the page tables with user space and maps its kernel memory window in every address space, it doesn't do a full address space switch on each entry.
On Arm, when seL4 runs in EL2, it has its own separate page tables. Cheers, Gerwin