o Use uint64_t for page number as it doesn't fit uint32_t.
o Implement growkernel bits for L1 level of pagetables.
This allows us to boot with 128GB of physical memory.
Sponsored by: DARPA, AFRL
Sponsored by: HEIF5
o Use uint64_t for page number as it doesn't fit uint32_t. Tags None Referenced Files None Subscribers None
Description
Details
|