See http://xenomai.org/pipermail/xenomai/2018-January/038247.html and http://xenomai.org/pipermail/xenomai/2018-January/038249.html