Re: [PATCH] CI: Extend eclair-*-allcode to enable as much as possible

[Jan Beulich <jbeulich@xxxxxxxx>]

On 05.01.2026 13:24, Andrew Cooper 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 <andrew.cooper3@xxxxxxxxxx>

What I would have wished to be clarified here is why allyesconfig isn't suitable
to use. After all that would address ...

> Maintaining these lists is going to be a nightmare.

... e.g. this concern.

Jan

>  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: