The Mbed OS Portenta Boards library used to have an upload option to the M7 and M4 cores of the H7, but, as of version 4 (4.0.2), there doesn't appear to be one. None of the documentation I've found seems to be up to date and still refers to the earlier versions, or simply talks about multi-threading.
Does anyone know how to call out and/or program to the different Portenta cores in the new version of Mbed OS Portenta? Where can I find documentation on the new version in regards to this?