Interesting, thank you! I'll take a look at Xemomai, but it seems like the options are very limited. I'm building a TVC rocket, so hard real time is unfortunately a strict requirement.
For something like a thrust vectoring rocket, I'd stick to a sub processor running an actual RTOS or bare metal code.