From some book I have, I have in my notes that the Linux kernel resides at
0xc00000000 on 32-bit systems, and is mapped into user space for performance reasons.
Is this accurate ? How can I verify this ?
Also, where does the kernel reside on 64-bit systems? Is it still at
0xc00000000, or somewhere else ?