Giga R1 Wifi: I installed micropython and Arduino C+, how can I get them to work together?

The only issue I ever had with Arduino is they never lay out how to use every feature of their devices.

RPC allows the M4 and M7 to communicate. They show OTA, Over the Air, as a feature. I wonder how that would work to program each core. Could you assign a IP address to each core? When will the ability to use all these functions exist? Even Dronebot Workshop said many of the functions haven't been brought over from the Portenta H7 yet. Maybe I get a Protenta H7? I want to get a RPi 5 to go with my 4B.