https://ez.analog.com/dsp/software-and-development-tools/linux-blackfin/linux-bug-archive/a/documents/c/kernel-faq/DO28026/faq-6337-kernel_xip-can-not-be-build-when-xenomai-is-enabled-2010
[#6337] kernel_xip can not be build when xenomai is enabled.(2010) - FAQs - Linux Bug Archive...
[#6337] kernel_xip can not be build when xenomai is enabled. Submitted By: Vivi Li Open Date 2010-11-10 23:35:45 Close Date 2010-11-29 01:23:30 Priority
can notkernelxipbuildxenomai
https://dchabal.developpez.com/tutoriels/linux/xenomai/?page=page_13
Premiers pas avec Xenomai
Premiers pas avec Xenomai
premiers pasavecxenomai
https://gitlab.com/Xenomai/xenomai4/linux-evl/-/tree/v7.2-evl-rebase
Files · v7.2-evl-rebase · Xenomai / Xenomai4 / linux-evl · GitLab
Linux kernel including the EVL real-time core. Current SLTS: v6.1.y-cip-evl-rebase Current LTS: v6.12.y-cip-evl-rebase CAUTION: Other branches have NOT been...
filesevlrebasexenomailinux
https://errata.altlinux.org/en/ALT-PU-2020-4288
ALT-PU-2020-4288-1 — kernel-image-xenomai
Nov 12, 2020 - Errata ALT-PU-2020-4288-1: package kernel-image-xenomai 4.19.152-alt1.cip37.15 update for ALT Linux sisyphus on 2020-11-12.
kernel imagealtxenomai
https://apue.org/pub/xenomai/api_2.6.5/rttesting_8h.html
Xenomai API: include/rtdm/rttesting.h File Reference
h filexenomaiapiincludertdm