[U-Boot] [PATCH v2 00/13] ARMv7: add PSCI support to u-boot

[Ian Campbell]

On Sat, 2013-12-07 at 11:19 +0000, Marc Zyngier wrote:
> The kernel now boots in HYP mode, finds its secondary CPU without any
> SMP code present in the kernel, and runs KVM out of the box.
> Hopefully, the Xen/ARM guys can do the same fairly easily. 

Indeed, I booted with this series on a cb2 and Xen SMP Just Worked.

Thanks!

Ian.