I’m trying to understand the seL4 kernel source code. I think the memory mapping between
physical memory and virtual memory is a key point since it is directly related to how
kernel functions and manage badges. I noticed that the kernel turns on the paging very
early. Can someone help me or point out some resources how kernel memory is allocated?
Especially how during and after the booting what the kernel memory snapshot looks like and
things like that.
For example, I traced to map_kernel_window() function and even before that there is some
pptr to paddr conversion. I would really appreciate the help.