HP printers are similar. They run Linux on two cores and an RTOS on the other.
This is more of a good old classic partitioning, which was rare outside of hardware with special support for it.
Most RTOS + non-RTOS combinations use RTOS doubling as hypervisor, with RT tasks running at guaranteed timeframes and non-RTOS guest running in more relaxed form.