From 1e88db4701d6e2d00c04795e6aacaea942b617e6 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Fri, 3 Feb 2017 19:18:52 +0000 Subject: [PATCH] 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 Reviewed-by: Stefano Stabellini --- 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 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(); -- 2.30.2