Realtime Kernel for Raspi



Update, there is kernel 4.14 now. I need to get RealtimePi to work with it, there is a commit that breaks patching which I need to revert.


Yet another update

  1. I got kernel 4.14 patched, its being built
  2. So did the Rpi foundation , they pushed a realtime kernel branch, asked them on the forum what is going on: