run gdb command doesn't work

[l29ah]

(gdb) target extended-remote localhost:4242
Remote debugging using localhost:4242
0x08001154 in ?? ()
(gdb) kill
Kill the program being debugged? (y or n) y
(gdb) run

Starting program: /home/l29ah/projects/coreboot/stm32f4-flashrom/serprog-stm32f4discovery/serprog-stm32f4discovery.elf serprog-stm32f4discovery.elf
Remote target does not support "set args" or run
(gdb) c
The program is not being run.

-- GNU gdb (Linaro GDB) 7.5-2012.12-1

[prattmic]

st-link does not support 'run', as it does not load arbitrary programs without explicit commands.

You can use 'monitor reset' to reset the MCU, then continue.

[l29ah]

Then the README should be fixed. Thank you!

[Nightwalker-87]

@xor-gate: The related reference in our README has moved to the tutorial in the meanwhile.
I am not so sure if documentation is wrong here... Can you remember anything from earlier times and/or look into this?

[Nightwalker-87]

The run command is indeed still present in the unrevised part of our project tutorial.
Could someone rewrite and verify the gdb-related sections? (some hardware would be preferable to do some testing)