I tried adding those directives to the MAX32620FTHR section of mbed-os/targets/targets.json, and it made no difference in the output bin file size (I backed out the ASM fix to be sure).
I conclude that I did not understand exactly where to place those directives, or I am still leaving something important out. Here is an excerpt including that addition:
Yes, it has no impact to your problem, because how I wrote above, there were a misunderstanding.
It has no impact to your issue, but from my point of view you placed it correctly. However, how Geriko pointed, it can be also overridden via mbed_app.json.
Just to confirm whether I understood the fix that Jamie committed to the repository for startup_max32620.S (deletes a section at the top of the file) – is that the correct fix?
I did not understand the additions to the targets.json file – do I need to put those in my build also, or can I just leave those out?