pub const KERNEL_BASE: VAddr;
Expand description
The kernel starts at -1GiB. The kernel image is loaded directly at this address, and the following space until the top of memory is managed dynamically and contains the boot info structures, memory map, and kernel heap.