[seL4] Re: Virtual address ranges used in seL4 initial thread after boot?

2024-09-05 Thread Indan Zupancic
Hello Ben, On 2024-09-05 01:12, Ben McCart wrote: 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()

[seL4] Re: Virtual address ranges used in seL4 initial thread after boot?

2024-09-05 Thread Ben McCart
On 9/4/2024 6:12 PM, Ben McCart wrote: 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 l