On 07.07.2025 05:13, Penny Zheng wrote: > --- a/xen/arch/x86/configs/pvshim_defconfig > +++ b/xen/arch/x86/configs/pvshim_defconfig > @@ -28,3 +28,4 @@ CONFIG_EXPERT=y > # CONFIG_GDBSX is not set > # CONFIG_PM_OP is not set > # CONFIG_PM_STATS is not set > +# CONFIG_SYSCTL is not set
Beyond what I said in reply to patch 4, LIVEPATCH for example also shouldn't be needed here anymore, for similarly depending on SYSCTL. You will want to go through the entire file to check what can now be pruned off. Jan