[RFC PATCH 2/2] ARM: SMP support for mach-virt

On Tue, Dec 11, 2012 at 04:04:20PM +0000, Stefano Stabellini wrote:

Hi!

Hi Stefano,

Sorry for taking so long to reply but I admit I missed the thread
entirely until now. I would appreciate if you could CC
xen-devel at lists.xen.org and/or me for virtualization related
discussions.

I did CC xen-arm at lists.xen.org, but you've dropped that list in your
reply...

On the Xen side there are not going to be any problems related to SMP
and holding pens, because secondary CPUs only come into existence after
the first CPU calls the HYPERVISOR_vcpu_op hypercall (still missing on
ARM).

Ok. Would you be willing/able to wrap this in a PSCI interface when you do
add SMP support for ARM?

Will