It runs the Arduino app on a separate mcu stm32l4 I think. So you have the realtime as well, but what you describe is already possible with the pi and asymmetric multiprocessing using openamp and zephyr.

I remember reading about this in some blogs so here is one I found that describes just that: https://telmomoya.blogspot.com/2016/10/asymmetric-multi-proc...