Je travail depuis quelque temps sur linux pour une utilisation en version embedded temps reel.
j'ai fait plusieurs compile de noyau (avec un peu de sueur parfois).
Dernierement j'ai patché un noyau 2.6.20 avec xenomai.
En regardant les patchs de xenomai j'ai vu un repertoire debian contenant un script prepare-patch.sh
Je me demande donc si je peux patcher directement une distribution debian avec xenomai et si oui quel version?
Merci à tous
Partager