Thank you so much, Tom.
That seems to put me a lot further.
Now, I tried to flash a binary, that I compiled from an example mbed-os project via: mbed compile -t GCC_ARM -m CY8CKIT_062_BLE
I used the CY8CKIT_062_BLE target here, because it comes closest to the module I use, which is the broken off KitProg part of a CY8CPROTO-063-BLE kit.
I then tried to flash the example.hex file that was produced this way, like this: bin/openocd -f CM4_kitprog.cfg -s ./scripts -c "program /absolute/path/to/example.hex verify exit"
But,
after flashing, when verifying, it said:
Error: checksum mismatch - attempting binary compare
66 diff 0 address 0x10002539. Was 0x31 instead of 0xb1
67 diff 1 address 0x1000254a. Was 0x28 instead of 0x68
68 No more differences found.
I reproduced this several times, after resetting the module via a build/flash of an VSCode project. It is always the same two addresses with the same two values.
Where am I to dig now?
Thanks a lot for all your efforts and your patience.