bonjour,
je suis entrain d'upgrader mon système en xenomai 3.0.9.
ma distri est une debian 10 buster avec un noyau 4.19.66 que j'ai patché en xenomai 3.0.9 version cobalt
je dois modifier certains parametre de ma config avant de compiler ce nouveaux noyau; notamment ceux incompatible ou genant le fonctionnement de xenomai.
Parmis eux il y a :
ACPI_PROCESSOR
PARAVIRT
HAVE_IPIPE_SUPPORT
or je n'arrive pas à les enlever car il semble etre integré directe au noyau.
quelqu'un a-t-il une ou des idées
cordialement
Partager