From: Julien Grall <julien.grall@arm.com>
Date: Fri, 3 Feb 2017 19:18:52 +0000 (+0000)
Subject: xen/arm: Print whether Xen is booting using ACPI or DT
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~2773
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1e88db4701d6e2d00c04795e6aacaea942b617e6;p=xen.git

xen/arm: Print whether Xen is booting using ACPI or DT

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 <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
---

diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c
index 049e4491d6..41aa1ddfc1 100644
--- a/xen/arch/arm/setup.c
+++ b/xen/arch/arm/setup.c
@@ -753,6 +753,11 @@ void __init start_xen(unsigned long boot_phys_offset,
     /* Parse the ACPI tables for possible boot-time configuration */
     acpi_boot_table_init();
 
+    if ( acpi_disabled )
+        printk("Booting using Device Tree\n");
+    else
+        printk("Booting using ACPI\n");
+
     end_boot_allocator();
 
     vm_init();