On 3 December 2012 20:23, Jon Medhurst (Tixy) <tixy@xxxxxxxxxx> 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@xxxxxxxxxx> Reviewed-by: Peter Maydell <peter.maydell@xxxxxxxxxx> I've applied this patch and the arch-timers fix to the linaro boot-wrapper git repo. -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm