[Xenomai] Inquiry about Xenomai 3 Cobalt support for Raspberry Pi 5 (BCM2712)

Dear Xenomai Team,

I am considering using Xenomai 3 over the Cobalt core on the Raspberry Pi 5, which is based on the Broadcom BCM2712 SoC (Cortex-A76, ARMv8.2‑A). I have checked the official "Supported Hardware" page for Xenomai 3, but it currently lists only the BCM2835/BCM2836 series for Broadcom SoCs and does not mention the BCM2712.

For your reference, mainline Linux has added support for the BCM2712 SoC starting from version 6.12, and later versions such as 6.18, 6.19, and 7.0 continue to support it.

Is the BCM2712 / Raspberry Pi 5 currently supported by Xenomai 3 over the Cobalt core (including the required Dovetail interrupt pipeline support)? If not, is there any plan to add support in the near future?

Thanks.

	
🐰
[email protected]