Re: [PATCH v2] bootwrapper: Enable non-secure access to the CCI

2012-12-04 Thread Jon Medhurst (Tixy)
On Tue, 2012-12-04 at 16:18 +, Peter Maydell wrote: > On 3 December 2012 20:23, Jon Medhurst (Tixy) 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 hotpl

Re: [PATCH v2] bootwrapper: Enable non-secure access to the CCI

2012-12-04 Thread Peter Maydell
On 3 December 2012 20:23, Jon Medhurst (Tixy) 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 Rev

[PATCH v2] bootwrapper: Enable non-secure access to the CCI

2012-12-03 Thread Jon Medhurst (Tixy)
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 --- Changes since V1: - Add a DSB instructions semi_loader.c |