Eu uso o Ubuntu 16.04.2 64bits.
Ouvi dizer que o Xenomai 2.x / 3.x não suportava os drivers Nvidia CUDA.
Isso é verdade?
Se sim, como resolvê-lo?
Existe algum software que possa alocar uma CPU dedicada somente para o encadeamento Xenomai Linux e outras CPUs para encadeamentos Xenomai RT?
Isso é possível?