[seL4] Re: Potential vulnerabilities

On 7 Nov 2024, at 15:38, Indan Zupancic 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