Deep into niche territory there..
I think if you have a big enough checkbook they'll make you any combination..
> Does ST Micro make anything with multiple real time processors ?
Some chips in the STM32H7 family have an M7 and M4 core. Don't think anything has multiple M4 cores.