Signed-off-by: Vikram Garhwal <fnu.vik...@xilinx.com>
---
xen/arch/arm/Kconfig | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index ecfa682..895f0ee 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -46,6 +46,14 @@ config HAS_ITS
bool "GICv3 ITS MSI controller support (UNSUPPORTED)" if UNSUPPORTED
depends on GICV3 && !NEW_VGIC
+config OVERLAY_DTB
+ depends on MPSOC_PLATFORM
+ bool "Enable DTB overlay"
+ default y
+ ---help---
+
+ Allows dynamic addition/removal of Xen device tree nodes using a dtbo.
+
config HVM
def_bool y
--
2.7.4
