If so, then that would be pretty awesome. I think that people have been trying to get real-time working on Raspberry Pis. It seems that they get kinda close, but never manage to get all the way.
Another "big-player" option is ST which has the STM32MP1[3], which features a single Cortex-A7 alongside a Cortex-M4.
[1]: https://www.nxp.com/products/processors-and-microcontrollers...
[2]: https://www.nxp.com/products/processors-and-microcontrollers...
[3]: https://www.st.com/en/microcontrollers-microprocessors/stm32...
Perhaps it's better with the newer BSPs on the 8, but I wouldn't be too quick to jump back into it.
But I imagine that the larger SoCs are a more complex beast where getting everything to play nice with upstream Linux would be a greater challenge.
It's just the coprocessor stuff they're weak on. It's easier to just link up to a Cortex-M3 offboard, but then again NXP has completely screwed up their supply chain and these parts are somewhat hard to get.
Cortex-R is also pretty common (R5 on Zynq-7000 and R7 on UltraScale MPSoC, for example)