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.

That means that if user space has mappings at 0, the kernel will have it too. I don't think there is a way to make user space mappings invalid for kernel accesses.

Any sane user space won't have a zero mapping, but the init task may be an exception. I also don't know if the kernel disallows user space mappings at 0.

Greetings,

Indan
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to