Add support for dovetail to Xenomai
Depending on #4 (closed), this may require wrapping things so that I-pipe still works for up to 4.19.
See also https://xenomai.org/pipermail/xenomai/2020-February/042488.html
Depending on #4 (closed), this may require wrapping things so that I-pipe still works for up to 4.19.
See also https://xenomai.org/pipermail/xenomai/2020-February/042488.html