Hi Vikram, On 11/04/2023 21:16, 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 <vikram.garh...@amd.com> > --- > SUPPORT.md | 6 ++++++ > xen/arch/arm/Kconfig | 5 +++++ > 2 files changed, 11 insertions(+) > > diff --git a/SUPPORT.md b/SUPPORT.md > index aa1940e55f..0a31f40af4 100644 > --- a/SUPPORT.md > +++ b/SUPPORT.md > @@ -822,6 +822,12 @@ No support for QEMU backends in a 16K or 64K domain. > > Status: Supported > > +### Device Tree Overlays > + > +Add/Remove device tree nodes using a device tree overlay binary(.dtbo). > + > + Status: Supported for ARM Hmm, so here you say supported but in Kconfig - unsupported. I think, this should be: Status, ARM: Tech Preview or Experimental
> + > ### ARM: Guest ACPI support > > Status: Supported > diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig > index 239d3aed3c..1fe3d698a5 100644 > --- a/xen/arch/arm/Kconfig > +++ b/xen/arch/arm/Kconfig > @@ -53,6 +53,11 @@ config HAS_ITS > bool "GICv3 ITS MSI controller support (UNSUPPORTED)" if UNSUPPORTED > depends on GICV3 && !NEW_VGIC && !ARM_32 > > +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 > > -- > 2.17.1 > > ~Michal
