[Barrelfish-users] boot page table init on x86-64

"Siyao Zheng(郑思遥)" zhengsyao at gmail.com
Fri Apr 15 13:28:06 CEST 2011


In kernel/arch/x86_64/init.c, paging_x86_64_reset() is called in text_init(). paging_x86_64_reset() just maps first megabytes and kernel to MEMORY_OFFSET, however, since those two regions are guaranteed to be included in [0, X86_64_PADDR_SPACE_LIMIT), which is the maximum physical address space, why not just map [0, X86_64_PADDR_SPACE_LIMIT) in paging_x86_64_reset() but instead map those regions first in paging_x86_64_reset() then map the whole physical memory in text_init()?



More information about the Barrelfish-users mailing list