Programming M4 and M7 Cores in Mbed OS Portenta 4.0

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?

There is a new submenu Tools > Target core once you have selected the board.

Thanks! I cant believe I didn't catch that