Andrew Turner 9e4ed33024 Use abp_physaddr for the physical address over KERNPHYSADDR. This helps us ... remove the need to load the kernel at a fixed address.		2014-02-06 20:35:33 +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	Use abp_physaddr for the physical address over KERNPHYSADDR. This helps us	2014-02-06 20:35:33 +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
std.xscale-be