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@lists.xen.org http://lists.xen.org/xen-devel
