Re: [Xen-devel] [PATCH 4/8] xen/arm: Print whether Xen is booting using ACPI or DT

2017-02-15 Thread Stefano Stabellini
On Fri, 3 Feb 2017, Julien Grall wrote: > Make it easier to figure out whether Xen is booting using ACPI or DT by > printing a message on the console. > > Signed-off-by: Julien Grall Reviewed-by: Stefano Stabellini > --- > xen/arch/arm/setup.c | 5 + > 1 file changed, 5 insertions(+) >

[Xen-devel] [PATCH 4/8] xen/arm: Print whether Xen is booting using ACPI or DT

2017-02-03 Thread Julien Grall
Make it easier to figure out whether Xen is booting using ACPI or DT by printing a message on the console. Signed-off-by: Julien Grall --- xen/arch/arm/setup.c | 5 + 1 file changed, 5 insertions(+) diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c index 049e449..41aa1dd 100644 --- a