[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-devel] [PATCH 3/7] 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> --- 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(); -- 1.9.1 _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxx https://lists.xen.org/xen-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |