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

On Tue, 4 Dec 2012, Will Deacon wrote:

On Tue, Dec 04, 2012 at 04:45:58PM +0000, Rob Herring wrote:

quoted

If there is no way to reset the core, then couldn't the hotplug code
tear down the cpu setup and just jump back to 0x0 which then returns to
the bootloader's pen?

I think hotplug really should be implemented with a virtio device. We just
trap back to the emulation and kill the vcpu thread.

Hotplug and secondary boot should really be considered the same and use 
the same methods.  So if you envision a virtio device for hotplug, then 
just use that for secondary boot as well.  PSCI might be simpler to 
implement though.


Nicolas