Hi,
On 07/12/2022 06:15, Vikram Garhwal wrote:
Introduce a config option where the user can enable support for adding/removing
device tree nodes using a device tree binary overlay.
Signed-off-by: Vikram Garhwal <[email protected]>
---
xen/arch/arm/Kconfig | 5 +++++
You also want to update SUPPORT.md.
1 file changed, 5 insertions(+)
diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 1fe5faf847..ae2ebf1697 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -52,6 +52,11 @@ config HAS_ITS
bool "GICv3 ITS MSI controller support (UNSUPPORTED)" if UNSUPPORTED
depends on GICV3 && !NEW_VGIC
+config OVERLAY_DTB
+ bool "DTB overlay support (UNSUPPORTED)" if UNSUPPORTED
+ help
+ Dynamic addition/removal of Xen device tree nodes using a dtbo.
+
config HVM
def_bool y
Cheers,
--
Julien Grall