From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <ian.campbell@citrix.com>
Subject: Re: [PATCH OSSTEST v1 00/15] Initial support for ARM64
Date: Tue, 26 May 2015 09:49:05 +0100
Message-ID: <1432630145.14664.57.camel@citrix.com>
References: <1432297776.14664.31.camel@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <1432297776.14664.31.camel@citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Ian Jackson <Ian.Jackson@eu.citrix.com>
Cc: Wei Liu <wei.liu2@citrix.com>, xen-devel <xen-devel@lists.xen.org>
List-Id: xen-devel@lists.xenproject.org

On Fri, 2015-05-22 at 13:29 +0100, Ian Campbell wrote:
> 
> This has been tested on a Mustang board booting UEFI and build-* works
> with one (slightly major) exception: The Debian kernel does not
> currently reboot correctly on this system. This will likely require a
> kernel from backports in order to work correctly.

In fact this will be fixed by a new kernel in 8.1 (first Jessie point
release), which is due mid June -- that's likely before we will have any
h/w...

Ian.