> On 7 Nov 2024, at 15:38, Indan Zupancic <in...@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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
