Prebuilt Raspbian with Xenomai

• based on this documentation
• SD Card: at least 4GB
• Extract the image from the release
• Write to SD Card with Win32DiskImager
• If the SD Card is bigger than 4G expand the file system via raspi-config
• Info available on the release page. Make sure you read it.

1. rPi4 5.15.52 64bit / Xenomai v3.2.1 : Link

2. rPi4 6.1.x 64bit / Xenomai v3.2.4 : Coming soon

3. rPi5 6.1.58 64bit / Xenomai v3.2.4 : Link

Test:

NO guarantee. Have fun :)