xen/arm: Remove devices used by Xen from dom0 device tree
authorJulien Grall <julien.grall@linaro.org>
Fri, 13 Sep 2013 12:49:27 +0000 (13:49 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 17 Sep 2013 14:28:57 +0000 (15:28 +0100)
commitcb869df938b2a1480a079a2ea534af03da3ee3dc
tree64dd984b197c6a7f6d8d01f2e9bfcb50128b5ba1
parent7cb187fa95931f3b704cd9f5820924eec1c7870c
xen/arm: Remove devices used by Xen from dom0 device tree

Devices used by Xen should not be pass-through to dom0. If the device is really
usefull for dom0 (for instance the timer and the GIC), it will recreate the
node.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c