andrew c51bf58e25 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

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