[RFC PATCH 4/8] ARM: exynos4: convert logical CPU numbers to physical numbers

[Will Deacon]

On Wed, Aug 10, 2011 at 02:07:46AM +0100, Kyungmin Park wrote:
> Tested-by: Kyungmin Park <kyungmin.park at samsung.com>
> Acked-by: Kyungmin Park <kyungmin.park at samsung.com>

Cheers for that. Did you have a go at booting on a CPU other than physical
CPU 0?

Thanks,

Will