Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-12 Thread Stefano Stabellini
On Tue, 12 Oct 2021, Jan Beulich wrote: > On 12.10.2021 11:05, Luca Fancellu wrote: > >> On 12 Oct 2021, at 09:45, Jan Beulich wrote: > >> On 11.10.2021 20:15, Luca Fancellu wrote: > >>> --- a/xen/common/efi/boot.c > >>> +++ b/xen/common/efi/boot.c > >>> @@ -166,6 +166,13 @@ static void __init Pri

Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-12 Thread Jan Beulich
On 12.10.2021 11:05, Luca Fancellu wrote: >> On 12 Oct 2021, at 09:45, Jan Beulich wrote: >> On 11.10.2021 20:15, Luca Fancellu wrote: >>> --- a/xen/common/efi/boot.c >>> +++ b/xen/common/efi/boot.c >>> @@ -166,6 +166,13 @@ static void __init PrintErr(const CHAR16 *s) >>> StdErr->OutputString(

Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-12 Thread Luca Fancellu
> On 12 Oct 2021, at 09:45, Jan Beulich wrote: > > On 11.10.2021 20:15, Luca Fancellu wrote: >> --- a/xen/common/efi/boot.c >> +++ b/xen/common/efi/boot.c >> @@ -166,6 +166,13 @@ static void __init PrintErr(const CHAR16 *s) >> StdErr->OutputString(StdErr, (CHAR16 *)s ); >> } >> >> +#ifnde

Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-12 Thread Jan Beulich
On 11.10.2021 20:15, Luca Fancellu wrote: > --- a/xen/common/efi/boot.c > +++ b/xen/common/efi/boot.c > @@ -166,6 +166,13 @@ static void __init PrintErr(const CHAR16 *s) > StdErr->OutputString(StdErr, (CHAR16 *)s ); > } > > +#ifndef CONFIG_HAS_DEVICE_TREE > +static inline int __init efi_che

Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-12 Thread Bertrand Marquis
Hi Luca, > On 11 Oct 2021, at 19:15, Luca Fancellu wrote: > > This patch introduces the support for dom0less configuration > when using UEFI boot on ARM, it permits the EFI boot to > continue if no dom0 kernel is specified but at least one domU > is found. > > Introduce the new property "xen,ue

Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-11 Thread Stefano Stabellini
On Mon, 11 Oct 2021, Luca Fancellu wrote: > This patch introduces the support for dom0less configuration > when using UEFI boot on ARM, it permits the EFI boot to > continue if no dom0 kernel is specified but at least one domU > is found. > > Introduce the new property "xen,uefi-binary" for device

[PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

2021-10-11 Thread Luca Fancellu
This patch introduces the support for dom0less configuration when using UEFI boot on ARM, it permits the EFI boot to continue if no dom0 kernel is specified but at least one domU is found. Introduce the new property "xen,uefi-binary" for device tree boot module nodes that are subnode of "xen,domai