An out-of-the-box raspebrrypi/raspbian distro with a realtime kernel - View it on GitHub