CI: Extend eclair-*-allcode to enable as much as possible

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@citrix.com>
Acked-by: Bertrand Marquis <bertrand.marquis@arm.com>
This commit is contained in:
Andrew Cooper committed 2026-02-18 16:12:43 +00:00
1 parent bada585003
commit 52e801093b
1 file changed
+44
+44
View File
@@ -44,6 +44,23 @@ 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_XEN_GUEST=y
CONFIG_XHCI=y
CONFIG_XSM=y
allow_failure: true
eclair-x86_64-testing:
@@ -105,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:
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.