> On 8 Mar 2022, at 19:46, Vikram Garhwal <fnu.vik...@xilinx.com> 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 <fnu.vik...@xilinx.com> > --- > xen/arch/arm/Kconfig | 6 ++++++ > 1 file changed, 6 insertions(+) > > diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig > index ecfa6822e4..0159fbe27a 100644 > --- a/xen/arch/arm/Kconfig > +++ b/xen/arch/arm/Kconfig > @@ -46,6 +46,12 @@ 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. > +
Many recents entries in this file uses a different style from this one, using “help” instead of “—help—“ and omitting the blank line, I would continue to use the more recent style if no one object with it Cheers, Luca > config HVM > def_bool y > > -- > 2.17.1 > >