Re: [Xen-devel] [XEN/ARM PATCH v6 1/1] Add OdroidXU board (Exynos 5410)

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Suriyan,

On 08/09/14 10:26, Suriyan Ramasami wrote:
> As can be seen, the secondary CPUs check _hotplug_addr for a non zero
> value on first being powered on, or after woken up from a wfe. This
> _hotplug_addr happens to be at offset +0x1c from NS_RAM_BASE.
> Linux mainline too has this hardcoded +0x1c.
You half read the Linux code... This offset is only add when there is a 
secure firmware (detected by "samsung,secure-firmware" node in the 
device tree).
On the Arndale the node doesn't exist.

Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel