From mboxrd@z Thu Jan 1 00:00:00 1970 From: Stefano Stabellini Subject: Re: [PATCH 00/09] arm: host SMP support Date: Fri, 22 Mar 2013 15:05:13 +0000 Message-ID: References: <1362559920.8941.98.camel@hastur.hellion.org.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Stefano Stabellini Cc: "Tim (Xen.org)" , Ian Campbell , xen-devel List-Id: xen-devel@lists.xenproject.org On Fri, 22 Mar 2013, Stefano Stabellini wrote: > On Wed, 6 Mar 2013, Ian Campbell wrote: > > The following series makes host SMP work for both arm32 and arm64. > > Tested in both cases with the models and 2 pCPUS. > > > > I get the following error trying to boot Xen with this patch series > applied and a 3.9-rc3 based Dom0 on the arm32 emulator: Never mind, I didn't have my WFI patch applied.