RCN Debian Stretch repo missing packages


I’ve noticed that certain packages are missing in the Robert C. Nelson stretch repo. Specifically, in my case, xenomai headers. There are many xenomai kernel packages in the repo, but libxenomai1 and libxenomai-dev seem to be missing.

I was wondering as to the reason for their absence, and if there is a recommended alternate way of installing xenomai headers.


So you get to build these on your own..

Otherwise if i "build" one, i have a choice between the 3.8.13-xenomai
(2.6.x) or anything later based on 3.0.x xenomai..

thus any choice annoys one user set in stretch..


Thanks for the quick reply. Is there a recommended repo that I should use to build?