On Tue, 2012-12-04 at 16:18 +0000, Peter Maydell wrote:
On 3 December 2012 20:23, Jon Medhurst (Tixy) tixy@linaro.org wrote:
We boot the kernel in non-secure mode and by default access to the CCI device is not enabled for non-secure access, so we must enable this if we want Linux to manage CPU hotplug on big.LITTLE models.
Signed-off-by: Jon Medhurst tixy@linaro.org
Reviewed-by: Peter Maydell peter.maydell@linaro.org
I've applied this patch and the arch-timers fix to the linaro boot-wrapper git repo.
Thanks