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?
Will likely require ABI changes, thus might be a 3.2 topic.
Open issue: Should compatibility with older kernels be kept?