On 12/19/2011 04:19 PM, Marc Zyngier wrote: > On 19/12/11 14:57, Christoffer Dall wrote: >> >> >> You should simply start booting a UP guest on an SMP host, see where >> it crashes and start tracking it down. > For the time being, I've yet to see UP guest crashing on SMP host. On > the model, that is... > > Last time I tried to run a guest in a 2 core model, it hanged and crashed after a while. Anyway, I will investigate. So I gather critical sections have been dealt with and it's just a matter of ironing bugs right now?