xen/arm: Print whether Xen is booting using ACPI or DT
authorJulien Grall <julien.grall@arm.com>
Fri, 3 Feb 2017 19:18:52 +0000 (19:18 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 16 Feb 2017 01:42:21 +0000 (17:42 -0800)
commit1e88db4701d6e2d00c04795e6aacaea942b617e6
tree41dec354f6c96cdc2b701f50d770f51743b92ae7
parent89bca190824e223316bb5a6dc3024bc9aaf02ce1
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>
xen/arch/arm/setup.c