From mboxrd@z Thu Jan 1 00:00:00 1970 From: Hans de Goede Date: Mon, 09 Dec 2013 12:29:49 +0100 Subject: [U-Boot] [linux-sunxi] Re: [PATCH v2 00/13] ARMv7: add PSCI support to u-boot In-Reply-To: <1386586313.30459.7.camel@kazak.uk.xensource.com> References: <1386415158-8695-1-git-send-email-marc.zyngier@arm.com> <1386586313.30459.7.camel@kazak.uk.xensource.com> Message-ID: <52A5A9AD.6050904@redhat.com> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: u-boot@lists.denx.de Hi, On 12/09/2013 11:51 AM, Ian Campbell wrote: > On Sat, 2013-12-07 at 11:19 +0000, Marc Zyngier wrote: >> The kernel now boots in HYP mode, finds its secondary CPU without any >> SMP code present in the kernel, and runs KVM out of the box. >> Hopefully, the Xen/ARM guys can do the same fairly easily. > > Indeed, I booted with this series on a cb2 and Xen SMP Just Worked. Cool! Can you push the u-boot code you're using to your u-boot repo: http://xenbits.xen.org/gitweb/?p=people/ianc/u-boot.git;a=summary ? that will save me reproducing your work. Thanks & Regards, Hans