rpi23-4.9.80-rt

scripts, guide, patched 4.9.80 kernel source, pre-built preempt-rt patched kernelfor raspberry pi 2, 3 (include 3b+)

[prebuilt]https://github.com/thanhtam-h/rpi23-4.9.80-rt/tree/master/prebuilt)

built 4.9.80 preempt-rt patched kernel. Pull down and deploy

if you just want to have READY-TO_USE realtime kernel, get this