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
..
db88f5xxx.c	Remove all #include <machine/pmap.h> from arm code. It's already	2013-10-27 00:51:46 +00:00
files.db88f5xxx
files.ts7800
orion.c
std.db88f5xxx	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00
std.ts7800	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00