RCN Debian Stretch repo missing packages

[Fred Frey]

Hi,

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.

Best,

Fred

[Robert Nelson]

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..

Regards,

--
Robert Nelson
https://rcn-ee.com/

[Fred Frey]

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

Best,

Fred