Convert Xenomai to y2038 kernel interfaces
Will likely require ABI changes, thus might be a 3.2 topic.
Open issue: Should compatibility with older kernels be kept?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information