[PATCH 0/2] HYP boot mode fixes

[Will Deacon]

Hi Marc,

On Fri, Jan 04, 2013 at 05:44:13PM +0000, Marc Zyngier wrote:
> Here's a couple of patches fixing issues that have been recently
> brought to my attention.
> 
> The first patch only affects configurations that are already broken
> (CPUs entering the kernel with different modes). The second one is a
> bit more serious, and potentially affects setups where the secondary
> core is brought up using an interrupt that is still pending when the
> kernel is entered.
> 
> Both patches have been tested on TC2, and are based on v3.8-rc2.

I've been collecting hyp-boot patches since before Christmas so, if it's
alright with you, I'll take these into the branch I currently have and send
that lot via Russell. Check my virt/hyp-boot branch if you're interested.

Cheers,

Will