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