Creating a 64-Bit Kernel
Posted: Sat Feb 25, 2012 4:00 am
http://wiki.osdev.org/Creating_a_64-bit ... ual_Memory
I'm pretty sure those address's given are wrong, because linear address's are limited to 48 bits. I believe they should be:
0x0000 FFFF 7FFF FFFF -> 0x0000 FFFF FFFF FFFF
as thats the upper 2GB of memory. I'd correct it, but I'm not adventurous enough to actually confirm that's what Linux does.
I'm pretty sure those address's given are wrong, because linear address's are limited to 48 bits. I believe they should be:
0x0000 FFFF 7FFF FFFF -> 0x0000 FFFF FFFF FFFF
as thats the upper 2GB of memory. I'd correct it, but I'm not adventurous enough to actually confirm that's what Linux does.