K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2016-08-30T23:30:26.768827Z
K 7
svn:log
V 294
Some old arm ports don't load the kernel at the beginning of the memory,
because the bootloader, ie redboot, won't let them do so, and so used the
memory before the kernel for early memory allocation, such as pagetables,
stacks, etc...
Make a bit of an effort to try to get that memory mapped.

END