I have read the manual in section 9.2 about userImageFrames and how to
infer the virtual address range for the pages being used for the
userland image, which I frankly do not concretely understand. For
example, I can take the address of main() and that leads me to believe
my first user image frame (page frame actually I suspect) is probably at
0x40000, but it feels like guessing. (Not good!)
In addition, I like to know the address range used for the stack of the
initial thread, as well as any other reserved regions (I read somewhere
in the manual about reserved virtual address space for the kernel, but I
can't remember where I read that and now I can't find it.) Are there
any macros included in public header files that I can use in my project
to get the starting addresses for any of these regions? Barring that,
is there any straight-forward reliable way to find the starting address
for these regions (or in the case of kernel reserved virtual address
range is it documented anywhere?)
I am on version 12.0 of seL4 for my project.
Thank you!
-Ben
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
