On 07.06.2021 04:43, Penny Zheng wrote: > --- a/xen/arch/arm/Kconfig > +++ b/xen/arch/arm/Kconfig > @@ -278,6 +278,9 @@ config ARM64_ERRATUM_1286807 > > If unsure, say Y. > > +config STATIC_ALLOCATION > + def_bool y > + > endmenu > > config ARM64_HARDEN_BRANCH_PREDICTOR
Nit: While this and the following option exhibit bad indentation, everything up from here looks to be fine, and that's what you want to take as reference when adding a new option. Jan