Hellow all,
I have been working through the tutorials and doing some experimenting
and ran into behavior that very much surprised me. I can
seL4_X86_PageTable_Map & seL4_X86_Page_Map to virtual addresses starting
at the 96 MB address (0x06000000) with no errors. However, as soon as I
try to seL4_X86_PageDirectory_Map that same virtual address I get the
error seL4_DeleteFirst.
I didn't think the kernel mapped anything for the root address above 64
MB virtual address range for the root address in these tutorials. If it
did I would have expected an error for seL4_X86_PageTable_Map &
seL4_X86_Page_Map.
What is going on? What am I missing? How can I avoid expecting to map
a virtual address in a range already mapped by the kernel for the root
process on a given architecture?
- Ben McCart
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
