Ruslan Bukin 14232d424d 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
2016-02-26 14:04:00 +00:00
..
2016-02-04 14:30:46 +00:00
2016-02-22 14:13:05 +00:00
2016-02-18 15:28:57 +00:00