Hi Andrew > On 5 Jan 2026, at 13:24, Andrew Cooper <[email protected]> wrote: > > On x86, this is basically everything. > > For ARM, CONFIG_MPU and CONFIG_MMU are mutually exclusive (with > CONFIG_STATIC_MEMORY in the mix), as well as CONFIG_NEW_VGIC being mutually > exclusive with the other VGIC infrastructure. > > No functional change, but a lot of new Eclair reports (non-blocking). > > Signed-off-by: Andrew Cooper <[email protected]>
Acked-by: Bertrand Marquis <[email protected]> Cheers Bertrand > --- > CC: Stefano Stabellini <[email protected]> > CC: [email protected] <[email protected]> > CC: Nicola Vetrini <[email protected]> > CC: Jan Beulich <[email protected]> > CC: Roger Pau Monné <[email protected]> > CC: Julien Grall <[email protected]> > CC: Volodymyr Babchuk <[email protected]> > CC: Bertrand Marquis <[email protected]> > CC: Michal Orzel <[email protected]> > > https://gitlab.com/xen-project/hardware/xen-staging/-/pipelines/2245142422 > > Maintaining these lists is going to be a nightmare. I think we really do need > to implement CONFIG_COMPILE_TEST > --- > automation/gitlab-ci/analyze.yaml | 45 +++++++++++++++++++++++++++++++ > 1 file changed, 45 insertions(+) > > diff --git a/automation/gitlab-ci/analyze.yaml > b/automation/gitlab-ci/analyze.yaml > index a472692fcb31..7a2c0bfa77d1 100644 > --- a/automation/gitlab-ci/analyze.yaml > +++ b/automation/gitlab-ci/analyze.yaml > @@ -44,6 +44,24 @@ eclair-x86_64-allcode: > LOGFILE: "eclair-x86_64.log" > VARIANT: "X86_64" > RULESET: "monitored" > + EXTRA_XEN_CONFIG: | > + CONFIG_ARGO=y > + CONFIG_DEBUG_LOCK_PROFILE=y > + CONFIG_DEBUG_TRACE=y > + CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP=y > + CONFIG_EXPERT=y > + CONFIG_HYPERV_GUEST=y > + CONFIG_LATE_HWDOM=y > + CONFIG_MEM_PAGING=y > + CONFIG_MEM_SHARING=y > + CONFIG_PERF_ARRAYS=y > + CONFIG_PERF_COUNTERS=y > + CONFIG_PV32=y > + CONFIG_UNSUPPORTED=y > + CONFIG_XENOPROF=y > + CONFIG_XEN_GUEST=y > + CONFIG_XHCI=y > + CONFIG_XSM=y > allow_failure: true > > eclair-x86_64-testing: > @@ -104,6 +122,33 @@ eclair-ARM64-allcode: > LOGFILE: "eclair-ARM64.log" > VARIANT: "ARM64" > RULESET: "monitored" > + EXTRA_XEN_CONFIG: | > + CONFIG_ACPI=y > + CONFIG_ARGO=y > + CONFIG_ARM64_SVE=y > + CONFIG_ARM_SMMU_V3=y > + CONFIG_BOOT_TIME_CPUPOOLS=y > + CONFIG_DEBUG_LOCK_PROFILE=y > + CONFIG_DEBUG_TRACE=y > + CONFIG_DEVICE_TREE_DEBUG=y > + CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP=y > + CONFIG_EXPERT=y > + CONFIG_FFA=y > + CONFIG_FFA_VM_TO_VM=y > + CONFIG_GICV3_ESPI=y > + CONFIG_HAS_ITS=y > + CONFIG_IOREQ_SERVER=y > + CONFIG_IPMMU_VMSA=y > + CONFIG_LIVEPATCH=y > + CONFIG_LLC_COLORING=y > + CONFIG_OPTEE=y > + CONFIG_OVERLAY_DTB=y > + CONFIG_PCI_PASSTHROUGH=y > + CONFIG_PERF_ARRAYS=y > + CONFIG_PERF_COUNTERS=y > + CONFIG_STACK_PROTECTOR=y > + CONFIG_UNSUPPORTED=y > + CONFIG_VM_EVENT=y > allow_failure: true > > eclair-ARM64-testing: > -- > 2.39.5 >
