K 10
svn:author
V 2
br
K 8
svn:date
V 27
2016-02-26T14:04:00.574105Z
K 7
svn:log
V 217
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

END