HomeFreeBSD

o Use uint64_t for page number as it doesn't fit uint32_t.

Description

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

Details

Provenance
brAuthored on
Parents
rS296093: Add the start of support for the Allwinner A31 clocks. It only adds
Branches
Unknown
Tags
Unknown