insn_read
Xenomai system tools utilities
RUN apt-get update && \
apt-get install -y xenomai-system-tools
RUN apt-get update && \
apt-get install -y xenomai-system-tools
RUN apt-get update && \
apt-get install -y xenomai-system-tools