K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-01-28T09:12:04.873024Z
K 7
svn:log
V 222
Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with
memory at the end of the kernel.

This helps reduce the SoC and board specific configuration required.

Reviewed by:	bsdimp
Tested by:	jmg (armeb), br

END