andrew ea49382feb 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
..
discovery.c
files.db78xxx
std.db78xxx	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00