[Xen-changelog] [xen master] xen/arm: Print whether Xen is booting using ACPI or DT

[patchbot@xxxxxxx]

commit 1e88db4701d6e2d00c04795e6aacaea942b617e6
Author:     Julien Grall <julien.grall@xxxxxxx>
AuthorDate: Fri Feb 3 19:18:52 2017 +0000
Commit:     Stefano Stabellini <sstabellini@xxxxxxxxxx>
CommitDate: Wed Feb 15 17:42:21 2017 -0800

    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@xxxxxxx>
    Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 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/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();
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog