> On 8 Mar 2022, at 19:46, Vikram Garhwal <fnu.vikram@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.vikram@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
>
>