Re: [Xen-devel] [PATCH] efi/libstub/fdt: Standardize the names of EFI stub parameters

On Thu, 10 Sep 2015 16:41:56 +0800 Shannon Zhao wrote: > From: Shannon Zhao > > These EFI stub parameters are used to internal communication between > EFI stub and Linux kernel and EFI stub creates these parameters. But > for Xen on ARM when

Re: [Xen-devel] Design doc of adding ACPI support for arm64 on Xen - version 2

On Wed, 12 Aug 2015 10:21:55 +0100 Julien Grall julien.gr...@citrix.com wrote: Hi, (Cc Andrew Turner who worked on the ACPI port for FreeBSD ARM64) On 12/08/2015 09:52, Ian Campbell wrote: On Wed, 2015-08-12 at 11:04 +0800, Shannon Zhao wrote: Hi Julien, On 2015/8/12 0:19, Julien

Re: [Xen-devel] [RFC v2] Add support for Xen ARM guest on FreeBSD

On Sun, 23 Nov 2014 22:35:36 + Julien Grall julien.gr...@linaro.org wrote: Hello all, At the beginning of the year, I have sent a first RFC to add support for FreeBSD on Xen ARM [1]. ... Major changes in this new version: * Add Device Tree support via Linux Boot ABI * Add