On Thu, Aug 15, 2013 at 2:00 PM, Chen Baozi wrote: > > On Aug 15, 2013, at 6:54 PM, Andrii Anisov > 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*