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
..
i8134x	Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this	2013-11-30 22:17:27 +00:00
i80321	Call cpu_setup() from the initarm() routine on platforms that don't use	2013-11-21 01:08:10 +00:00
ixp425	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00
pxa	Call cpu_setup() from the initarm() routine on platforms that don't use	2013-11-21 01:08:10 +00:00
std.xscale	Set machine correctly on ARM. This allows universe to use the correct world	2012-08-18 05:48:19 +00:00
std.xscale-be	Set machine correctly on ARM. This allows universe to use the correct world	2012-08-18 05:48:19 +00:00