xeno-config
Headers and static libs for Xenomai
RUN apt-get update && \
apt-get install -y libxenomai-dev
RUN apt-get update && \
apt-get install -y libxenomai-dev
RUN apt-get update && \
apt-get install -y libxenomai-dev