From mboxrd@z Thu Jan  1 00:00:00 1970
From: Marc Zyngier <marc.zyngier@arm.com>
Date: Mon, 09 Dec 2013 10:57:31 +0000
Subject: [U-Boot] [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: <52A5A21B.7040402@arm.com>
List-Id: <u-boot.lists.denx.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: u-boot@lists.denx.de

On 09/12/13 10:51, 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.

Profit! ;-)

Thanks for testing!

	M.
-- 
Jazz is not dead. It just smells funny...