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