Add support for dovetail to Xenomai
Depending on #4, 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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information