Andrew Turner 979d76c948 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
2014-01-28 09:12:04 +00:00
..
2012-07-28 21:56:24 +00:00
2013-10-26 17:29:50 +00:00
2013-10-19 06:47:02 +00:00