From mboxrd@z Thu Jan  1 00:00:00 1970
From: arnd@arndb.de (Arnd Bergmann)
Date: Fri, 04 Apr 2014 21:19:57 +0200
Subject: mach header files
In-Reply-To: <533F016D.9050700@borg.org>
References: <77a25b9038764679b3bda0f3d4018ee1@HKXPR06MB168.apcprd06.prod.outlook.com>
 <5208350.A2oo5ltmuY@wuerfel> <533F016D.9050700@borg.org>
Message-ID: <9073437.EV8csICnAa@wuerfel>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

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