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
..
db88f5xxx.c
files.db88f5xxx
files.ts7800
orion.c
std.db88f5xxx
std.ts7800