Re: [Xen-devel] [PATCH OSSTEST v1 00/15] Initial support for ARM64

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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.



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel