Binary kernel builds based on -rt branches of https://github.com/raspberrypi/linux/ - View it on GitHub