Realtime Kernel for Raspi


#21

#22

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.


#23

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: https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=206750&p=1306688#p1306688