So I've been tasked to provide and test various Linux-OS' with the addition of having a realtime kernel.
The first choice is obviously EmbeddedLinux with RT, but what you get is quite limited in functionality and because the RasPi2 will be used for "heavy" development, I'll need several options for remote-dev-tools.
Being an Arch-Acolyte for a long time and enjoying the ease of development using Arch (my Host runs Arch as well), I've been thinking to use LinuxArch|Arm on the RasPi2 - which is, again, quite easy to achieve.
The problem occurs with the realtime contraint: I don't have any idea how to patch the package linux-raspberrypi (4.1.17-3 as of writing this post) and if that even works because the raspi-kernel would differ in some points in the sources, preventing the patches to go through.
Does anyone have prior experience in trying to get the linux-kernel with RT on the RasPi2 or can give me pointers in how to proceed?
I've been looking into the other thread concerning RT-Kernel for Raspberry(1) but couldn't really follow the conversation and hoped that in the ~3years since then it got easier/feasible to accomplish.