I'm trying to get the Linux 4.14.85 kernel, for a problem I've posted before, related to Xenomai.
I see here that there is a branch for 4.14.y, but there are no tags to find which commit corresponds to the 4.14.85 version. Basically, I'm following the instructions provided here but I want to use the most up-to-date versions.
How can I find the appropriate commit to revert to it? Where should I look for it?
I will appreciate any tips or help you can provide.