SOLVED - Debugging reset handler
Although I didn’t “try settign a break pount at 0x08000000”, as this is not the entry point (it is a pointer to the initial stack pointer address), it made me think that I hadn’t explicity told the linker where the entry point really was.
By adding “ENTRY(reset)” to the linker script, all is now as it should be. The code in the reset() function is executed in the debugger, and I am able to set a breakpoint at the start of the reset() function, which works just fine now.
So don’t be scared, diabolo38. You nudged me into the right direction, and I appreciate it.
I have attached the corrected linker script in case anyone is interested.