In another post I read that Xenomai could be used for real-time tasks like control loops.
I'd need to implement a real-time task which also talks to I2C and SPI. In this mailing list message I read that the clean way to implement this in Xenomai would be an (own) RTDM Skin driver implementation for each device.
Are there any Xenomai RTDM Skins for the RPi already?
And has someone good/bad experiences running Xenomai on the RPi? I've found these three tutorials on how to set up Xenomai on the RPi.