3

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.

David
  • 723
  • 5
  • 22

2 Answers2

2

EDIT

An easier way to achieve this is to use git log --follow Makefile and from there scroll until you find the version you desire.

ORIGINAL ANSWER

The only way I managed to find the commit was by manually scrolling through branch rpi-4.14.y's commits until I got the correct one. The Makefile indicates the commit's version, patch level, and sublevel. With that information, I found it in this page and here is the commit for 4.14.85.

David
  • 723
  • 5
  • 22
2

Go to https://GitHub.com/hexxeh/rpi-firmware and look at the commits.

The last commit @ 4.14.85 is eefe4b161f5e9730183c8dc1605e14c85b15cf51

So that gives you a commit id to use with the rpi-update script.

Run PRUNE_MODULES=1 rpi-update eefe4b161f5e9730183c8dc1605e14c85b15cf51 && reboot and you'll be back on the kernel from Dec 5, 2018.

I won't ask why the stable 4.14.98 kernel you'd get with apt update; apt install raspberrypi-kernel isn't working for you because I guess you have a sound reason for reverting to something historic.

Dougie
  • 5,381
  • 11
  • 22
  • 30