On Sun, 23 Nov 2014 22:35:36 +
Julien Grall 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 zImage support
>
On Wed, 12 Aug 2015 10:21:55 +0100
Julien Grall 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,
> >&g
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 booting with UEFI, Xen will create a minimal DT
> pro
