On Tue, Aug 6, 2013 at 10:03 AM, Pawel Moll <pawel.moll at arm.com> wrote: > I dare to disagree. And the reason is simple - arch/arm64. It's vexpress > as well, and we'll be in the same position. Actually, no -- PSCI will be mandatory there so there will be no need to have these kernel components. -Olof