mach header files

[Arnd Bergmann]

On Friday 04 April 2014 15:01:01 Kent Borg wrote:
> On 04/04/2014 02:49 PM, Arnd Bergmann wrote:
> > Can you say what platform you are working on?
> 
> Doesn't exist yet, as I said I am running an emulation, trying to get 
> Linux up, but also part of verifying design. Pretty sure no marketing 
> announcements have been made; I don't think I can blab before the suits do.

Ok, fair enough. At least that means you are at a stage where you
can ensure that the platform is able to use PSCI to do SMP.

	Arnd