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
..
pandaboard	Remove all #include <machine/pmap.h> from arm code. It's already	2013-10-27 00:51:46 +00:00
files.omap4
omap4_l2cache.c	PL310 driver update:	2012-12-31 21:19:44 +00:00
omap4_mp.c
omap4_prcm_clks.c	Remove #include <machine/frame.h> from all the arm code that doesn't	2013-10-27 01:34:10 +00:00
omap4_reg.h
omap4_scm_padconf.c	Remove #include <machine/frame.h> from all the arm code that doesn't	2013-10-27 01:34:10 +00:00
omap4_smc.h	PL310 driver update:	2012-12-31 21:19:44 +00:00
omap4var.h
std.omap4	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00