On Thu, Aug 15, 2013 at 2:00 PM, Chen Baozi <baozich@gmail.com> wrote:

On Aug 15, 2013, at 6:54 PM, Andrii Anisov <andrii.anisov@globallogic.com> wrote:

>
> Xen uses PSCI to bring up secondary VCPU. It seems Linux is trying to
> bring up the CPU with omap callbacks which is wrong.
>
> Did you add a PSCI node in your device tree?
> psci {
>       compatible      = "arm,psci";
>       method          = "hvc";
>       cpu_on          = <2>;
> };
>
>
> I'm not sure this will work for OMAP kernel.

Andrii, it works!

> On our side we skipped guests SMP so far.
>
> Sincerely,
> Andrii Anisov

It's good to know it works on your site.
We are playing around 3.8 as Dom0 and Android 3.4 as DomU. I will check the stuff later on my table.

Sincerely,
Andrii Anisov